Administered by:
What are programming language in widespread use today that:
1. have declared types, but
2. types are only checked at runtime, no static type checking?
I believe you can make Racket do this, and it’s an idiom with old Scheme roots. I think? And don’t some dependently typed languages resort to runtime checks when static proofs aren’t possible?…but I’m looking for no static types, runtime checks only.
@inthehands typescript probably counts
@lunacb Unless I’m much mistaken, Typescript’s type checking is •all• static; types are erased to JS-land at runtime
@inthehands that's why I said probably, I was referring more to the technicality of it compiling to JavaScript which is dynamically typed