Hacker News new | ask | show | jobs
by threeseed 401 days ago
Scala would be the best given that its type system is formally modelled:

https://infoscience.epfl.ch/entities/publication/6c6bb09d-a4...