4 ms·
Sum and intersection types + pattern matching feels so natural in languages like F#, OCaml, Reason, and Elixir. I know they add a significant amount of complexi
by zeugmasyllepsis 6y ago
Sum and intersection types + pattern matching feels so natural in languages like F#, OCaml, Reason, and Elixir. I know they add a significant amount of complexity to the language, but the more I use them, the more I feel that the tradeoff lands in the goldilocks "just right" zone. I find myself missing them often.
- cies 6y ago> feels so natural Yes. They are as important as records/structs a.k.a. product types. > F#, OCaml, Reason, and Elixir Haskell, Elm, PureScript, Kotlin, Idris, ... > I know they add a significant amount of complexity to the language Really? I dont think it can be so much more than generics :) Elm has 'm and the whole language is 5k lines of code.