[estsauver]

Some of the best solutions to that world right now seem to be things like lisps with dynamic typing added. You get a great set of repl support, but you can also build components and systems into easy wrapper scripts to load them as needed.

[hellofunk]

I assume you mean static typing enabled. Because lisps are already dynamically typed to begin with.

[estsauver]

Thanks, I actually meant gradually typed systems, like rust typed or closure with heavy spec usage.

[setzer22]

As 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.

[slifin]

Clojure 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

[hellofunk]

I think you mean Clojure. Closure is something different.

[estsauver]

What a terrible day for autocorrect, thank you.