Comment Comment by deterministic The problem is not the other languages. The problem is Haskell not fully embracing dependent types. parent deterministic 11 days ago