轨道
/
Lean
Lean
/
练习
/
猜词游戏
猜词游戏

猜词游戏

中等

说明

使用函数式响应式编程实现 Hangman 游戏的逻辑。

Hangman 是一个简单的猜单词游戏。

函数式响应式编程 是一种编写交互式程序的方式。它与通常的视角不同:你不再写“按下按钮时让计数器自增”,而是写“计数器的值是按钮被按下次数的总和”。

使用函数式响应式编程实现 Hangman 背后的基本逻辑。为此你需要安装一个 FRP 库,具体做法会在该练习针对具体语言和赛道的文件中说明。

Except

guess函数的返回值类型是Except String Result。

Except ε α表示一种计算:它可能产生类型为ε的错误,也可能给出类型为α的成功结果。 它是一个单子,可以让这类计算组合起来。

响应式编程

出于实际考虑,本练习不要求采用响应式编程的方式。你可以考虑改用有限状态机。

通过 GitHub 编辑 链接将在新窗口或新标签页中打开
Lean Exercism

准备好开始 猜词游戏 了吗?

注册 Exercism,借助 100 个练习 和真人导师指导,学习并掌握 Lean,全部免费。