News for hackers. Stuff that matters.

A comment on Golang generics proposal has been accepted. Parent comment

Re:Golang generics proposal has been accepted by zeugmasyllepsis on Wednesday February 10, 2021 @03:39PM (#26094430)
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.
[ Parent | on HN ]
Re:Golang generics proposal has been accepted by cies on Wednesday February 10, 2021 @03:46PM (#26094536)
> 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.

[ Parent | on HN ]