#haskell - Mon 7 May 2007 between 00:00 and 00:23

NY Lost Funds



sorearsjanssen: not true!
@djinn (a -> a -> b) -> (c -> a) -> c -> c -> b
lambdabotf a b c _ = a (b c) (b c)
sorearthat's 'on'
donshmm. i wonder what reddit's 'initial position for new submissoins' algo is.
i just submitted a .ps.gz and it is inserted at position 9.
which seems unusually high.
dolioThe real question is: what do spiders living in a kid's ear have to do with programming.
donsheh
actiondons stricks to the programming subreddit
donsstricks to the programming subreddit
though I wish I could kick articles that are dual-submitted to the frontpage
Cale: we're winning when .ps.gz makes the front page ;-)
littledandons, are there any useful programming languages (or haskell libraries) that implement the bird-meertens formalism?
ddariusHYLO?
donshylo, yeah.
let me find the url
?help hylo
lambdabothelp <command>. Ask for help for <command>. Try 'list' for all commands
sorearha ha
donshehe
sorear: :p
http://wiki.di.uminho.pt/twiki/bin/view/Alcino/PointlessHaskell
sometimes sorear reminds me of Nelson Muntz
littledanthat looks interesting
dons?wiki Pointfree
lambdabothttp://www.haskell.org/haskellwiki/Pointfree
donshas some references too
ddarius"Alcino" totally maken be think "alnico"
Yay, thunderstorm. I could use something going my way.
donshe's a nice guy, met him at popl
littledan@pl \x -> x+1
lambdabot(1 +)
ozzileeHi all, quick question: Any way to make backspace work for getLine? Specifically in GHCi on OS X.
donshmm, xmodmap?
does 'delete' work?
ozzileeWell.. the key is labeled 'delete', but it's backspace. I can't try forward delete, as the arrow keys don't work either.
donsdcoutts_: hmm, strikes me our approach to (hard core) optimisation with QuickCheck is a form of mechanised/supported 'transformational approach to program construction'
i.e. program construction and optimisation, from naive to (heavily) optimised, but with mechanical support.
ozzileebackspace gives me "^?". It sort of works, characters are actually deleted when I read the input, but it doesn't work interactively.
donsthat is, we use QuickCheck to check equations beyond those that could be done by hand

Page: 2 9 16 23 30 37 44 51 58 65 72 79 86 93 100 107 114 121 128 135 142 

IrcArchive

NY Lost Funds