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