#ocaml on 2007-11-22 — irc logs at freenode.irclog.whitequark.org

2007-05-23 19:57 mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)

00:00 Tetsuo has quit ["Leaving"]

00:05 david_koontz has quit []

00:12 Yoric[DT] has quit [Read error: 110 (Connection timed out)]

00:13 rayno has quit ["Leaving"]

00:29 seafood_ has joined #ocaml

00:34 buluca has joined #ocaml

00:58 darinm has joined #ocaml

00:59 darinm has quit [Client Quit]

01:01 ikaros_ has quit ["segfault"]

01:51 Mr_Awesome has joined #ocaml

02:04 bhall has quit [Read error: 104 (Connection reset by peer)]

02:12 smimou has quit ["bli"]

02:36 buluca has quit [Read error: 113 (No route to host)]

03:01 jwoah12 has joined #ocaml

03:05 Mr_Awesome has quit ["aunt jemima is the devil!"]

03:20 nuncanada has joined #ocaml

03:31 jlouis_ has joined #ocaml

03:46 jlouis has quit [Read error: 110 (Connection timed out)]

03:58 kelaouch1 has quit [Read error: 110 (Connection timed out)]

04:07 jlouis has joined #ocaml

04:16 nuncanada has quit ["Leaving"]

04:20 jlouis_ has quit [Read error: 110 (Connection timed out)]

04:25 seafood_ has quit []

04:44 jwoah12 has quit ["Leaving"]

04:49 |Catch22| has quit [Read error: 113 (No route to host)]

05:08 |Catch22| has joined #ocaml

05:09 sergez has quit [Read error: 110 (Connection timed out)]

06:02 ertai has joined #ocaml

06:05 pants1 has joined #ocaml

06:10 Jeff_123 has quit [Read error: 110 (Connection timed out)]

06:29 seafood_ has joined #ocaml

06:30 ertai has quit [Read error: 110 (Connection timed out)]

06:48 gim has quit [Read error: 110 (Connection timed out)]

06:53 gim has joined #ocaml

06:57 Mr_Awesome has joined #ocaml

07:34 pppingoo has joined #ocaml

07:35 ttamttam has joined #ocaml

07:36 pppingoo is now known as love-pingoo

07:43 malc_ has joined #ocaml

07:51 |Catch22| has quit [Read error: 104 (Connection reset by peer)]

07:55 pants1 has quit [Read error: 110 (Connection timed out)]

08:18 filp has joined #ocaml

08:29 apastinen has quit ["leaving"]

08:29 Tetsuo has joined #ocaml

08:35 pants3 has joined #ocaml

08:35 pants4 has joined #ocaml

08:36 pants5 has joined #ocaml

08:39 pants7 has joined #ocaml

08:40 pants5 has quit [Read error: 104 (Connection reset by peer)]

08:41 Mr_Awesome has quit ["aunt jemima is the devil!"]

08:41 pants5 has joined #ocaml

08:44 pants8 has joined #ocaml

08:46 screwt879 has quit [Remote closed the connection]

08:46 Abo-Marwan105 has quit [Remote closed the connection]

08:52 pants3 has quit [Connection timed out]

08:54 pants4 has quit [Read error: 110 (Connection timed out)]

08:56 pants7 has quit [Read error: 110 (Connection timed out)]

08:58 pants5 has quit [Read error: 110 (Connection timed out)]

09:02 pants8 has quit [Read error: 110 (Connection timed out)]

09:03 pants2 has joined #ocaml

09:04 pants3 has joined #ocaml

09:05 acatout_ is now known as acatout

09:06 screwt8 has joined #ocaml

09:06 pants4 has joined #ocaml

09:07 Abo-Marwan has joined #ocaml

09:08 pants5 has joined #ocaml

09:09 pants6 has joined #ocaml

09:10 pants7 has joined #ocaml

09:10 pants8 has joined #ocaml

09:14 <tsuyoshi> been looking at different database languages that aren't sql

09:14 <tsuyoshi> none of them really seems to be an advantage over sql

09:16 <rwmjones> what's so bad about SQL anyway?

09:17 <tsuyoshi> it's hard to write modular code

09:18 screwt8 has quit [Read error: 104 (Connection reset by peer)]

09:18 Abo-Marwan has quit [Read error: 104 (Connection reset by peer)]

09:19 <tsuyoshi> it's pretty good up until you get to 25-30 tables in a database

09:20 pants3 has quit [Connection timed out]

09:21 pants2 has quit [Connection timed out]

