3 ms·
What other language? Haskal is too much, Python is too little, Rust is essentially F#.
by adamnemecek 7y ago
What other language? Haskal is too much, Python is too little, Rust is essentially F#.
- zingplex 7y agoCould you elaborate on why something like Haskell is too much? Similarly, why is Python too little?
- adamnemecek 7y agoPython gives you too little in terms of formal verification. Haskell is hard to map to other langs.