Please do formal verification and serious dependently type works on other languages. Type system of this language will be likely to have bad properties as compromises for other features.
- Scala
- Haskell
- Swift
- Aya
- maybe Rust
- Koka
- Racket
- Nix
- Javascript, Typescript
- Idris
- https://github.com/inkytonik/kiama