* Wolfgang Jeltsch <g9ks1...@acme.softbase.org> [2009-02-17 13:30:22+0100] > Am Dienstag, 17. Februar 2009 00:32 schrieb George Pollard: > > On Mon, 2009-02-16 at 15:30 +0100, Fraser Wilson wrote: > > > Super! Also, best definition of bottom I've yet seen -- "ignoring _| > > > _, which is a party pooper". Like good code, it's short, to the > > > point, and obviously correct. > > > > This brings up something I've thought about: On page 8, it is said that > > Pointed doesn't need to be checked because the theorem comes for free, > > but the free theorems paper was based upon total functions only; does > > having _|_ affect the free theorem for Pointed? > > This was my question to Janis Voigtländer after his HaL 3 talk. He said that > the free theorem stuff also holds in the presence of _|_, it’s just a bit > more complicated to prove it. At least, this is how I understood it. :-)
This paper was recently cited in -cafe; doesn't it help here? http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.8232 -- Roman I. Cheplyaka :: http://ro-che.info/ "Don't let school get in the way of your education." - Mark Twain _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe