認真回應
Agda, Coq 真的頂
覺得太難就 Idris
還是覺得難就 Haskell 或他的類似方言
如 Purescript, Elm 等等
又或者去學 Rescript 之類的
至於講 C, Python 什麼的
抱歉我們根本不在同一個頻率上討論