Comment by valenterry

Scala has dependant types (though inferior than Idris ones) and has the whole jvm ecosystem.