News for hackers. Stuff that matters.

A comment on Functional programming is finally going mainstream. Parent comment

Re:Functional programming is finally going mainstream by Izkata on Tuesday July 12, 2022 @11:38PM (#32078787)
> I don't understand this point. All functional programming languages have algebraic data types and records, which are composite types. If this is not a "composite object", you'll have to clarify what you mean.

I think they meant data structures, not data types. Things like lists of records that each contain further records.

[ Parent | on HN ]
Re:Functional programming is finally going mainstream by naasking on Wednesday July 13, 2022 @12:26AM (#32079038)
Data types like records and algebraic types are data structures. Here's an algebraic type for polymorphic lists:

    type 'a list = Nil | Cons of 'a
[ Parent | on HN ]
Re:Functional programming is finally going mainstream by deltaonenine on Wednesday July 13, 2022 @04:02AM (#32080085)
You and the other person don't understand.

All data structures have types. EVEN lists of records that each contain further records. A type or a data structure is an orthogonal concept to FP, because types exist in imperative programming and data structures also exist in FP.

[ Parent | on HN ]