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
CNBT is a small french generalist instance, where we talk about everything and everybody is welcome, especially LGBTQIA+ folks, including non-binary friends!