3 ms·
> Languages are easy. Not always true, my favorite example being Idris. (but then again, it's all relative to what you know already)
by infinisil 9y ago
> Languages are easy.
Not always true, my favorite example being Idris. (but then again, it's all relative to what you know already)
- likelynew 9y agoIf you know, say Agda, Idris is not hard. The point is the concepts in Idris are hard, not the language. People learning haskell as first language in universities have more difficulty learning OO language than we have as we already know many OO languages.