30 Jul
2015
30 Jul
'15
3:35 p.m.
I doubt whether this would work so well for errors, as I think we would want to be able to combine the values of fallible terms such as to combine the possible errors associatively and commutatively, and these sum tuples would not. The non-associativity of product tuples sometimes bites me already in other use cases.
Yeah I agree tuples are not very nice to work with because you can't recurse over them. I guess it would be cool to have them internally represented similar to this. http://stackoverflow.com/a/25609890/1117884 But even without this, tuples are useful and I think sum tuples would be similarly useful. Doing things explicitly/manually is not always a bad thing. Silvio