09:21 <tsuyoshi> it would be nice to have strict type checking in the query language too

09:22 pants4 has quit [Read error: 110 (Connection timed out)]

09:24 pants5 has quit [Read error: 110 (Connection timed out)]

09:25 <flux> definitely

09:26 pants6 has quit [Read error: 110 (Connection timed out)]

09:26 pants7 has quit [Read error: 110 (Connection timed out)]

09:26 pants1 has joined #ocaml

09:27 pants8 has quit [Read error: 110 (Connection timed out)]

09:28 pants2 has joined #ocaml

09:28 mbishop has quit [Read error: 110 (Connection timed out)]

09:30 pants4 has joined #ocaml

09:44 pants1 has quit [Read error: 110 (Connection timed out)]

09:44 pants2 has quit [Read error: 110 (Connection timed out)]

09:47 pants4 has quit [Read error: 110 (Connection timed out)]

09:49 pants1 has joined #ocaml

09:51 pants2 has joined #ocaml

09:52 pants3 has joined #ocaml

09:54 pants4 has joined #ocaml

09:56 pants5 has joined #ocaml

09:57 pants7 has joined #ocaml

09:58 pants8 has joined #ocaml

09:59 pants9 has joined #ocaml

10:00 pants1 has quit [Read error: 104 (Connection reset by peer)]

10:02 pants1 has joined #ocaml

10:03 pants9 has quit [Read error: 104 (Connection reset by peer)]

10:03 pants9 has joined #ocaml

10:08 pants2 has quit [Connection timed out]

10:08 pants2 has joined #ocaml

10:09 pants3 has quit [Read error: 110 (Connection timed out)]

10:10 mbishop has joined #ocaml

10:10 pants3 has joined #ocaml

10:10 pants1 has quit [Read error: 104 (Connection reset by peer)]

10:11 pants4 has quit [Read error: 110 (Connection timed out)]

10:11 pants1 has joined #ocaml

10:13 pants4 has joined #ocaml

10:14 pants5 has quit [Connection timed out]

10:15 pants5 has joined #ocaml

10:15 pants7 has quit [Read error: 110 (Connection timed out)]

10:16 pants6 has joined #ocaml

10:16 pants8 has quit [Connection timed out]

10:17 denny has joined #ocaml

10:20 pants9 has quit [Read error: 110 (Connection timed out)]

10:23 denny has left #ocaml []

10:25 pants2 has quit [Read error: 110 (Connection timed out)]

10:27 pants3 has quit [Connection timed out]

10:27 pants1 has quit [Read error: 110 (Connection timed out)]

10:30 pants4 has quit [Connection timed out]

10:32 pants6 has quit [Connection timed out]

10:32 m3ga has joined #ocaml

10:33 pants5 has quit [Read error: 110 (Connection timed out)]

10:34 pants1 has joined #ocaml

10:36 pants2 has joined #ocaml

10:38 pants3 has joined #ocaml

10:40 pants4 has joined #ocaml

10:40 pants5 has joined #ocaml

10:41 pants6 has joined #ocaml

10:42 vincenz has joined #ocaml

10:42 pants3 has quit [Read error: 104 (Connection reset by peer)]

10:43 pants3 has joined #ocaml

10:44 <vincenz> What's been new in ocaml?

10:45 pants7 has joined #ocaml

10:47 pants1 has quit [Read error: 104 (Connection reset by peer)]

10:47 jlouis_ has joined #ocaml

10:47 pants1 has joined #ocaml

10:48 pants9 has joined #ocaml

10:49 <flux> vincenz, well, I just pasted this interesting link for constructing web forms as a side effect from code: http://conway.rutgers.edu/~ccshan/wiki/blog/posts/MultipleQ/

10:49 <vincenz> Yeah, I saw that :)

10:49 <vincenz> a combination of laziness and continuations to parallelize scheduling of the continuations

10:50 <flux> it sounds less practical when you say it that way ;)

10:50 <flux> I wonder what other applications there could be

10:50 <vincenz> Less practical?

10:51 <vincenz> Seems Ocaml itself hasn't moved much?

10:51 quux has joined #ocaml

10:52 <flux> pretty much so.

10:54 <vincenz> How about libs?

10:54 <vincenz> OR what has the main development been on?

10:55 <flux> my main source of news has been planet ocaml (which links to caml weekly news too): http://ocaml.cn/planet

10:55 pants2 has quit [Connection timed out]

10:55 <vincenz> aha

10:55 <m3ga> vincenz: cothreads (cothreads.sf.net) is reasonably new an from my pov rather exciting

