3 ms·

You don't have to give up Lisp's features to get compile-time type checking, as there are Lisps that have it.

• foldr 6y ago
  Kind of. SBCL will flag type errors at compile time if it can find them, but there isn't any practical way (that I'm aware of) to force it to accept only code that has sufficient type annotations that it can be shown to be type correct at compile time. Racket has typed racket, but then you are getting into pretty obscure territory. You might be able to have strict standards for your own code, but you'll still be plugging in to a dynamically typed ecosystem.
  • dunefox 6y ago
    There's Coalton: https://github.com/stylewarning/coalton https://github.com/stylewarning/coalton
  • pmoriarty 6y ago
    Chicken gives you gradual typing at compile time.