2 ms·
What will you use for dependent types, Idris 2? Lean? None are as popular as Rust especially counting the number of production level packages available.
by satvikpendem 8mo ago
What will you use for dependent types, Idris 2? Lean? None are as popular as Rust especially counting the number of production level packages available.
- valenterry 8mo agoScala has dependant types (though inferior than Idris ones) and has the whole jvm ecosystem.