00:00:00 --- log: started haskell/02.02.16 02:03:48 weird email that hit the haskell mailing list 02:05:10 hmm, yes 02:05:39 my first reaction is "he's trying to drum up a holy war so he can get free programmers" 02:05:54 I'm not quite sure what he's on about 02:07:11 goood morning Heffalump! 02:07:18 morning :-) 02:07:22 what's up? 02:08:06 not much 02:09:35 work is distracting me from fun code :-/ 02:10:40 :( 02:13:22 oh hey 02:13:28 I was going to ask you about those debs 02:13:45 some weeks ago you said you have HOpenGL debs 02:13:52 and that they're 200MB or something 02:14:08 if you don't mind sharing them, I'd love to try them out. 02:14:42 oh, sure 02:14:48 * Heffalump tries to remember where he put them 02:15:02 I haven't tested them at all 02:16:29 I can test them. 02:16:34 did you build them for debian/sid? 02:16:52 woody 02:16:55 oh 02:16:56 Oh. I was a factor of 10 out 02:16:59 they're only 20M :-) 02:17:06 http://munchkin.comlab.ox.ac.uk/~ganesh/for_shapr/ 02:17:10 w00 02:17:25 * Heffalump . o O ( call myself a mathematician... ) 02:17:26 * shapr slurps 02:17:55 I didn't bump any version numbers or anything 02:21:14 * shapr bounces happily 02:21:28 do they work then? 02:21:40 I don't know yet 02:21:51 I only have a 256k connection at home. 02:22:05 and I really shouldn't play with them at all before mondey 02:22:08 mondey 02:22:08 :-) 02:22:10 ack 02:22:13 mondAy 02:22:49 oh I saw your name online recently, attached to an IP paper. 02:22:56 I think on lambda.weblogs.com 02:25:22 which paper? 02:26:03 I forget the title. 02:26:23 * shapr looks 02:28:23 * shapr finds a really big picture of Heffalump 02:28:50 eeek! 02:28:56 which one? :-) 02:29:28 http://www.ox.compsoc.net/~ganesh/ 02:29:30 ;) 02:29:41 ah. 02:29:51 :-0 02:29:54 s/0/)/ 02:30:01 is that anywhere close to recent? 02:30:12 the one with the train isn't :-) 02:30:22 the other two are about 3 years old 02:30:45 heh 02:30:55 I kind of guessed the train wasn't so recent 02:31:46 it looks like your early passion for lego finally found full expression in functional programming. 02:32:11 hrrm :-) 02:33:07 --- nick: shapr -> world 02:33:14 hello 02:33:21 --- nick: world -> shapr 02:43:24 --- join: ChoJin (~ask@cha213245038031.chello.fr) joined #haskell 02:46:54 hi ChoJin 03:08:52 * shapr moxes fruvously 03:08:59 hi 03:09:31 --- join: snark (joern@pC19F7517.dip.t-dialin.net) joined #haskell 03:09:39 hi snark 03:09:48 Heh. 03:09:54 frabjous, totally frabjous. 03:09:59 calloh callay 03:10:06 er, "calooh" 03:10:14 hi Logan 03:10:32 Hi shapr. 03:11:00 --- part: snark left #haskell 03:11:40 well 03:11:51 I guess my frabjousness scared him off 06:24:14 --- join: Yurik (~yrashk@gw.telcos.net.ua) joined #haskell 06:24:29 re 06:25:09 'lo 07:06:18 I sometimes wish Zope were written in Haskell 07:06:37 I keep trying to write code as if it were 07:09:04 --- quit: Yurik (Connection timed out) 07:13:16 when a line of code starts like this: map(reduce(filter(map( 07:13:22 you know it's time to clean it up 07:15:44 use some $ signs 07:15:49 ok... filter runs one 'verb' across many 'nouns' 07:16:01 but if I want to run many 'nouns' across one 'verb' 07:16:10 * shapr probably needs to take a break 07:16:29 Heffalump: I'm writing Python code but thinking in Haskell, that's why my head is exploding ;) 07:17:09 ah :-) 07:17:23 but if I can figure it out in Haskell, I can probably write it in Python 07:17:33 so... 07:17:42 how would I run filter the other way? 07:18:01 I don't understand what you mean 07:18:12 if I have five conditions 07:18:15 do you want to use lots of functions on one element? 07:18:18 right! 07:18:51 and what do you want to do with the results? 07:18:55 just like filter 07:18:58 return true or false 07:19:11 but filter gives you a list of the things which true was returned on 07:19:19 in this case, the thing will always be the same 07:19:37 basically, I have a list of items, I have a list of conditions. 07:19:46 I only want the items which satisfy all conditions. 07:20:02 hmm 07:20:20 could I use a cartesian product of filter? 07:20:47 foldr filter xs fs 07:21:12 * shapr thinks about that 07:29:37 you can also use something like (f /\ g) x = f x && g x to combine the conditions 07:30:52 yes 07:31:14 --- join: Yurik (~yrashk@gw.telcos.net.ua) joined #haskell 07:33:29 what does (f /\ g) do? 07:33:47 "(f /\ g) x = f x && g x" defines it 07:34:32 oh :) 07:34:45 then you can do "filter (cond1 /\ cond2 /\ cond3) lst" 07:35:08 or filter (foldr (/\) (const True) conds) lst 07:35:16 if you don't know how many there'll be in advance 07:35:44 hm, nifty 07:36:13 * Heffalump thinks his solution is shorter :-) 07:36:17 my original one that is 07:36:48 but the other one might be more space efficient 07:36:57 or at least give the GC less work to do 07:43:53 man I wish I had partial function resolution in Python 08:27:56 --- quit: shapr (Remote closed the connection) 09:50:23 --- join: jewel (~jleuner@212.17.37.130) joined #haskell 12:50:27 Can you do partial function resolution in scheme? 12:51:15 Oh, I guess with eval and quoting. 12:54:41 do you mean partial application? 13:03:06 * Logan nods. 13:03:14 I was mimicking shapr's word earlier. 13:03:15 :P 13:03:56 you can do partial application in both scheme and python. it's just cumbersome 13:17:52 --- quit: jewel ("new fs") 14:05:13 --- quit: kepler_ (Read error: 110 (Connection timed out)) 14:35:33 --- join: jewel (~jleuner@212.17.37.130) joined #haskell 15:42:57 --- quit: Yurik (Read error: 113 (No route to host)) 15:44:03 --- join: Yurik_ (~yrashk@gw.telcos.net.ua) joined #haskell 15:44:44 --- nick: Yurik_ -> Yurik 16:25:54 --- join: Yurik_ (~yrashk@gw.telcos.net.ua) joined #haskell 16:28:37 --- quit: Yurik (No route to host) 16:33:55 --- quit: ChoJin ("bye !!!") 16:34:26 --- nick: Yurik_ -> Yurik 17:31:17 --- join: kepler (~kepler@user-vcauhes.dsl.mindspring.com) joined #haskell 17:37:40 --- quit: Yurik ("need to restart X") 17:38:00 --- join: kepler_ (~kepler@user-vcaugoc.dsl.mindspring.com) joined #haskell 17:40:24 --- join: Yurik (~yrashk@gw.telcos.net.ua) joined #haskell 17:51:07 --- quit: kepler (Read error: 110 (Connection timed out)) 18:10:38 --- nick: Yurik -> Yurik[away] 18:15:46 --- nick: Yurik[away] -> Yurik 18:58:51 --- nick: Yurik -> Yurik[away] 19:46:52 --- quit: kepler_ (Remote closed the connection) 23:59:59 --- log: ended haskell/02.02.16