5 ms·
That (and pages like that) are what I was looking for! Thanks, much appreciated!
by peter_d_sherman 4y ago
That (and pages like that) are what I was looking for!
Thanks, much appreciated!
- still_grokking 4y agoScala is missing on that list (even it doesn't have "full dependent types" Match-Types are quite close).