4 ms·

Maybe and Either constantly show up when people discuss patterns to make error handling less clumsy in languages without exceptions baked in (and in asynchronou

by inglor 12y ago

Maybe and Either constantly show up when people discuss patterns to make error handling less clumsy in languages without exceptions baked in (and in asynchronous contexts in some languages with exceptions) - I just wish posts like this named what they're talking about better - Rob Pike is undoubtedly aware of the names.

deleted 12y ago
[deleted]
theseoafs 12y ago
I would not be so sure Rob Pike knows about Maybe and Either. How would he?
- deleted 12y ago
  [deleted]
- TheDong 12y ago
  Oh, I dunno, maybe the fact that he designed a programming language which practically proves he must have interest in programming languages. Combine that with the fact that Maybe/Options are neither new nor unusual in language design and fairly heavily discussed and I think it would be practically impossible for him to not have known about them a decade ago. Even failing at that, he would doubtlessly have heard of them since because people discuss them in relation to Go so often. So yeah, that's how he would know about them. They're extremely common in two areas of his interest (Go discussion/criticisms, language design).
  - prodigal_erik 12y ago
    Failing to solve a problem is not evidence that you are familiar with any solutions.
  - theseoafs 12y ago
    Given that the party line on generics in Go has been "Go doesn't have generics, but since generics are mainly used to implement generic collections, you can just use the built-in collection types for those purposes", I wouldn't be shocked if the designers of the language only had a minimal or cursory understanding of Maybe, Either, and friends. I do not mean this as a dig or an insult, but if Rob Pike is at all familiar with the benefits of Maybe and Either (or sum types in general), then it does not show either in his work or in the talks he's given.
- enneff 12y ago
  This is an amazing comment.
  - NateDad 12y ago
    People are amazingly able to assume ignorance is the cause of disagreement.
- harryh 12y ago
  LOL LOL LOL. Very nice dig. A+

by inglor 12y ago

deleted 12y ago

[deleted]

theseoafs 12y ago

I would not be so sure Rob Pike knows about Maybe and Either. How would he?

deleted 12y ago
[deleted]
TheDong 12y ago
Oh, I dunno, maybe the fact that he designed a programming language which practically proves he must have interest in programming languages. Combine that with the fact that Maybe/Options are neither new nor unusual in language design and fairly heavily discussed and I think it would be practically impossible for him to not have known about them a decade ago. Even failing at that, he would doubtlessly have heard of them since because people discuss them in relation to Go so often. So yeah, that's how he would know about them. They're extremely common in two areas of his interest (Go discussion/criticisms, language design).
- prodigal_erik 12y ago
  Failing to solve a problem is not evidence that you are familiar with any solutions.
- theseoafs 12y ago
  Given that the party line on generics in Go has been "Go doesn't have generics, but since generics are mainly used to implement generic collections, you can just use the built-in collection types for those purposes", I wouldn't be shocked if the designers of the language only had a minimal or cursory understanding of Maybe, Either, and friends. I do not mean this as a dig or an insult, but if Rob Pike is at all familiar with the benefits of Maybe and Either (or sum types in general), then it does not show either in his work or in the talks he's given.
enneff 12y ago
This is an amazing comment.
- NateDad 12y ago
  People are amazingly able to assume ignorance is the cause of disagreement.
harryh 12y ago
LOL LOL LOL. Very nice dig. A+