认真回应
Agda, Coq 真的顶
觉得太难就 Idris
还是觉得难就 Haskell 或他的类似方言
如 Purescript, Elm 等等
又或者去学 Rescript 之类的
至于讲 C, Python 什么的
抱歉我们根本不在同一个频率上讨论