jdkleban

Brian writes on the board:

1. g: a -> Mb
2. f: b -> Mc
3. \a -> (g a) >>= \b -> (f b)

but it seems to me that one of two things must be true, either:

The "->" notation means something different in lines 1 and 2 than it does in line 3.  In line 1 and 2, "g is a thing (a function) with a type such that it takes a thing of type a and returns a thing of type Mb".  In line 3, I don't see how this same interpretation pattern fits over line 3, even with the grouping "\a -> [(g a) >>= \b -> (f b)]".

 OR, and more likely because I doubt he wouldn't have noticed:

They do mean the same thing but that there is some even more advanced meaning of the "->" operator, probably something to do with meta-types or kinds or something that applies correctly to each of the lines when understood correctly.

Or, maybe the question is, What is the Bind or Shove operator doing?  Is it sheding some metadata surrounding b or c in kinds Mb or Mc and returning the b or c type?  Is it de-generalizing a generic Mb or Mc kind??

Sorry, I went to public school but I'm really trying .

Maybe listing out how this functional or F# syntax is to be read would help as well.  eg.  "g: a -> a" is read as "g is a thing, a function, which takes a thing and returns a thing".  Even that may be incorrect.  Stay as general as possible.

You mention a great blog article by a Chris Broom in the video, but I'm unable to find it.  Do I have the name right?  Can someone post a link?

Thanks,

Jason