Lean〈リーン〉の好きなところ

整理はされてないが列挙：

1. ガッカリ・ウンザリするところがない。
2. しがらみの無さ
3. 単一言語
4. 構文の一貫性 → 予測可能性
5. 将来性・期待感 歴史上初の汎用プログラミング言語へ
6. Unicode文字キーワード → 可読性、視認性
7. 薄いシンタックスシュガー（甘さ控えめ）
8. 非タクティク構文
9. Webエディタ
10. langserver対応
11. 分かりやすい文書 ← Leanが分かりやすいから説明容易
12. 整備されたセマンティクス
13. 多宇宙モデル