News for hackers. Stuff that matters.

A comment on Haskell is our first choice for building production software systems. Parent comment

Re: Haskell is our first choice for building production soft... by mjburgess on Monday January 11, 2021 @10:53AM (#25730557)
Sure, my mistake. I meant something looser.

Only that the types can be analysed structurally (ie., pattern matched).

In C++, etc. there's a "radical nominalism" in which the type was very opaque, ie., encapsualated.

[ Parent | on HN ]
Re: Haskell is our first choice for building production soft... by gpderetta on Monday January 11, 2021 @12:53PM (#25732792)
It is complicated. Templates do allow some form of structural typing and the new-in-C++17 structured bindings do allow for decomposing and inspecting types (although this being C++ it is kind of awkward). Structured bindings are expected to evolve into full pattern matching in the future.
[ Parent | on HN ]