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-05 17:49

>>2
Haskell, ATS, Agda, and F* also have these.

Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List