## #haskell - Mon 19 Feb 2007 between 01:12 and 01:17

### NY Lost Funds

 nornagon orbitz: add more rounding :) (or fromInteger):t div lambdabot forall a. (Integral a) => a -> a -> a sorear dons: patch sent orbitz what does sqrt not like that? nornagon :t sqrt lambdabot forall a. (Floating a) => a -> a bd_ :t div ddarius @type fromIntegral lambdabot forall a. (Integral a) => a -> a -> aforall a b. (Num b, Integral a) => a -> b nornagon :t (^) lambdabot forall a b. (Integral b, Num a) => a -> b -> a nornagon sqrt does not take Ints.you have to fromIntegral.use sqrt.fromIntegral. ivanm @type (^) orbitz i fi change to: h = sqrt \$ fromInteger (size^2 - size2^2) I get, Couldn't match expected type `Integer' against inferred type `Int' lambdabot forall a b. (Integral b, Num a) => a -> b -> a orbitz oh form Integral ivanm @type (**) lambdabot forall a. (Floating a) => a -> a -> a pjd falconair: these two posts by Dan Piponi might (or not) be interesting/relevant nornagon :t (^^) pjd http://sigfpe.blogspot.com/2006/11/from-l-theorem-to-spreadsheet.htmlhttp://sigfpe.blogspot.com/2007/02/comonads-and-reading-from-future.html lambdabot Title: A Neighborhood of Infinity: From Löb's Theorem to Spreadsheet Evaluation, http://tinyurl.com/22eoxuTitle: A Neighborhood of Infinity: Comonads and reading from the future, http://tinyurl.com/2gjj3dforall a b. (Integral b, Fractional a) => a -> b -> a nornagon @botsmash lambdabot Unknown command, try @list kc5tja @src mod lambdabot Source not found. Maybe if you used more than just two fingers... kc5tja hmmm... I used 9 appendages to type that command -- I think lambdabot needs an abject lesson in cordiality. sorear dons: I've sent another patch falconair crap, comonads ... i have enough trouble getting through basic catamorphisms :) thanks pjd, I'll go through your references dons thanks sorear pjd falconair: it's more the Lb's theorem that's relevant, not comomads :) falconair good, let's see if i learn any thing :) orbitz nornagon: hrmm, No instance for (Num (a -> b)) ?