3 ms·

Be aware that SBCL does pretty good compile-time type checking. It helps a lot during dev. And there's the new https://github.com/coalton-lang/coalton https://g

Be aware that SBCL does pretty good compile-time type checking. It helps a lot during dev. And there's the new https://github.com/coalton-lang/coalton https://github.com/coalton-lang/coalton to have like Haskell atop CL.

rurban 5y ago
Lisp also has run-time type checking. In contrary to statically compiled languages, lisp doesn't throw away it's types at run-time, and is always type-safe.
- eklavya 5y ago
  But one of the big advantage of typed languages is that you CAN throw away that information and still be safe (proven by compiler). You don't have to pay for them at runtime.
  - jhgb 5y ago
    That's exactly what SBCL does, for example.