languages I'm interested in:
sadly, more often than not these are not the languages I use
- OCaml
- Rust
- F#
- Erlang
- Pony
- Roc
- Zig
- Nim
- Meta II a syntax oriented compiler writing language
- Haskell
- Prolog
- Futhark
- ISPC
- Koka
- Idris
- Harelang
- Agda
- Lean
- Forth
- any Array language
- any Lisp dialect
- any ML dialect
- whatever Simon Peyton Jones is making right now
- Bonk ;)