2 ms·
Could you elaborate on why something like Haskell is too much? Similarly, why is Python too little?
by zingplex 7y ago
Could 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.