由于各自不同的原因，发现大家这个学期都开始学习起 Lean 了起来，我也不能免俗囧。L∃∀N 一看 logo 就很帅，有点 DUNE 的设计感有没有？ 感觉首要工作是先复习一下 Haskell，这样也不必中途翻阅语法手册。显然 Lean4 从 Haskell 里借鉴了相当多的语法和设计思想，说来惭愧，虽然我之前试图用 Haskell 刷刷题，但是总是感觉不得要领，被复杂度卡的死死的囧不得不中途切回…
由于各自不同的原因，发现大家这个学期都开始学习起 Lean 了起来，我也不能免俗囧。L∃∀N 一看 logo 就很帅，有点 DUNE 的设计感有没有？ 感觉首要工作是先复习一下 Haskell，这样也不必中途翻阅语法手册。显然 Lean4 从 Haskell 里借鉴了相当多的语法和设计思想，说来惭愧，虽然我之前试图用 Haskell 刷刷题，但是总是感觉不得要领，被复杂度卡的死死的囧不得不中途切回…
讨论
登录后参与讨论
还没有评论，来说第一句吧。