17 ms·Scala has dependant types (though inferior than Idris ones) and has the whole jvm ecosystem.by valenterry 7mo agoScala has dependant types (though inferior than Idris ones) and has the whole jvm ecosystem.