4 ms·
TypeScript, Kotlin, Scala, Haskell, Rust, Swift, modern Java, C#, F#, OCaml, Reason, Elm, PureScript,... it's a long list. I'd also count Python with MyPy, but
by mixedCase 4y ago
TypeScript, Kotlin, Scala, Haskell, Rust, Swift, modern Java, C#, F#, OCaml, Reason, Elm, PureScript,... it's a long list.
I'd also count Python with MyPy, but having a mostly untyped ecosystem means you can't take much advantage of it.