00:00:00 --- log: started haskell/02.03.22 00:54:48 --- join: ChoJin (~ask@cha213245038031.chello.fr) joined #haskell 00:58:47 --- join: gene9 (~andrey@194.158.216.93) joined #haskell 01:04:49 * shapr awakens 01:04:57 g'morning fokes 01:05:03 seen The Light? 01:05:25 clausen: yes, now I have shades. 01:06:02 woooow 01:06:09 ? 01:06:30 hmmm, postgres or mysql? 01:06:34 which is better for learning? 01:06:44 mysql isn't that good imho 01:06:50 postgres is a realy database 01:06:53 er, "real" 01:07:07 that was my impression too 01:07:28 I'd suggest learning postgres, and only enough mysql to port existing apps from mysql to postgres 01:07:29 * clausen thinks haskell's list comprehensions would be a cool way of doing databases 01:07:42 I'm only learning from theoretical interest 01:07:44 actually, someone wrote a SQL interface in haskell 01:07:47 ("how does the real world work?) 01:07:53 but you don't need any haskell... 01:07:55 can you do list comprehensions?! 01:07:59 er, don't need any SQL, sorry 01:08:04 I'm just waking up :) 01:08:07 ;) 01:08:19 * clausen suspects not 01:08:27 that would require translating haskell to SQL 01:08:40 (since you want the request to execute on the server) 01:09:01 right 01:09:04 and they do that 01:09:13 in a very spiffy manner 01:09:16 ?! 01:09:26 that's scary! 01:09:33 and it's very cool too 01:09:40 * clausen wonders how they deal with lazy evaluation, etc. 01:10:48 * Yurik is away: I'm busy 01:10:59 * Yurik is away: I'm busy 01:11:16 * Yurik is back 01:16:01 --- quit: ADEpt_ (Read error: 110 (Connection timed out)) 01:18:45 bit messy for my liking 01:19:10 ROFL: high-order typed == "HOT" 01:26:28 --- quit: gene9 (Read error: 110 (Connection timed out)) 01:27:36 shapr: who did that? 01:27:44 (the Haskell to SQL translation) 01:28:16 www.google.com :p 01:34:52 errm... :-) 01:53:04 oh did anyone find it again? 01:55:37 http://haskell.cs.yale.edu/haskellDB/doc.html 01:55:45 oh, that's were clausen got the HOT quote 01:55:52 specific embedded compiler that dynamically generates of SQL queries from monad comprehensions 01:56:46 clausen: well, you asked for it :) 02:18:14 --- quit: ChoJin ("bye !!!") 02:41:36 --- quit: jlb (Read error: 113 (No route to host)) 04:50:41 --- quit: clausen ("send all money to /dev/clausen") 04:50:48 --- join: Vutra_ (~ss@212.169.153.187) joined #haskell 04:52:15 --- quit: Vutra_ (Client Quit) 04:53:00 --- join: Vutral (~ss@212.169.153.187) joined #haskell 04:56:03 --- part: rik left #haskell 05:50:09 wheee 06:01:35 --- part: Vutral left #haskell 06:13:13 hello everyone 06:17:52 shapr: hi 06:18:48 hello Yurik! 06:40:40 --- join: Muad_Dib (muaddib@cp102898-a.dbsch1.nb.nl.home.com) joined #haskell 06:52:51 --- join: smklsmkl (~sami@glubimox.yok.utu.fi) joined #haskell 06:54:08 --- quit: smkl (Read error: 104 (Connection reset by peer)) 07:20:48 --- join: jlb (~ktk@jeremeydsl-3.mylinuxisp.com) joined #haskell 07:33:45 --- quit: clog (^C) 07:33:45 --- log: stopped haskell/02.03.22 07:38:42 --- log: started haskell/02.03.22 07:38:42 --- join: clog (nef@bespin.org) joined #haskell 07:38:42 --- topic: 'Have a library you'd like to donate, or one you'd like to see? Talk to us at http://sf.net/projects/haskell-libs/ | we be loggin' http://tunes.org/~nef/logs/haskell/ | welcome to the Haskell Dojo | julien is up to white belt! jewel and shapr are up to green belt!' 07:38:42 --- topic: set by shapr on [Wed Jan 30 14:36:17 2002] 07:38:42 --- names: list (clog jlb smklsmkl Muad_Dib Heffalump shapr Yurik jens dennisb arete_ Jiriki Igloo jewel) 07:41:05 :P 07:41:24 who what which when? 07:42:22 nobody nothing never 07:44:03 that's ok then 07:44:59 is it? :P 07:51:37 u long time haskell coder? 07:53:41 a bit less than 4 years 07:55:54 --- nick: smklsmkl -> smkl 07:57:47 cool 08:20:29 hey guys 08:20:37 hi jewel 08:20:47 blah. I'm incompetent. Writing a simple functional language interpreter should be trivial. 08:20:49 Muad_Dib: you live in the desert? 08:21:03 Heffalump: what are you attempting? 08:21:11 hi jewel 08:21:28 hello 08:21:35 writing an interpreter for a very simple untyped call-by-name function language 08:21:36 what's up? 08:22:13 jewel, hehe 08:31:17 Heffalump: for fun? 08:31:24 no, work 08:35:16 to do what? 08:35:19 A simple interpretter or just a simple language? 08:35:35 both 08:35:42 to do what? 08:35:45 jewel: a strategy language for applying program transformations 08:35:52 cool 08:36:10 what kind of transformations? what kind of programs? 08:36:20 .NET IL programs 08:36:34 er, what is an IL program? 08:36:36 various kinds - tree rewrites, graph rewrites using prolog side-conditions 08:36:41 sort of like Java bytecode 08:40:52 But you're transforming programs ? Or are you transforming bytecode? 08:42:36 bytecode 08:49:57 well f00 08:50:07 this code doesn't compile 08:50:13 but bytecode programs are programs too! :-) 08:50:18 shapr: :( 08:51:08 Heffalump: mind if I paste the error? 08:51:29 sure 08:51:33 /home/shae/src/haskell/GKSuffixTree.hs:32: 08:51:34 Cannot unify the type-signature variable `alf' 08:51:34 with the type `[alf1]' 08:51:34 Expected type: alf -> alf -> STree alf 08:51:34 Inferred type: [alf1] -> [alf1] -> STree alf1 08:51:34 In the application `lazyTree edge_ast' 08:51:36 In the definition of `lazy_ast': lazyTree edge_ast 08:51:50 I can't figure out what's up with this. 08:51:57 let's see the code 08:52:14 http://purl.olg/net/shapr/GKSuffixTree.hs 08:52:18 it looks like you have a list where you meant to have a single element 08:52:25 I'm sure .olg isn't a valid TLD :-) 08:52:29 * Heffalump uses .org 08:52:39 oh, so it probably is a typo in my transcription from the paper 08:52:42 yes, .org it is ;) 08:53:13 (Heffalump: yes, they are, I'm using 'program' in the traditional 'source' sense) 08:53:33 one of the type signatures of lazy_ast and lazyTree must be wrong 08:53:48 unless lazy_ast is supposed to do some wrapping and unwrapping 08:53:53 well, I get the same error for all three of lazy_ast lazy_pst and lazy_cst 08:53:57 jewel: well, IL is so easy to decompile it might as well be source :- 08:53:57 ) 08:54:28 * shapr checks lazyTree again 08:54:46 from the definition, lazyTree seems right 08:55:14 since lazy_ast isn't actually used, you can change the type signature to fix the compilation problem with this module 08:55:23 whether that'll break other modules is a different matter 08:55:27 yah, it matches the source in the paper 08:55:39 lazy_ast :: (Eq alf) => [alf] -> [alf] -> STree alf 08:55:42 should fix the problem 08:56:29 doh 08:56:35 that's what the paper says! 08:56:39 oh :-) 08:56:45 for all three of those functions :) 08:57:02 you're good Heffalump ;) 08:57:10 I didn't even have to show you the paper... 08:57:17 thanks! 08:57:24 yay! it compiles! 08:57:26 * shapr bounces happily 08:57:33 now I get to play with it! 08:58:36 I strongly suspect I'm going to hack some of these type aliases into newtype calls so I can stick a Show on them 08:58:44 hm, maybe I can just derive it? 08:58:46 * shapr tries 08:59:04 you can't derive instances for type aliases 08:59:16 but you might be able to stick a deriving on the underlying type 08:59:35 hmm 09:01:11 Heffalump: does IL stand for 'intermediate language'? 09:01:25 yep 09:06:12 * shapr looks forward to Heffalump's first release of the java bytecode to IL bytecode compile 09:06:13 r 09:06:37 microsoft have done a Java to IL compiler, so you could just decompile Java bytecode to Java then run that 09:06:48 whoa, nifty :) 09:06:53 does it go the other way as well? 09:07:30 I don't know of any C# to JBC compilers 09:07:42 decompiling IL to C# isn't hard, though I haven't seen anything out there that actually gets it right yet 09:27:10 --- quit: Muad_Dib () 09:36:26 is that compiler available? 09:38:14 it's J# 09:38:24 I'm sure it's on their website somewhere 09:38:29 assuming you mean the Java to IL compiler 10:23:30 wheeeeeeeeeee 11:11:55 --- quit: arete_ (carter.openprojects.net irc.openprojects.net) 11:11:55 --- quit: Jiriki (carter.openprojects.net irc.openprojects.net) 11:17:31 --- join: arete_ (arete@greenland.spottedfly.com) joined #haskell 11:17:31 --- join: Jiriki (sjh@Sprint967.tbaytel.net) joined #haskell 11:26:31 --- join: Kuukumuuku (Kuukumuuku@e28a.mylly.jyu.fi) joined #haskell 11:27:14 --- part: Kuukumuuku left #haskell 12:12:26 --- join: xbill (wli@DOMINIA.MIT.EDU) joined #haskell 12:58:18 --- join: clausen (~andrew@c17997.eburwd3.vic.optusnet.com.au) joined #haskell 13:21:01 * Yurik is away: 5 min 13:25:39 * Yurik is back (gone 00:04:37) 13:27:09 --- quit: Yurik ("Client Exiting") 13:42:18 --- join: Muad_Dib (muaddib@cp102898-a.dbsch1.nb.nl.home.com) joined #haskell 13:54:02 --- join: gene9 (dna@194.158.215.210) joined #haskell 14:01:19 --- join: ChoJin (~ask@cha213245038031.chello.fr) joined #haskell 14:20:35 --- join: JustRay (~ray@folsom.officedepot.com) joined #haskell 14:51:08 --- part: gene9 left #haskell 15:21:40 --- quit: Muad_Dib () 16:57:24 --- quit: ChoJin ("bye !!!") 17:11:14 --- quit: Jiriki (Read error: 104 (Connection reset by peer)) 17:21:26 --- join: Jiriki (sjh@Sprint283.tbaytel.net) joined #haskell 17:33:29 --- quit: JustRay ("Client Exiting") 20:41:51 --- join: meleu (lalalalala@200.151.39.192) joined #haskell 20:41:58 --- part: meleu left #haskell 21:37:02 --- join: Pseudonym (~ajb@caffeine.alicorna.net) joined #haskell 22:03:30 --- quit: Pseudonym ("using sirc version 2.211+ssfe") 23:59:59 --- log: ended haskell/02.03.22