# Idris 従属型(dependent types)を持つ純粋関数型プログラミング言語。Mark Seemann は「[[@2026__PloehBlog__Programming Languages for AI]]」で、Haskell より強力な型システムを持つ例として Idris を挙げ、LLM が生成するコードの検証可能性を高める選択肢として論じている。 ## 関連 - [[@2026__PloehBlog__Programming Languages for AI]] ## 出典 - [[@2026__PloehBlog__Programming Languages for AI]]