3 ms·
I assume you mean static typing enabled. Because lisps are already dynamically typed to begin with.
by hellofunk 6y ago
I assume you mean static typing enabled. Because lisps are already dynamically typed to begin with.
- estsauver 6y agoThanks, I actually meant gradually typed systems, like rust typed or closure with heavy spec usage.
- hellofunk 6y agoI think you mean Clojure. Closure is something different.
- estsauver 6y agoWhat a terrible day for autocorrect, thank you.
- slifin 6y agoClojure has a java type system which can be partially enforced statically with clj-kondo Clojure spec is great at system boundaries but it's hard to describe it is a type system, it's a predicate system it can define very arbitrary constraints mostly at runtime
- setzer22 6y agoAs a spec user in production, I must say it's very nice usability-wise and can help alleviate most of the issues coming from a lack of a type system. But god it's slow... Some static analysis support would also be hugely appreciated. Not being able to check everything doesn't meen you shouldn't attempt to check something! Many specs are type predicates anyway.