Re: [Haskell-cafe] EDSL's using Filet-O-Fish of Barrelfish project

capabilities! Reading the official caps.hl is much more interesting, and, if you really want to, you will quickly see how you can implement your favorite board game in there. But don't! :-) Regards, -- Pierre-Evariste DAGAND ___ Haskell-Cafe mailing

Re: [Haskell-cafe] EDSL's using Filet-O-Fish of Barrelfish project

. Hope this help, -- Pierre-Evariste DAGAND http://perso.eleves.bretagne.ens-cachan.fr/~dagand/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Type-indexed expressions with fixpoint

-order functions considered unnecessary for higher-order programming, by Goguen http://portal.acm.org/citation.cfm?id=119842 This technique is called defunctionalization, so you will probably find other references under that name. Regards, -- Pierre-Evariste DAGAND http://perso.eleves.bretagne.ens

Re: [Haskell-cafe] Categorical language

of this field. Regards, -- Pierre-Evariste DAGAND http://perso.eleves.bretagne.ens-cachan.fr/~dagand/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] FRP question

my current Haskell implementation on a public repository and start translating the OCaml code in Haskell. Regards, -- Pierre-Evariste DAGAND http://perso.eleves.bretagne.ens-cachan.fr/~dagand/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

Re: [Haskell-cafe] FRP question

Elliott blog [http://conal.net/blog/] is a must-read. -- Pierre-Evariste DAGAND http://perso.eleves.bretagne.ens-cachan.fr/~dagand/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] FRP question

arrow instance in Coq and, hopefully, one day, I will be able to develop a complete P2P protocol in Coq ;-) Hope this inspires you, Regards, -- Pierre-Evariste DAGAND http://perso.eleves.bretagne.ens-cachan.fr/~dagand/ ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Re: Best book/tutorial on category theory and its applications

here could give more useful review of it. HTH, -- Pierre-Evariste DAGAND http://perso.eleves.bretagne.ens-cachan.fr/~dagand/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: 0/0 1 == False

. But I'm still wondering about the relation between this and Haskell... -- Pierre-Evariste DAGAND ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe