Scala would be the best given that its type system is formally modelled: https://infoscience.epfl.ch/entities/publication/6c6bb09d-a41c-46e8-aac4-d059cc8a6459

Scala would be the best given that its type system is formally modelled: https://infoscience.epfl.ch/entities/publication/6c6bb09d-a41c-46e8-aac4-d059cc8a6459 https://infoscience.epfl.ch/entities/publication/6c6bb09d-a4...