News for hackers. Stuff that matters.

A comment on Dr. Software: An unfinished journey starting from dirty code [pdf]. Parent comment

Re:Dr. Software: An unfinished journey starting from dirty c... by josephcsible on Monday June 28, 2021 @12:56PM (#27664357)
> doing FP in a statically typed language that's not based on type erasure

What language are you talking about here?

[ Parent | on HN ]
Re:Dr. Software: An unfinished journey starting from dirty c... by dimitrios1 on Tuesday June 29, 2021 @12:37AM (#27671828)
Haskell, and OCaml/Reason
[ Parent | on HN ]
Re:Dr. Software: An unfinished journey starting from dirty c... by josephcsible on Tuesday June 29, 2021 @01:17AM (#27672080)
But those languages are type-erased.
[ Parent | on HN ]
Re:Dr. Software: An unfinished journey starting from dirty c... by mumblemumble on Tuesday June 29, 2021 @09:55AM (#27675800)
OCaml is slightly lovely for being an object-oriented language that doesn't let you downcast.
[ Parent | on HN ]