3 ms·
Gabriel, I've noticed your posts often attract this criticism - "you can do X in any language, it's not unique to Haskell". The funny thing is I don't think yo
by samstokes 12y ago
Gabriel, I've noticed your posts often attract this criticism - "you can do X in any language, it's not unique to Haskell". The funny thing is I don't think you ever claim that X is unique to Haskell. IMHO this (excellent) post advocates equational reasoning a lot more strongly than it advocates Haskell.
Assuming your aim is to spread awareness of the advantages of pure functional programming, rather than of Haskell specifically, I wonder if your Haskell-specific domain name is muddling your message?
- Gabriel439 12y agoYeah, the domain name is misleading. It really should be called "Equational reasoning for all". I'm reluctant to change it at this point, but I think I should make more of an effort to clarify that the posts are advocacy for purely functional programming languages, including Idris in particular since it is maturing quite rapidly. Tonight I will revise this post to be less Haskell-centric by mentioning that most of what it describes applies to other purely functional languages and also mention how dependently typed languages can improve and mechanically check the proof process.