News for hackers. Stuff that matters.

A comment on Destroy All Ifs – A Perspective from Functional Programming. Parent comment

Re:Destroy All Ifs – A Perspective from Functional Programming by harveywi on Sunday July 17, 2016 @09:32AM (#12110109)
The difference, in terms of type theory, is that a tuple is a product type [1] but a type representing multiple possible return values (to represent different outcomes) would be encoded using a sum type [2].

[1] https://en.wikipedia.org/wiki/Product_type

[2] https://en.wikipedia.org/wiki/Tagged_union

[ Parent | on HN ]
Re:Destroy All Ifs – A Perspective from Functional Programming by eru on Monday July 18, 2016 @06:45AM (#12114265)
I don't think eg Go uses a sum type:

https://gobyexample.com/multiple-return-values

Typically they use product types to simulate sum types.

[ Parent | on HN ]