Codata in action, or how to connect FP and OOP

Re:Codata in action, or how to connect FP and OOP by saithound on Monday August 10, 2020 @05:49AM (#24107375)

Well, the expression problem is a clearly formulated question: how can we have three desirable things at the same time (no need to modify existing code, no need for code repetition and no need for runtime type errors [1])? See also the project management triangle: if you need something fast, good and cheap, then fast, good and expensive won't be a satisfactory answer, no matter how many millionaires are satisfied with the latter.

[1] https://link.springer.com/chapter/10.1007/978-3-540-24851-4_...

[ Parent | on HN ]

Re:Codata in action, or how to connect FP and OOP by shele on Monday August 10, 2020 @08:26AM (#24108499)

Honestly, if you want to discuss the progress made on the expression problem by a dynamical language whose power and extensibility partly comes from a collection of informal, consensus based interfaces you have to start from a different theory.

[ Parent | on HN ]