issues
search
lean-ja
/
lean-by-example
コード例で学ぶ Lean 言語
https://lean-ja.github.io/lean-by-example/
MIT License
51
stars
7
forks
source link
欠けている重要な構文を紹介する
#1058
Open
Seasawher
opened
3 weeks ago
Seasawher
commented
3 weeks ago
[ ] match 式
[ ] match 式を省略する関数の書き方(正式名称不明)
[ ] ラムダ式
[ ] 括弧と中点によるラムダ式
[ ] _ (プレースホルダ)
[ ] if 式
[ ] let 式によるパターンマッチ
[ ] let_expr 文
[ ] フィールド記法
[ ] フランス引用符
[ ] パイプライン演算子
[ ] 明示的引数
[ ] 暗黙の引数
[ ] 強い暗黙の引数
[ ] 無名コンストラクタ
[ ] 名前付き引数
[ ] do 構文
[ ] try catch
[ ] while 文
[ ] for 文
[ ] continue
[ ] break
[ ] if 文
[ ] return