Things I want in languages that don't have them:

- Haskell: row types & row polymorphism, a more powerful module system, better tooling
- Rust: HKTs, GADTs
- OCaml: HKTs, non-anonymous row types
- PureScript: kind polymorphism, more powerful metaprogramming


Sign in to participate in the conversation
Crazy Noisy Bizarre Town

CNBT is a small french generalist instance, where we talk about everything and everybody is welcome, especially LGBTQIA+ folks, including non-binary friends!