I actually think it's probably less academic than Haskell or Racket. It's intended to be a practical language that people build things with. It just has an adva

I actually think it's probably less academic than Haskell or Racket. It's intended to be a practical language that people build things with. It just has an advanced type system and a small community.