I was thinking of Haskell and F#. Neither one is completely unused outside of academic contexts but it is rare. Rust is an example where a stronger type system

I was thinking of Haskell and F#. Neither one is completely unused outside of academic contexts but it is rare. Rust is an example where a stronger type system has an associated payoff and it's being used all over.