#ocaml on 2012-02-05 — irc logs at freenode.irclog.whitequark.org

2011-07-12 19:41 gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH

00:20 iago has quit [Quit: Leaving]

00:22 Tobu has quit [Ping timeout: 252 seconds]

00:23 groovy2shoes has joined #ocaml

00:41 Tobu has joined #ocaml

00:46 groovy2shoes has quit [Quit: It is now safe to turn off your groovebot.]

01:15 oriba_ has joined #ocaml

01:18 oriba has quit [Ping timeout: 252 seconds]

01:19 ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

01:21 ivan\ has joined #ocaml

01:26 fantasticsid has quit [Remote host closed the connection]

01:28 fantasti` has joined #ocaml

01:32 fantasti` has quit [Read error: Connection reset by peer]

01:36 NaCl has quit [Ping timeout: 240 seconds]

01:52 oriba_ has quit [Quit: oriba_]

01:53 everyonemines has joined #ocaml

01:58 NaCl has joined #ocaml

01:58 NaCl has quit [Changing host]

01:58 NaCl has joined #ocaml

02:15 basis has joined #ocaml

02:29 basis has quit [Quit: leaving]

02:46 othiym23 has quit [Quit: Leaving...]

03:55 othiym23 has joined #ocaml

04:10 lamawithonel has quit [Ping timeout: 244 seconds]

04:11 lamawithonel has joined #ocaml

04:14 ocp has quit [Ping timeout: 252 seconds]

04:24 abdallah has joined #ocaml

04:30 abdallah has quit [Remote host closed the connection]

04:43 ocp has joined #ocaml

05:05 ocp has quit [Quit: Leaving.]

05:31 ousado has quit [Remote host closed the connection]

05:31 ousado has joined #ocaml

05:42 antegallya has joined #ocaml

05:49 antegallya has quit [Remote host closed the connection]

06:16 edwin has joined #ocaml

06:17 ocp has joined #ocaml

06:33 ttamttam has joined #ocaml

06:35 emmanuelux has joined #ocaml

07:02 BiDOrD has quit [Ping timeout: 248 seconds]

07:03 ak0s has joined #ocaml

07:03 BiDOrD has joined #ocaml

07:05 zorun has quit [Read error: Connection reset by peer]

07:06 zorun has joined #ocaml

07:10 gnech has quit [Ping timeout: 240 seconds]

07:11 ak0s has quit [Quit: Leaving]

07:26 Cyanure has joined #ocaml

07:47 ttamttam has left #ocaml []

07:54 ocp has quit [Quit: Leaving.]

08:00 BiDOrD has quit [Ping timeout: 248 seconds]

08:06 BiDOrD has joined #ocaml

08:06 Snark has joined #ocaml

08:10 mal`` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

08:24 mal`` has joined #ocaml

08:27 Kakadu has joined #ocaml

08:30 ocp has joined #ocaml

08:34 letrec has quit [Ping timeout: 248 seconds]

09:00 iago has joined #ocaml

09:06 Tobu has quit [Ping timeout: 248 seconds]

09:10 <flux> does batteries have an abstraction for lazy two-directional linked list? I guess it would need to be a zipper or iterator of some kind..

09:23 BiDOrD has quit [Read error: Connection reset by peer]

09:24 BiDOrD has joined #ocaml

09:24 Tobu has joined #ocaml

09:35 MaskRay has quit [Quit: leaving]

09:37 ocp has quit [Quit: Leaving.]

09:38 everyonemines has quit [Quit: Leaving.]

09:43 Submarine has quit [Ping timeout: 256 seconds]

09:43 mal`` has quit [Remote host closed the connection]

09:47 Submarine has joined #ocaml

09:47 Submarine has quit [Changing host]

09:47 Submarine has joined #ocaml

09:55 ikaros has joined #ocaml

09:58 BiDOrD_ has joined #ocaml

09:58 BiDOrD has quit [Ping timeout: 245 seconds]

09:58 mal`` has joined #ocaml

10:22 BiDOrD_ has quit [Ping timeout: 252 seconds]

10:24 ak0s has joined #ocaml

10:29 BiDOrD has joined #ocaml

10:29 othiym23 has quit [Quit: Leaving...]

10:40 ikaros has quit [Quit: Ex-Chat]

10:44 MaskRay_ has joined #ocaml

10:46 asdfhjkl has joined #ocaml

11:03 iago has quit [Quit: Leaving]

