Re: [Haskell-cafe] C9 video on monads and coordinate systems
On Wed, Jul 7, 2010 at 8:00 PM, Greg Meredith lgreg.mered...@biosimilarity.com wrote: Dear Haskellians, You may be interested in this video i did with Brian Beckman on monads, location and coordinate systems. Great, nice jamming! I wonder what's the URL of the Haskell code you have, however :). Cheers, -- Felipe. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] C9 video on monads and coordinate systems
Dear Felipe, Thanks for your note! Here's some quick and dirty code to get the point across. data T v = Constant Bool -- just to let us get off the ground... | Mention v | Abstraction [v] (T v) | Application (T v) (T v) deriving (Eq, Show) data RN t = RN ( t, [((RN t), t)] ) deriving (Eq, Show) data RT = RT (T (RN RT)) deriving (Eq, Show) Best wishes, --greg On Thu, Jul 8, 2010 at 6:15 AM, Felipe Lessa felipe.le...@gmail.com wrote: On Wed, Jul 7, 2010 at 8:00 PM, Greg Meredith lgreg.mered...@biosimilarity.com wrote: Dear Haskellians, You may be interested in this video i did with Brian Beckman on monads, location and coordinate systems. Great, nice jamming! I wonder what's the URL of the Haskell code you have, however :). Cheers, -- Felipe. -- L.G. Meredith Managing Partner Biosimilarity LLC 1219 NW 83rd St Seattle, WA 98117 +1 206.650.3740 http://biosimilarity.blogspot.com ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] C9 video on monads and coordinate systems
Dear Haskellians, You may be interested in this video i did with Brian Beckmanhttp://channel9.msdn.com/shows/Going+Deep/E2E-Whiteboard-Jam-Session-with-Brian-Beckman-Greg-Meredith-Monads-and-Coordinate-Systems/on monads, location and coordinate systems. Best wishes, --greg -- L.G. Meredith Managing Partner Biosimilarity LLC 1219 NW 83rd St Seattle, WA 98117 +1 206.650.3740 http://biosimilarity.blogspot.com ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe