3 ms·
So how exactly would you write the above five lines of OCaml in fewer than five lines in Idris?
by tom_mellior 9y ago
So how exactly would you write the above five lines of OCaml in fewer than five lines in Idris?
- smaddox 9y agoThe verbosity is not in the function definition, its in the match expression needed at _every single call site_. In Idris, the definition would be similar length or longer, but call sites would not need a match expression.