Viewing profile — blueberry87

i mean, then we get into defining multi-paradigm :P does it have objects that could, theoretically, be used in a java-like object oriented system? yes! does anybody do that? not re…

this is wrong! ocaml is a functional programming language with side effects.

annoyingly go can't have proper sum types, as the requirement for a default value for everything doesn't make any sense for sum types

that's not how compile time works buddy

You lose a very large amount of expressive power if you don't. Any formalisation of the reals requires at least 3 levels, if I remember correctly.

What are your other options? A type-based proof system implies dependent types, implies universe levels if you want it to be consistent.

Trying to compare a switch statement to proper pattern matching is like comparing a rock to a rocket.

Also agda: https://plfa.github.io/

What's your workflow for adding a new feature to something? In OCaml, with it's "high-tech language features like algebraic data types and ultra-strict typing", my entire workflow …

Yeah, in any modern language with pattern matching stuff like this is absolutely the compiler's job, and can be done pretty well[1] - of course, there are plenty of legacy language…

+1 for "Brady_story".

The point of this website isn't to mock software that has bugs - it's to show pitfalls that have been fallen into before, and could be fallen into again. If popular languages have …