#haskell - Mon 19 Feb 2007 between 07:11 and 08:53

NY Lost Funds



xpikaI was just thinking how cool it would be to program in dingbats characters
ok
bye
goltrpoat@pl \x (a,b) -> x >= a && x <= b
lambdabot(`ap` snd) . (. fst) . ap (flip . (((.) . (&&)) .) . (>=)) (<=)
goltrpoatMY EYES
Syzygy-Haha
Welcome to pointless obfuscation. ;)
earthy@unpl (`ap` snd) . (. fst) . ap (flip . (((.) . (&&)) .) . (>=))
syntaxfreeproc >- do this <- do that
CaleYou just understand it in terms of flow of data, and not how it actually is going to desugar.
syntaxfreeI understand dataflow better in comonadic form
Calehttp://haskell.org/arrows/syntax.html -- this has pretty diagrams which I made :)
lambdabotTitle: Arrow syntax
CalePerhaps they'll help to understand :)
ivanm@t (^2)
lambdabotMaybe you meant: tell time tiny-url todo todo-add todo-delete topic-cons topic-init topic-null topic-snoc topic-tail topic-tell type . ft v
ivanm@type (^2)
lambdabotforall a. (Num a) => a -> a
Caleivanm: If you're having trouble with defaulting, you might just try the -fno-monomorphism-restriction tag.
ivanmCale: what does that do?
syntaxfreeit lifts the monomorphism restriction ; )
CaleIt turns off a silly restriction which forces pattern bound variables to be monomorphically typed unless their types are explicitly given as polymorphic.
so if you wrote:
square = (^2)
syntaxfreeCale: jesus, this HXT thing is a monster.
I just wanted to get title and href tags.
ivanmCale: I have (^2) being passed as a parameter to a function that expects (Int -> Int), but the compiler seems to default it to Integral...
CaleThe MR would say "that has to be monomorphic", and then defaulting would kick in, and it would get Integer -> Integer as type.
syntaxfree: hehe
ivanmI would have thought that it would have worked out that its meant to be Int, not Integral
Saizanthere's a specific example on getting them in the tutorial
Calesyntaxfree: Let me write you an example.
syntaxfreethis HXT thing basically cures cancer with XSLT transformations, it seems.
There's a general interface to XML, for which a cancer cell interface can be built, and then you just morph it into a healthy cell.
Syzygy-syntaxfree: ??
syntaxfreeSyzygy: http://en.wikipedia.org/w
Syzygy: http://en.wikipedia.org/wiki/Humor
lambdabotTitle: Humour - Wikipedia, the free encyclopedia
EvilTerransyntaxfree, i know exactly what you mean

Page: 2 9 16 23 30 37 44 51 58 65 72 79 86 

IrcArchive

NY Lost Funds