Hacker News new | ask | show | jobs
by deltaonenine 1431 days ago
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.