@spectrumgomas OCaml is fine. If to want to try a language with the sort of fancy advanced types that Racket programmers use implicitly, try Idris.

@spectrumgomas I knew someone at university who was working on one in PLT Scheme. I have no idea if he finished it or made it public, but maybe try searching for PLT or Racket code specifically?

@ekaitz_zarraga @fn embarrassed for the person doing that. Because it's weird and judgemental and nerdy-elitist, and they should be embarrassed of themselves.

@fn @ekaitz_zarraga I also haven't seen it in 20 years, thankfully. It was the sort of thing that made me embarrassed for the person writing the email.