3 ms·

I don't think it would be more practical than just using a typed language in the first place.

• spicybright 5y ago
  Not really getting the argument, the above lib pretty much makes it a superset that adds types. And while I don't know the scope of the library, if they have a way to not allow dynamic features then you're already starting from a having a typed language (with one library dependency). Only now you can keep building up the type system in ways that benefit your project, unlike in most non lisp languages.