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