3 ms·
No, it is not. The deeper I get into Haskell, the more references I find to esoteric research languages like Agda (which itself is still pretty big compared to
by nightski 15y ago
No, it is not. The deeper I get into Haskell, the more references I find to esoteric research languages like Agda (which itself is still pretty big compared to many others). The thing about Haskell is that it is probably the most "researchy" language that is also practical to use for general purpose programming.