10:55 * vincenz adds to his personalized google page

10:55 <flux> there are english links below ;)

10:55 <flux> (it has an rss feed also)

10:56 <vincenz> doh

10:56 <vincenz> the google reader is for the chinese stuff

10:56 seafood__ has joined #ocaml

10:56 pants4 has quit [Connection timed out]

10:57 love-pingoo has quit ["seeya"]

10:57 Jacky has joined #ocaml

10:57 pants6 has quit [Read error: 110 (Connection timed out)]

10:57 Jacky has left #ocaml []

10:58 pants5 has quit [No route to host]

11:00 jlouis has quit [Read error: 110 (Connection timed out)]

11:01 Winterstream__ has joined #ocaml

11:01 Winterstream_ has quit [Read error: 110 (Connection timed out)]

11:01 pants7 has quit [Connection timed out]

11:02 pants3 has quit [Connection timed out]

11:04 pants1 has quit [Success]

11:06 pants9 has quit [Success]

11:08 pants1 has joined #ocaml

11:09 pants1 has quit [K-lined]

11:09 pants1 has joined #ocaml

11:09 pants1 has quit [K-lined]

11:10 pants1 has joined #ocaml

11:10 pants1 has quit [K-lined]

11:12 seafood_ has quit [Connection timed out]

11:13 pants1 has joined #ocaml

11:13 pants1 has quit [K-lined]

11:14 hkBst has joined #ocaml

11:14 pants1 has joined #ocaml

11:14 pants1 has quit [K-lined]

11:15 pants1 has joined #ocaml

11:15 Winterstream__ is now known as Winterstream

11:15 pants1 has quit [K-lined]

11:16 pants1 has joined #ocaml

11:16 pants1 has quit [K-lined]

11:17 pants1 has joined #ocaml

11:17 pants1 has quit [K-lined]

11:17 Winterstream is now known as WinterstreamAway

11:25 pants1 has joined #ocaml

11:26 pants2 has joined #ocaml

11:27 pants1 has quit [K-lined]

11:27 pants2 has quit [K-lined]

11:27 m3ga has quit ["disappearing into the sunset"]

11:28 pants1 has joined #ocaml

11:28 pants1 has quit [K-lined]

11:34 Yoric[DT] has joined #ocaml

11:37 smimou has joined #ocaml

11:50 ikaros has joined #ocaml

11:50 ikaros has quit [Read error: 104 (Connection reset by peer)]

11:50 malc_ has quit ["leaving"]

11:50 ikaros has joined #ocaml

11:51 pants1 has joined #ocaml

11:52 pants2 has joined #ocaml

11:54 pants3 has joined #ocaml

11:55 pants4 has joined #ocaml

11:57 pants5 has joined #ocaml

12:08 pants1 has quit [K-lined]

12:08 pants2 has quit [K-lined]

12:08 pants3 has quit [K-lined]

12:08 pants4 has quit [K-lined]

12:08 pants5 has quit [K-lined]

12:15 <tsuyoshi> in case anyone was curious about the sql code I've been writing, I put some of it up here: yumegakanau.org/code/sql/

12:17 pants1 has joined #ocaml

12:17 pants1 has quit [K-lined]

12:21 Abo-Marwan has joined #ocaml

12:22 buluca has joined #ocaml

12:40 pants1 has joined #ocaml

12:41 pants2 has joined #ocaml

12:42 pants3 has joined #ocaml

12:44 pants4 has joined #ocaml

12:47 WinterstreamAway is now known as Winterstream

12:48 Winterstream has left #ocaml []

12:48 pants1 has quit [Read error: 104 (Connection reset by peer)]

12:50 pants3 has quit [Killed by quux ()]

12:53 Yoric[DT] has quit [Read error: 113 (No route to host)]

12:55 pants4 has quit [K-lined]

12:55 pants2 has quit [K-lined]

13:01 pantsd has joined #ocaml

13:03 pants1 has joined #ocaml

13:04 pants1 has quit [Killed by quux ()]

13:05 pants1 has joined #ocaml

13:05 pantsd has quit [Killed by quux ()]

13:05 pants1 has quit [Killed by quux ()]

13:06 pantsd has joined #ocaml

13:09 pants1 has joined #ocaml

13:09 pantsd has quit [K-lined]

13:09 pants1 has quit [K-lined]

13:09 pantsd has joined #ocaml

13:09 pantsd has quit [K-lined]

13:19 ikaros has quit [Remote closed the connection]

13:20 ikaros has joined #ocaml

