Hacker News new | ask | show | jobs
by valenterry 101 days ago
Scala has dependant types (though inferior than Idris ones) and has the whole jvm ecosystem.