29 Jun
2010
29 Jun
'10
7:56 p.m.
On Jun 29, 2010, at 6:02 AM, Stephen Tetley wrote:
Hi Michael
Good names are a problem of course.
The "Applicative Programming with Effects Paper" has the "monodial accumulating" applicative instance on a sum type Conor McBride and Ross Paterson call Except:
data Except err a = OK a | Failed err
The applicatives-extra package defines a type: type ErrorMsg = String data Failing a = Failure [ErrorMsg] | Success a Which is a less general version of that type. I am fine with the more general version, but we should make sure that applicative-extras and things which depend on it are updated, so that we don't have a bunch of really similar types floating around. - jeremy