學習軌道
/
Lean
Lean
/
練習
/
猜字遊戲
猜字遊戲

猜字遊戲

中等

說明

使用函式反應式程式設計來實作 Hangman 遊戲的邏輯。

Hangman 是一款簡單的猜字遊戲。

函式反應式程式設計是一種撰寫互動式程式的方式。它和一般觀點的差異在於,你不會寫「按下按鈕時就把計數器加一」,而是寫「計數器的值,等於按鈕被按下的次數總和」。

使用函式反應式程式設計來實作 Hangman 背後的基本邏輯。為此,你需要安裝一套函式反應式程式設計的函式庫,這部分的說明會寫在這個練習所屬語言/軌道的專屬檔案裡。

Except

guess 函式的回傳值型別是 Except String Result。

Except ε α代表一個計算,它的結果可能是型別為 ε 的錯誤,也可能是型別為 α 的成功值。 它是一種 monad,可以讓這類計算組合起來。

反應式程式設計

基於實際考量,這個練習不需要採用反應式程式設計。不妨改用有限狀態機來實作看看。

透過 GitHub 編輯 連結會在新視窗或分頁中開啟
Lean Exercism

準備好開始 猜字遊戲 了嗎?

註冊 Exercism,透過 100 個練習 和真人引導來學習並精通 Lean,全部免費。