Idris
Ref.icon Idris Advent Calendar 2020 - Qiita
依存型のあるHaskell
とのこと
dragoon8192.iconHaskellより新しいから、面倒なことが少ないかも
でも、情報は少なそう……
Ref.icon プログラング言語Idrisに入門させたい（v0.9）
Webアプリは難しそう？
Ref.icon IdrisでWebアプリを書く
2004年時点か……