13:20 buluca has quit [Read error: 113 (No route to host)]

13:34 pantsd has joined #ocaml

13:35 rwmjones has quit ["Closed connection"]

13:35 pants1 has joined #ocaml

13:35 pantsd has quit [K-lined]

13:35 pants1 has quit [K-lined]

13:36 screwt8 has joined #ocaml

13:37 rwmjones has joined #ocaml

13:40 rwmjones has quit [Client Quit]

13:41 rwmjones has joined #ocaml

13:54 pantsd has joined #ocaml

13:55 pants1 has joined #ocaml

13:55 pants2 has joined #ocaml

13:58 pants3 has joined #ocaml

14:10 pantsd has quit [K-lined]

14:10 pants3 has quit [K-lined]

14:10 pants2 has quit [K-lined]

14:10 pants1 has quit [K-lined]

14:13 seafood__ has quit []

14:16 pantsd has joined #ocaml

14:18 pants1 has joined #ocaml

14:19 pants2 has joined #ocaml

14:20 pants3 has joined #ocaml

14:21 pants4 has joined #ocaml

14:21 seafood_ has joined #ocaml

14:22 pants5 has joined #ocaml

14:24 pants6 has joined #ocaml

14:25 seafood_ has quit [Client Quit]

14:25 pants8 has joined #ocaml

14:27 pants9 has joined #ocaml

14:33 pantsd has quit [Read error: 110 (Connection timed out)]

14:35 pants1 has quit [Read error: 110 (Connection timed out)]

14:36 pants2 has quit [Read error: 110 (Connection timed out)]

14:37 pants4 has quit [Read error: 110 (Connection timed out)]

14:37 pants3 has quit [Read error: 110 (Connection timed out)]

14:38 pants5 has quit [Read error: 110 (Connection timed out)]

14:41 pants8 has quit [Read error: 110 (Connection timed out)]

14:41 pants6 has quit [Read error: 110 (Connection timed out)]

14:44 pants9 has quit [Read error: 110 (Connection timed out)]

15:00 bebert has quit [Read error: 110 (Connection timed out)]

15:29 messju has quit [Remote closed the connection]

16:15 nuncanada has joined #ocaml

16:18 buluca has joined #ocaml

16:18 pango has quit [Remote closed the connection]

16:26 pango has joined #ocaml

16:39 ertai has joined #ocaml

16:58 Yoric[DT] has joined #ocaml

17:29 rwmjones has quit ["Closed connection"]

17:30 jlouis has joined #ocaml

17:37 kelaouchi has joined #ocaml

17:43 jlouis_ has quit [Read error: 110 (Connection timed out)]

17:46 ttamttam has left #ocaml []

17:57 jlouis_ has joined #ocaml

18:04 filp has quit ["Bye"]

18:09 jlouis has quit [Read error: 110 (Connection timed out)]

18:14 bluestorm_ has joined #ocaml

18:35 ita has joined #ocaml

18:52 ttamttam has joined #ocaml

19:10 ttamttam has left #ocaml []

19:10 ttamttam has joined #ocaml

19:11 ttamttam has left #ocaml []

19:11 ttamttam has joined #ocaml

19:12 gim has quit [Read error: 110 (Connection timed out)]

19:34 ygrek has joined #ocaml

19:54 kelaouchi has quit [Read error: 110 (Connection timed out)]

19:56 ttamttam has left #ocaml []

19:57 ttamttam has joined #ocaml

20:15 JohnnyL has joined #ocaml

20:24 ttamttam has left #ocaml []

20:42 ita is now known as ita|zzz

20:50 Mr_Awesome has joined #ocaml

20:55 filp has joined #ocaml

21:24 Ogedei has joined #ocaml

21:26 bluestorm_ has quit [Read error: 113 (No route to host)]

21:38 <JohnnyL> happy happy thanksgiving

21:48 ttamttam has joined #ocaml

21:49 ttamttam has left #ocaml []

21:55 seafood_ has joined #ocaml

22:10 ertai has quit [Read error: 110 (Connection timed out)]

22:18 bhall has joined #ocaml

22:23 filp has quit ["Bye"]

22:30 ygrek has quit [Remote closed the connection]

22:41 Ogedei has quit [Remote closed the connection]

23:22 ikaros has quit [Remote closed the connection]

23:25 Tetsuo has quit ["Leaving"]

23:43 ikaros has joined #ocaml

23:44 Yoric[DT] has quit ["Ex-Chat"]

23:47 hkBst has quit ["Konversation terminated!"]