# HG changeset patch # User HackBot # Date 1362536173 0 # Node ID 85ced8af603625883958ba605e3929127baff24e # Parent fe6ee05f223ca66cf666b04414b8dfec93c78df8 pastelogs shachaf diff -r fe6ee05f223c -r 85ced8af6036 paste/paste.22268 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/paste/paste.22268 Wed Mar 06 02:16:13 2013 +0000 @@ -0,0 +1,301 @@ +2008-06-21.txt:21:41:06: -!- shachaf has joined #esoteric. +2008-06-23.txt:12:04:35: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). +2008-06-23.txt:12:10:06: -!- shachaf has joined #esoteric. +2008-06-23.txt:12:22:52: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). +2008-06-23.txt:12:23:09: -!- shachaf has joined #esoteric. +2008-06-23.txt:13:04:00: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). +2008-06-23.txt:13:07:20: -!- shachaf has joined #esoteric. +2008-06-25.txt:02:40:50: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). +2008-06-25.txt:02:41:20: -!- shachaf has joined #esoteric. +2008-06-25.txt:05:13:32: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). +2008-06-25.txt:05:13:52: -!- shachaf has joined #esoteric. +2008-06-25.txt:18:02:00: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). +2008-06-25.txt:18:02:35: -!- shachaf has joined #esoteric. +2008-06-25.txt:18:03:13: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). +2008-06-25.txt:18:03:38: -!- shachaf has joined #esoteric. +2008-06-27.txt:08:35:04: -!- shachaf has quit (Remote closed the connection). +2008-06-27.txt:08:35:09: -!- shachaf has joined #esoteric. +2008-06-27.txt:18:03:06: AAA_AAA ais523 AnMaster atsampson augur bsmntbombdood cctoide cherez clog Corun Deewiant Dewi fizzie ihope Ilari jamesstanley Judofyr lament lifthras1ir mtve oklopol Polar puzzlet RodgerTheGreat sebbu sekhmet Sgeo shachaf SimonRC Slereah_ timotiis tusho +2008-07-01.txt:08:38:09: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). +2008-07-01.txt:08:39:08: -!- shachaf has joined #esoteric. +2008-07-10.txt:13:05:34: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). +2008-07-10.txt:13:08:22: -!- shachaf has joined #esoteric. +2008-07-11.txt:06:12:16: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). +2008-07-11.txt:06:18:28: -!- shachaf has joined #esoteric. +2008-07-20.txt:20:12:32: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). +2008-07-20.txt:20:13:31: -!- shachaf has joined #esoteric. +2008-07-23.txt:23:06:01: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). +2008-07-23.txt:23:06:11: -!- shachaf has joined #esoteric. +2008-07-30.txt:00:38:44: -!- shachaf has quit (Read error: 104 (Connection reset by peer)). +2008-07-30.txt:00:38:46: -!- shachaf has joined #esoteric. +2008-07-31.txt:12:07:16: -!- shachaf has quit (Read error: 104 (Connection reset by peer)). +2008-07-31.txt:12:07:20: -!- shachaf has joined #esoteric. +2008-08-05.txt:16:54:11: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). +2008-08-05.txt:17:03:12: -!- shachaf has joined #esoteric. +2008-08-06.txt:15:34:41: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). +2008-08-06.txt:15:39:32: -!- shachaf has joined #esoteric. +2008-08-08.txt:23:46:19: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). +2008-08-08.txt:23:48:43: -!- shachaf has joined #esoteric. +2008-08-09.txt:10:06:29: -!- shachaf has quit (Read error: 104 (Connection reset by peer)). +2008-08-23.txt:20:29:13: -!- shachaf has joined #esoteric. +2008-09-04.txt:07:19:47: -!- shachaf has quit (Remote closed the connection). +2011-01-04.txt:16:25:35: -!- shachaf has joined #esoteric. +2011-01-04.txt:16:27:32: Relax, people. I deal with esoteric languages all the time. +2011-01-04.txt:16:27:46: Today I'll probably be doing something with C++, for instance. +2011-01-04.txt:16:28:07: shachaf: seconded +2011-01-04.txt:16:28:45: Cale: What, lambdabot doesn't support hot reloading of the startup code? :-) +2011-01-04.txt:16:28:57: elliott: Was that bug fixed? +2011-01-04.txt:16:29:08: shachaf: What bug? +2011-01-04.txt:16:29:19: ?where+ bug ?where haskell +2011-01-04.txt:16:29:27: Wait, she's not even in here. +2011-01-04.txt:16:29:40: shachaf: I doubt she responds to herself. +2011-01-04.txt:16:29:48: shachaf: But, er, if that works then yes, there is slight cause for concern. +2011-01-04.txt:16:29:54: elliott: Yes, you need two lambdabots for that to work. +2011-01-04.txt:16:30:07: shachaf: Say hello to EgoBot, HackEgo, and fungot. +2011-01-04.txt:16:30:28: shachaf: It was a different change I wanted to make (the flags for running mueval) +2011-01-04.txt:16:30:37: Cale: Ah. +2011-01-04.txt:16:31:36: @unlambda `.xv +2011-01-04.txt:16:31:46: Ah, lambadbot belongs here after all. +2011-01-04.txt:16:31:57: shachaf, how so? +2011-01-04.txt:16:32:07: Vorpal: Well, @bf and @unlambda. +2011-01-04.txt:16:32:14: Maybe that's not esoteric enough for this channel, though. +2011-01-04.txt:16:32:14: shachaf, right +2011-01-04.txt:16:32:26: shachaf: EgoBot already does those! :-P +2011-01-04.txt:16:32:26: > text "hello" +2011-01-04.txt:16:32:41: Cale: mueval is broken. +2011-01-04.txt:16:32:54: shachaf: So is the Brainfuck 8-bit, 16-bit, bignum? Left-infinite or right-infinite tape? What EOF convention? (Any input?) +2011-01-04.txt:16:33:05: @version +2011-01-04.txt:16:33:06: shachaf: Do c and d interact properly in the Unlambda? +2011-01-04.txt:16:33:23: Clearly lambdabot should support Lazy K instead of unlambda. +2011-01-04.txt:16:33:30: shachaf: I approve. +2011-01-04.txt:16:35:32: elliott: In the main directory. +2011-01-04.txt:16:36:42: It should support http://samuelhughes.com/boof/ +2011-01-04.txt:16:37:00: shachaf: It should support every language on http://esolangs.org/wiki/Language_list. +2011-01-04.txt:16:37:10: shachaf: But especially http://esolangs.org/wiki/Brainfuck/w/index.php%3Ftitle%3DTalk:Brainfuck/index.php. +2011-01-04.txt:16:37:10: Phantom_Hoover: What do you mean? +2011-01-04.txt:16:37:16: shachaf, note that a fair deal of those languages are not computable. +2011-01-04.txt:16:37:35: Phantom_Hoover: The latter is an alias for the former, as far as I can tell. +2011-01-04.txt:16:37:45: shachaf, Sam Hughes of qntm.org. +2011-01-04.txt:16:37:55: Phantom_Hoover: No, it's "the other" Sam Hughes. +2011-01-04.txt:16:38:29: Ha! +2011-01-04.txt:16:38:33: We've caught you. +2011-01-04.txt:16:38:56: Like Java? +2011-01-04.txt:16:38:59: How esoteric. +2011-01-04.txt:16:39:12: shachaf: Oh man, that's as funny as that one time someone called Perl line noise! +2011-01-04.txt:16:39:16: shachaf, we have a well-established boundary between "esoteric" and "boring". +2011-01-04.txt:16:39:18: shachaf: Actually we discuss like a lot of various things in this channel, although esoteric programming is its main topic. +2011-01-04.txt:16:40:34: shachaf: Really though, our favourite esoteric language, so theoretical and academic to be almost useless, yet so beautiful in its purity that it's almost a shame that it's impossible to write real programs in it... +2011-01-04.txt:16:40:37: shachaf: Haskell. +2011-01-04.txt:16:41:11: elliott: Why? I doubt most of #haskell would seriously disagree with you. +2011-01-04.txt:16:41:27: Maybe dons and the other Galois folks. +2011-01-04.txt:16:41:59: Phantom_Hoover: Well, as far as languages that *try* to be theoretically pure, Haskell probably ranks pretty badly. +2011-01-04.txt:16:42:43: Is there any language that uses FRP in any meaningful way? +2011-01-04.txt:16:42:52: shachaf: Conalskell! +2011-01-04.txt:16:43:06: elliott: Is "elliott" /= "elliottt"? +2011-01-04.txt:16:43:17: shachaf: Yes indeed. +2011-01-04.txt:16:43:27: shachaf: In fact I have talked to elliottt before I believe. Quite confusing. +2011-01-04.txt:16:43:49: Ah, you're ehird. OK. +2011-01-04.txt:16:46:16: This channel seems like such a time-waster. +2011-01-04.txt:16:46:25: * shachaf doesn't play Minecraft, though. +2011-01-04.txt:16:46:35: So presumably when you show your true colors it'll subside. +2011-01-04.txt:16:47:43: shachaf: That is, until you start playing. +2011-01-04.txt:16:59:59: 08:59 < Khaos> !pom +2011-01-04.txt:16:59:59: 08:59 < Rodney> The Moon is New. New moon in NetHack for the next 3 days. +2011-01-04.txt:17:00:06: lambdabot needs to get this functionality. +2011-01-04.txt:17:00:38: shachaf: psht, soon you will ascend from nethack to playing dwarf fortress. then you'll descend from playing dwarf fortress to lego^Wminecraft. +2011-01-04.txt:17:01:10: elliott: Dwarf Fortress? Minecraft? What about your liberty? +2011-01-04.txt:17:01:27: shachaf: NetHack takes away the liberty referred to as "free time" +2011-01-04.txt:17:02:39: elliott: Dwarf Fortress doesn't provide the source code. Minecraft doesn't even provide the binary without payment. +2011-01-04.txt:17:02:55: shachaf: And NetHack doesn't provide free time. +2011-01-04.txt:17:03:20: elliott: Look, in this comparison you're not gaining anything by saying that one of them takes away your free time. +2011-01-04.txt:17:03:29: That's considered an invariant. +2011-01-04.txt:17:03:39: shachaf: I'm not actually being serious +2011-01-04.txt:17:04:06: * shachaf isn't completely either. +2011-01-04.txt:17:04:20: I had more or less stopped with NetHack until two people independently tried to get me to start again. +2011-01-04.txt:17:04:24: * shachaf sighs. +2011-01-04.txt:17:04:57: * shachaf vanishes in a puff of orange smoke. +2011-02-09.txt:04:04:58: -!- shachaf has quit (*.net *.split). +2011-02-09.txt:04:05:45: -!- shachaf has joined #esoteric. +2011-02-09.txt:04:18:40: For your information, I have received TIME responses from the following: nddylliog,fizzie,Sgeo,joo,sebbu,Zuu,clog,taotree,pingveno,copumpkin,Slereah,Leonidas,ineiros,variable,quintopia,Mannerisky,aloril,dbc,Deewiant,jix,poiuy_qwert,cal153,fizzie,SimonRC,olsner,miekko,mycroftiv,pikhq_,shachaf,tswett,Gregor,Gregor,lifthrasiir +2011-02-09.txt:18:10:20: -!- shachaf has quit (Ping timeout: 272 seconds). +2011-02-09.txt:18:14:27: -!- shachaf has joined #esoteric. +2011-02-11.txt:03:08:54: -!- shachaf has quit (*.net *.split). +2011-02-11.txt:03:39:37: -!- shachaf has joined #esoteric. +2011-02-11.txt:14:53:06: -!- shachaf has quit (*.net *.split). +2011-02-11.txt:15:00:14: -!- shachaf has joined #esoteric. +2011-02-15.txt:17:31:35: -!- shachaf has quit (*.net *.split). +2011-02-15.txt:17:45:40: -!- shachaf has joined #esoteric. +2011-02-15.txt:17:46:12: -!- shachaf has quit (*.net *.split). +2011-02-15.txt:17:48:23: -!- shachaf has joined #esoteric. +2011-02-19.txt:03:46:29: I received notice from: fizzie,Sgeo,Leonidas,sebbu2,olsner,variable,dbc,yiyus,clog,elliott_,coppro,Mannerisky,comex_,Gregor,ineiros_,pikhq_,aloril,fizzie,yorick,Gregor,oerjan,tswett,shachaf,mycroftiv,Deewiant,quintopia,SimonRC,Zuu,lifthrasiir,pingveno,Zwaarddijk,jix_,copumpkin. I did receive twice from some +2011-02-19.txt:03:56:04: Is zzo38's bug-everybody mode strictly necessary? +2011-02-19.txt:03:56:25: shachaf: I don't know. +2011-02-19.txt:03:56:37: shachaf: apparently. +2011-02-21.txt:02:21:47: Prelude> length . words $ "pikhq Zuu augur elliott cheater- Wamanuz5 oerjan Sgeo sebbu Mathnerd314 fungot copumpkin coppro variable HackEgo tswett_ aloril jix pingveno mtve cal153 Gregor Mannerisky sftp lambdabot quintopia clog Slereah jcp rodgort Ilari ineiros_ comex_ SimonRC shachaf Deewiant Zwaarddijk dbc Leonidas fizzie Vorpal olsner yiyus EgoBot myndzi lifthrasiir Ilari_antrcomp mycroftiv" +2011-02-22.txt:20:35:21: -!- shachaf has quit (*.net *.split). +2011-02-22.txt:20:37:05: -!- shachaf has joined #esoteric. +2011-03-02.txt:23:52:54: -!- shachaf has quit (Ping timeout: 272 seconds). +2011-03-02.txt:23:53:00: -!- shachaf has joined #esoteric. +2011-03-03.txt:17:39:07: -!- shachaf has quit (Ping timeout: 250 seconds). +2011-03-03.txt:17:39:33: -!- shachaf has joined #esoteric. +2011-03-12.txt:03:04:47: -!- shachaf has quit (Remote host closed the connection). +2011-03-12.txt:03:28:32: -!- shachaf has joined #esoteric. +2011-03-14.txt:05:54:59: -!- shachaf has quit (*.net *.split). +2011-03-14.txt:06:15:54: -!- shachaf has joined #esoteric. +2011-03-19.txt:23:37:36: Phantom_Hoover: What is she doing in #esoteric? Is this your doing too? +2011-03-19.txt:23:37:44: Haskell does not qualify as esoteric. +2011-03-19.txt:23:51:32: Phantom_Hoover: Take that. +2011-03-19.txt:23:51:40: * shachaf shouldn't abuse lambdabot bugs, actually. +2011-03-19.txt:23:52:04: shachaf, I HAVE POWERS BEYOND YOVR IMAGINING +2011-03-20.txt:00:14:36: pikhq_: 17. +2011-03-20.txt:00:14:57: No, 16. +2011-03-29.txt:02:59:55: -!- shachaf has quit (*.net *.split). +2011-03-29.txt:03:20:32: -!- shachaf has joined #esoteric. +2011-04-04.txt:08:20:39: -!- shachaf_ has joined #esoteric. +2011-04-04.txt:08:21:34: -!- shachaf has quit (Disconnected by services). +2011-04-04.txt:08:21:41: -!- shachaf_ is now known as shachaf. +2011-04-04.txt:11:00:28: -!- shachaf has quit (Ping timeout: 258 seconds). +2011-04-04.txt:11:00:58: -!- shachaf has joined #esoteric. +2011-04-07.txt:02:03:06: -!- shachaf has quit (*.net *.split). +2011-04-07.txt:02:03:36: -!- shachaf has joined #esoteric. +2011-04-08.txt:13:44:19: <{aloril, bsmntbombdood, dbc, enki-[quit], iamcal, jcp, jix, lifthrasiir, mtve, mycroftiv, pingveno, rodgort, sebbu, sftp, shachaf, SimonRC, yiyus, Zwaarddijk}> ANYTHING AT ALL +2011-04-19.txt:03:37:16: -!- shachaf has quit (Ping timeout: 246 seconds). +2011-04-19.txt:03:38:17: -!- shachaf has joined #esoteric. +2011-04-19.txt:11:58:50: -!- shachaf has quit (*.net *.split). +2011-04-19.txt:12:01:48: -!- shachaf has joined #esoteric. +2011-05-26.txt:07:34:17: > fix ((1:).scanl(+)1) -- This? +2011-05-26.txt:07:34:44: Patashu: Fixed-point combinator. fix f = f (fix f) +2011-05-26.txt:07:35:35: oerjan: What ar eyou doing in this channel instead of #haskell? :-) +2011-05-28.txt:07:04:27: -!- shachaf has quit (Ping timeout: 248 seconds). +2011-05-28.txt:07:13:02: -!- shachaf has joined #esoteric. +2011-05-30.txt:20:25:57: -!- shachaf_ has joined #esoteric. +2011-05-30.txt:20:29:04: -!- shachaf has quit (Disconnected by services). +2011-05-30.txt:20:29:09: -!- shachaf_ is now known as shachaf. +2011-05-31.txt:20:18:08: -!- shachaf_ has joined #esoteric. +2011-05-31.txt:20:24:00: -!- shachaf_ has quit (Remote host closed the connection). +2011-05-31.txt:21:11:04: -!- shachaf has quit (Remote host closed the connection). +2011-05-31.txt:21:12:17: -!- shachaf has joined #esoteric. +2011-06-10.txt:02:28:13: -!- shachaf has quit (Remote host closed the connection). +2011-06-10.txt:03:36:38: -!- shachaf has joined #esoteric. +2011-06-12.txt:07:44:36: -!- shachaf has joined #esoteric. +2011-06-12.txt:07:45:09: -!- shachaf has quit (Max SendQ exceeded). +2011-06-12.txt:07:45:31: -!- shachaf has joined #esoteric. +2011-07-03.txt:09:36:43: -!- shachaf has quit (Ping timeout: 260 seconds). +2011-07-03.txt:12:35:34: -!- shachaf has joined #esoteric. +2011-07-12.txt:09:15:22: -!- shachaf has quit (Read error: Operation timed out). +2011-07-12.txt:19:34:34: -!- shachaf has joined #esoteric. +2011-07-16.txt:19:34:54: -!- shachaf has quit (Read error: Connection reset by peer). +2011-07-16.txt:19:34:58: -!- shachaf has joined #esoteric. +2011-07-21.txt:00:46:14: copumpkin: shachaf: do any of you have any idea why this differs? +2011-07-21.txt:00:46:42: oerjan: That's kind of weird. +2011-07-21.txt:00:47:16: > error `id` error "foo" +2011-07-21.txt:00:47:38: > id error (error "foo") +2011-07-21.txt:00:47:46: > error (error "foo") +2011-07-21.txt:00:48:02: > (let x = error in x) (error "foo") +2011-07-21.txt:00:48:13: > (let x = error in x `seq` x) (error "foo") +2011-07-21.txt:00:48:19: > (let x = error in id x) (error "foo") +2011-07-21.txt:00:48:26: Exciting. +2011-07-21.txt:00:54:56: So GHC knows that error is strict, but not that id error is? +2011-07-21.txt:00:55:00: Makes sense, I guess. +2011-07-21.txt:00:55:30: > id error (error "foo") +2011-07-21.txt:00:55:33: > error (error "foo") +2011-07-22.txt:10:29:58: -!- shachaf has quit (Remote host closed the connection). +2011-07-22.txt:11:46:18: -!- shachaf has joined #esoteric. +2011-07-31.txt:20:04:04: -!- shachaf has quit (Ping timeout: 252 seconds). +2011-07-31.txt:20:06:34: -!- shachaf has joined #esoteric. +2011-08-01.txt:17:26:32: -!- shachaf has quit (Ping timeout: 240 seconds). +2011-08-01.txt:17:38:44: -!- shachaf has joined #esoteric. +2011-08-07.txt:07:36:34: It depends on what "break" means, I suppose. +2011-08-07.txt:07:36:57: I doubt treating something as a Word8 would segfault. +2011-08-08.txt:19:42:00: Rank-2 types ruin everything. +2011-08-08.txt:19:42:18: > runST (return True) +2011-08-08.txt:19:42:20: > id runST (return True) +2011-08-08.txt:19:42:26: > let x = id runST in x (return True) +2011-08-08.txt:19:43:35: $ is also not equivalent to parentheses on the type level. +2011-08-08.txt:19:43:41: Fortunately you can say type a :$ b = a b +2011-08-08.txt:19:44:02: Battle-hardened types that have been promoted. +2011-08-08.txt:19:46:23: Up to RANK OMEGA. +2011-08-08.txt:19:46:32: * shachaf needs sleep. +2011-08-13.txt:02:18:07: "hash"-haskell? +2011-08-13.txt:02:18:16: shachaf: Shut up my number keys are broken. +2011-08-13.txt:02:18:18: oerjan: Sure you can. +2011-08-13.txt:02:18:30: shachaf: How? +2011-08-13.txt:02:18:36: Well, OK, you can't. +2011-08-13.txt:02:18:38: shachaf: elliott has a long-standing keyboard problem +2011-08-13.txt:02:18:56: > mаp 1 2 +2011-08-13.txt:02:19:08: shachaf, how was that done? =p +2011-08-13.txt:02:19:15: You can't @let type classes or data types in lambdabot, sadly. :-( +2011-08-13.txt:02:19:32: * shachaf never thought of pronouncing it as "hash". Weird. +2011-08-13.txt:02:20:12: Er, actually, now that I think of it, I say "sulamit haskell". +2011-08-13.txt:02:20:22: shachaf: wat +2011-08-13.txt:02:20:39: I guess "hash" kind of makes sense. Though it has too many meanings. +2011-08-13.txt:02:21:06: shachaf will take his secrets to the grave. +2011-08-13.txt:02:21:13: shachaf: I say octothorpe when I'm not being informal +2011-08-13.txt:02:21:18: elliott: Which secrets? +2011-08-13.txt:02:21:39: shachaf: How to do a ?let like that +2011-08-13.txt:02:21:39: > mаp (\x -> x) -> [1,2,3,4] +2011-08-13.txt:02:21:47: elliott: Like what? +2011-08-13.txt:02:21:51: > mаp (\x -> x) [1,2,3,4] +2011-08-13.txt:02:21:54: shachaf: Bypassing the ambiguity +2011-08-13.txt:02:22:05: Well, OK, you can't. +2011-08-13.txt:02:22:17: elliott: Like, whoa, man, you're, like, the same elliott as the one in #haskell. +2011-08-13.txt:02:22:20: > mаp 1 2 +2011-08-13.txt:02:22:24: Same number of 't's. +2011-08-13.txt:02:22:26: shachaf: Whoaaaaaaaaaaa. +2011-08-13.txt:02:22:31: shachaf: I'm not that elliottt guy though. +2011-08-13.txt:02:22:32: Lymee: By typing it in. +2011-08-13.txt:02:22:45: Maybe you're conal elliottt? +2011-08-13.txt:02:23:09: elliott: Oh, he came to #haskell once and saw elliottt and was very happy. +2011-08-13.txt:02:23:17: shachaf: Who, elliottcable? +2011-08-13.txt:02:23:23: elliott: I think so. +2011-08-13.txt:02:24:07: > (еlliott, elliott) +2011-08-13.txt:02:24:47: shachaf: i think i've got a hunch there :P +2011-08-13.txt:02:25:01: oerjan spoils everything. +2011-08-13.txt:02:25:19: Lymee: i just cut and pasted shachaf's line. i think it has invisible chars +2011-08-13.txt:02:25:35: oerjan: NOpe. +2011-08-13.txt:02:27:00: Lymee: You really abuse it, don't you. @define, @undefine, @undefine foo, and so on all reset the entire L.hs file. +2011-08-13.txt:02:27:14: shachaf: Not that there's much other choice +2011-08-13.txt:02:27:42: There is no invisible character! +2011-08-15.txt:02:31:17: No, it's a non-exhaustive patterns problem. +2011-08-15.txt:02:31:57: ? +2011-08-15.txt:02:32:00: * shachaf can't parse that sentence. +2011-08-15.txt:02:32:19: Nor that one. +2011-08-15.txt:02:32:36: If you define a function like "foo (Just x) = x", and then you call it with Nothing, that's a non-exhaustive pattern. +2011-08-15.txt:02:32:43: You don't define what foo of Nothing is. +2011-08-15.txt:02:32:55: Oh. +2011-08-15.txt:02:33:13: I thought this was a Haskell program. +2011-08-15.txt:02:33:39: So the interpreter is broken. +2011-08-15.txt:02:34:42: Non-exhaustive patterns means that the Haskell program doesn't take some possibility into account. +2011-08-15.txt:02:35:46: Like http://www.samuelhughes.com/boof/index.html ? +2011-08-15.txt:07:30:50: @ahoy Taneb +2011-08-15.txt:23:50:10: More like >>=, no? +2011-08-15.txt:23:50:20: Well, it depends. +2011-08-15.txt:23:51:54: http://okmij.org/ftp/Computation/monadic-shell.html +2011-08-19.txt:01:36:36: augur: lament used to be in #haskell, at least. +2011-08-19.txt:07:15:40: NihilistDandy: Why are you asking? +2011-08-19.txt:07:15:47: shachaf: itidus20: I'm sort of familiar with it, but I'd like something more rigorous +2011-08-19.txt:07:15:57: shachaf: oh your question asking method is so elegant +2011-08-19.txt:18:29:27: -!- shachaf_ has joined #esoteric. +2011-08-19.txt:18:37:23: -!- shachaf has quit (*.net *.split). +2011-08-19.txt:21:45:48: -!- shachaf_ is now known as shachaf. +2011-08-20.txt:07:18:38: evincar: You don't need to call it "monads" unless you generalize it like Haskell does. +2011-08-20.txt:07:18:49: shachaf: Why wouldn't I generalise it? +2011-08-20.txt:07:19:26: Well, sure. +2011-08-20.txt:12:46:57: An old Visual Basic program ported to Haskell, I believe. +2011-08-20.txt:12:47:22: Just some regexp matches with a bit of randomness, or something of the sort. +2011-08-21.txt:14:04:15: elliott: Don't worry, you'll die by the time you're 32. +2011-08-21.txt:14:04:33: shachaf: OK, who stored my age in an unsigned five-bit integer? +2011-08-21.txt:14:04:50: It was actually a signed six-bit integer. +2011-08-21.txt:14:05:22: No, he'll die. +2011-08-21.txt:14:06:10: You deserve it. +2011-08-21.txt:14:06:21: I think there was a song that said that. +2011-08-21.txt:14:06:38: shachaf: Thanks for the CTCPs +2011-08-22.txt:05:45:17: aloril atehwa_ augur augur chickenzilla clog GreaseMonkey iamcal ineiros jcp jcp|other jix lifthrasiir mycroftiv myndzi rodgort sebbu shachaf SimonRC variable twice11 Wamanuz yiyus yorick Zwaarddijk: sup +2011-08-22.txt:05:56:46: @slap CakeProphet +2011-08-23.txt:01:24:15: No. +2011-08-23.txt:01:26:19: getArgs also might not have "--interactive". +2011-08-23.txt:01:26:27: Or it might not be in the first position. +2011-08-23.txt:01:26:41: It might give you an empty list, in which case your program will crash. :-) +2011-08-23.txt:01:28:21: shachaf: Out of curiosity, when would --interact not be in getArgs using GHCi? +2011-08-23.txt:01:28:54: elliott_: Well, when I run ghci and type getArgs, it prints out []. +[too many lines; stopping]