![FOOL's errand: let's build a real FP language from scratch (in Haskell) | by Anton Antich | Superstring Theory | Medium FOOL's errand: let's build a real FP language from scratch (in Haskell) | by Anton Antich | Superstring Theory | Medium](https://miro.medium.com/v2/resize:fit:1200/1*rWZCThEXRr3o_IqN7nmOOQ.png)
FOOL's errand: let's build a real FP language from scratch (in Haskell) | by Anton Antich | Superstring Theory | Medium
![Don Syme explains the downsides of type classes and the technical and philosophical reasons for not implementing them in F# : r/haskell Don Syme explains the downsides of type classes and the technical and philosophical reasons for not implementing them in F# : r/haskell](https://external-preview.redd.it/ZL-hPHZcIhxNoG1gwhxXVHnEL3hbBVE2IdhsB01i6YY.jpg?auto=webp&s=8f30301cc25f26c1b345731e98055f13c662b1db)
Don Syme explains the downsides of type classes and the technical and philosophical reasons for not implementing them in F# : r/haskell
![Haskell Injectivity Of Type Families And Reasons Of Its Ambiguity – wapxmas – Notes On Software Development Haskell Injectivity Of Type Families And Reasons Of Its Ambiguity – wapxmas – Notes On Software Development](https://wapxmas.github.io/images/haskell-injectivity-1.png)