t_wの輪郭
あれ
関数型言語
2022/6/11 6:30:00
あれ
関数型言語
静的型付け言語
静的型付け関数型プログラミング言語
2025/9/28 2:48:00
『静的型付け関数型プログラミング言語を使わない10の理由 | F# for fun and prof...
コンパイル時証明
定理証明支援系
関数型言語
Lean
2024/3/24 19:25:00
https://lean-lang.org/
https://github.com/leanprover
【定理証明支援系Lean】写像って、そもそも何？
あれ
『記号と再帰』
記号論
関数型言語
オブジェクト指向
あれ
2022/6/11 6:29:00
あれ
関数型言語
関数型プログラミング
函数型言語
2020/12/1 16:16:00
あれ