Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

If a language lacks the following, it is shit

Name: Anonymous 2018-09-05 17:36

- Typeclasses
- Parametric polymorphism (* -> t)
- Dependent types (t -> *)
- Higher kinds (* -> *)
- Purity

Name: Anonymous 2018-09-07 3:47

🙋‍♀️

What’s the point of dependent types when you can already write automated tests, contracts, etc. in any language?

Newer Posts