On Tue, 2007-02-06 at 16:45 -0500, Jacques Carette wrote: > 1) Very cool
Hey, all zero users will love them! > 2) People who "know better" now really regret ever having put a 'fail' > method as required for a Monad instance (in Haskell). This comes up > fairly regularly on the list. My advice would be to not repeat their > mistake! Ok, easy enough to remove it. Felix has no 'bottom' value _|_ either. > 3) Very cool, especially for the axioms -- when will we see them as part > of the typeclass? I actually tried to put one in but found it was a bit nasty. Hmm .. do we have any theoreticians around .. > 4) What about something like 'do' notation, to make programming with > Monads easier? * It's not clear how useful it would be in Felix, since as an imperative language it's already running STM monad, it has 'goto' so it already has continuation passing .. etc :) Some examples would help. * 'do' and '<-' and ';' currently have a meaning. * List comprehensions look interesting though. * one might actually decide to make a swag of existing Felix notation sugar for STM monad .. i.e. make the core more functional -- John Skaller <skaller at users dot sf dot net> Felix, successor to C++: http://felix.sf.net ------------------------------------------------------------------------- Using Tomcat but need to do more? Need to support web services, security? Get stuff done quickly with pre-integrated technology to make your job easier. Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642 _______________________________________________ Felix-language mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/felix-language
