2026-04-27

出力がWebAssemblyな言語

mizchiどん(Webに強い人)がおすすめしてる

数学の定義や定理、証明を記述するための形式的言語

AIで仕様や性質証明が手軽にできやすい環境が整いつつある

数学方面で非常に将来性がある

関数型言語

未だにモナドや圏論方面で面白いかも