11:07 cdidd has quit [Read error: Operation timed out]

11:10 ocp has joined #ocaml

11:10 cdidd has joined #ocaml

11:20 ankit9 has quit [Remote host closed the connection]

11:36 Drup has joined #ocaml

11:42 BiDOrD has quit [Ping timeout: 245 seconds]

11:43 letrec has joined #ocaml

11:50 BiDOrD has joined #ocaml

11:56 zzz__ has joined #ocaml

11:56 zzz__ has left #ocaml []

12:02 Xizor has joined #ocaml

12:03 pheredhel` has quit [Ping timeout: 248 seconds]

12:05 pheredhel has joined #ocaml

12:10 <thelema> flux: nope; no 2d lazy linked list

12:12 <thelema> I can't think of any easy way to make one... Zipper, yes, but the backing for such so that L U D R returns to the start... I dunno

12:14 <flux> well, I wrote this, but perhaps it's a bit too specific for my needs: http://www.modeemi.fi/~flux/software/ocaml/bidir.mli

12:15 <flux> it also doesn't maintain the eleemnts it has seen, because otherwise its size would always grow, which is not suitable for my application

12:15 <flux> so it's not lazy, but rather generative

12:15 gildor has quit [Read error: Operation timed out]

12:16 <thelema> flux: it might go into BatCache

12:17 <thelema> maybe a locality-cache, with values within radius x remembered...

12:17 <thelema> or maybe I'm trying to fit a square peg into a round hole

12:18 Drup has quit [Quit: Leaving.]

12:19 gildor has joined #ocaml

12:20 Drup has joined #ocaml

12:31 ocp has quit [Quit: Leaving.]

12:46 avsm has joined #ocaml

12:50 BiDOrD has quit [Ping timeout: 245 seconds]

12:56 BiDOrD has joined #ocaml

13:03 avsm has quit [Quit: Leaving.]

13:04 BiDOrD has quit [Read error: Connection reset by peer]

13:04 BiDOrD has joined #ocaml

13:16 Tobu has quit [Ping timeout: 272 seconds]

13:21 Tobu has joined #ocaml

13:34 BiDOrD_ has joined #ocaml

13:36 ak0s has quit [Ping timeout: 256 seconds]

13:37 BiDOrD has quit [Ping timeout: 260 seconds]

13:38 MaskRay_ has quit [Quit: leaving]

13:45 gnech has joined #ocaml

13:53 lamawithonel has quit [Ping timeout: 240 seconds]

14:06 BiDOrD_ has quit [Ping timeout: 240 seconds]

14:09 BiDOrD has joined #ocaml

14:23 BiDOrD has quit [Ping timeout: 252 seconds]

14:25 BiDOrD has joined #ocaml

14:43 iago has joined #ocaml

14:57 letrec has quit [Ping timeout: 240 seconds]

15:01 gnech has quit [Ping timeout: 252 seconds]

15:01 gnech has joined #ocaml

15:05 avsm has joined #ocaml

15:07 avsm has quit [Client Quit]

15:07 BiDOrD has quit [Ping timeout: 260 seconds]

15:10 BiDOrD has joined #ocaml

15:15 fraggle_laptop has joined #ocaml

15:17 Submarine has quit [Ping timeout: 245 seconds]

15:19 Submarine has joined #ocaml

15:20 BiDOrD has quit [Ping timeout: 248 seconds]

15:34 BiDOrD has joined #ocaml

15:48 BiDOrD has quit [Ping timeout: 245 seconds]

15:49 ocp has joined #ocaml

15:55 BiDOrD has joined #ocaml

16:02 bzzbzz_ has quit [Quit: leaving]

16:03 Guest63249 has joined #ocaml

16:03 Guest63249 has left #ocaml []

16:23 pilki has joined #ocaml

16:25 oriba has joined #ocaml

16:38 BiDOrD has quit [Ping timeout: 256 seconds]

16:38 BiDOrD has joined #ocaml

16:54 BiDOrD has quit [Ping timeout: 272 seconds]

16:59 Kakadu has quit [Quit: Konversation terminated!]

17:00 ak0s has joined #ocaml

17:01 ak0s has quit [Client Quit]

17:02 milosn_ has quit [Read error: Connection reset by peer]

17:08 milosn has joined #ocaml

17:15 antegallya has joined #ocaml

17:52 Cyanure has quit [Read error: Operation timed out]

17:55 BiDOrD has joined #ocaml

18:02 BiDOrD has quit [Ping timeout: 252 seconds]

18:10 BiDOrD has joined #ocaml

18:26 Tobu has quit [Ping timeout: 252 seconds]

18:28 BiDOrD has quit [Ping timeout: 240 seconds]

18:29 Tobu has joined #ocaml

18:34 Submarine has quit [Quit: Leaving]

18:43 lamawithonel has joined #ocaml

18:44 Cyanure has joined #ocaml

18:45 BiDOrD has joined #ocaml

18:48 emmanuelux has quit [Quit: @+]

18:51 BiDOrD has quit [Ping timeout: 252 seconds]

18:54 BiDOrD has joined #ocaml

19:03 BiDOrD has quit [Ping timeout: 252 seconds]

19:10 antegallya1 has joined #ocaml

19:10 antegallya has quit [Disconnected by services]

19:10 antegallya1 has quit [Client Quit]

19:10 antegallya has joined #ocaml

19:13 BiDOrD has joined #ocaml

19:18 BiDOrD has quit [Ping timeout: 252 seconds]

19:19 Cyanure has quit [Ping timeout: 244 seconds]

19:19 Tobu has quit [Ping timeout: 252 seconds]

19:24 BiDOrD has joined #ocaml

19:29 BiDOrD has quit [Ping timeout: 252 seconds]

19:31 emmanuelux has joined #ocaml

19:45 BiDOrD has joined #ocaml

19:48 ikaros has joined #ocaml

19:52 BiDOrD has quit [Ping timeout: 245 seconds]

19:53 Snark has quit [Quit: Quitte]

19:55 BiDOrD has joined #ocaml

19:58 antegallya has quit [Quit: Leaving.]

19:58 antegallya has joined #ocaml

19:59 iris1 has joined #ocaml

19:59 BiDOrD has quit [Ping timeout: 256 seconds]

20:07 Tobu has joined #ocaml

20:09 Drakken has joined #ocaml

20:16 BiDOrD has joined #ocaml

20:18 ftrvxmtrx has quit [Quit: Leaving]

20:18 ftrvxmtrx has joined #ocaml

20:19 Xizor has quit []

20:21 BiDOrD has quit [Ping timeout: 245 seconds]

20:22 mo3b1us has joined #ocaml

20:22 mo3b1us has left #ocaml []

20:25 mo3b1us has joined #ocaml

20:27 mo3b1us has left #ocaml []

20:40 Tobu has quit [Ping timeout: 248 seconds]

20:42 fraggle_laptop has quit [Remote host closed the connection]

20:42 antegallya has quit [Remote host closed the connection]

20:51 BiDOrD has joined #ocaml

20:58 BiDOrD has quit [Ping timeout: 252 seconds]

20:58 edwin has quit [Remote host closed the connection]

21:02 BiDOrD has joined #ocaml

21:24 ikaros has quit [Quit: Ex-Chat]

21:24 gnech has quit [Read error: Connection reset by peer]

21:38 Tobu has joined #ocaml

21:44 lamawithonel has quit [Ping timeout: 255 seconds]

21:45 letrec has joined #ocaml

21:47 lamawithonel has joined #ocaml

21:52 lamawithonel has quit [Ping timeout: 272 seconds]

21:53 Drup has quit [Quit: Leaving.]

21:53 ocp has quit [Read error: Connection reset by peer]

21:53 lamawithonel has joined #ocaml

21:58 lamawithonel has quit [Ping timeout: 240 seconds]

22:01 lamawithonel has joined #ocaml

22:06 lamawithonel has quit [Ping timeout: 240 seconds]

22:10 pilki has quit [Quit: This computer has gone to sleep]

22:16 lamawithonel has joined #ocaml

22:21 lamawithonel has quit [Ping timeout: 240 seconds]

22:21 lamawithonel_ has joined #ocaml

22:30 lamawithonel_ has quit [Remote host closed the connection]

22:31 lamawithonel_ has joined #ocaml

22:39 letrec has quit [Ping timeout: 252 seconds]

23:16 emmanuelux has quit [Read error: Connection reset by peer]

23:23 emmanuelux has joined #ocaml

23:36 mjonsson has joined #ocaml

23:41 Tobu has quit [Ping timeout: 248 seconds]

23:45 ulfdoz_ has joined #ocaml

23:46 ulfdoz has quit [Read error: Operation timed out]

23:46 ulfdoz_ is now known as ulfdoz