#haskell - Mon 19 Feb 2007 between 13:23 and 13:31

NY Lost Funds



quicksilver> (:[]) "lambda-cookie" >>= replicate 301
lambdabot["lambda-cookie","lambda-cookie","lambda-cookie","lambda-cookie","lambda-coo...
matthew_-@hoogle (>>==)
lambdabotDid you mean: (>>==)
Prelude.undefined :: a
Control.Monad.Reader.ask :: MonadReader r m => m r
matthew_-O.o
vincenz> ((>>=) . (:[])) "lambda-cookie" (replicate 301)
lambdabot["lambda-cookie","lambda-cookie","lambda-cookie","lambda-cookie","lambda-coo...
ndmmalcolmw: is there a working nhc build in the department?
malcolmw: Tom is trying to debug the performance of Yhc vs nhc, and we can't find a working copy of nhc or build one...
malcolmwndm: does /grp/haskell/bin/nhc98 not work on Linux?
int-e@type (((>>=) . (:[])), flip id)
lambdabotforall b a b1 c. (a -> (a -> [b]) -> [b], b1 -> (b1 -> c) -> c)
ndmmalcolmw: no idea, not a linux person, i'll get Tom to try it
vincenz@pl ((>>=) . (:[]))
lambdabotflip id
vincenz:P
Botjehow macho.
malcolmwndm: I'm pretty sure it works for me on venice
vincenzBotje: thx, I aim to please
ndmmalcolmw: i've passed on the message, thanks
quicksilvervincenz: it's that the cookie monster in traditional head dress combinator?
Botje:t fix (&&&)
lambdabotOccurs check: cannot construct the infinite type: b = b -> c'
Probable cause: `&&&' is applied to too few arguments
Botje:t (fix &&&)
ndmmalcolmw: any idea how to get the instruction count out of nhc?
lambdabotforall a c'. ((a -> a) -> c') -> (a -> a) -> (a, c')
Botjeheh. that's a nice type.
maukelooks like a combination of fix and id
@djinn ((a -> a) -> c') -> (a -> a) -> (a, c')
lambdabot-- f cannot be realized.
malcolmwndm: need to recompile the Kernel of the runttime system with -DBYTECODE_PROF
Botje:t first fix
lambdabotforall a d. (a -> a, d) -> (a, d)
malcolmwndm: no, actually it is #define INSCOUNT 1 in include/runtime.h
int-e@free first fix
lambdabotExtra stuff at end of line
kpreid> (fix &&&) (1:) fix

Page: 1 8 15 22 29 36 43 50 57 64 71 78 85 

IrcArchive

NY Lost Funds