#ocaml on 2012-09-15 — 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:05 lggr has quit [Ping timeout: 240 seconds]

00:07 lggr has joined #ocaml

00:13 <chispita> Ptival: thanks for that

00:13 <chispita> understood it perfectly (believe it or not!)

00:14 <chispita> I got a Haskell book but don't have time to study it yet...unfortunately

00:14 <chispita> i think i have a solution to the bubble sort....if i do it, i'll paste it so you can see the result of your teachings ;)

00:15 <Ptival> ok

00:15 <Ptival> what I would do in that case is write something to help Coq figure out why it terminates

00:15 <Ptival> (like, showing it that the length of the argument strictly decreases)

00:15 <chispita> that's what i'm trying to do!! i made a phony counter...

00:16 <Ptival> oh

00:16 <chispita> it decreases a counter that doesn't do anything....

00:16 <Ptival> that's a decent idea

00:16 <chispita> hihihihi

00:16 <Ptival> you can do that in a less invasive way though :)

00:16 <chispita> lol. how!

00:16 <Ptival> you'll have a problem when you reach 0 though

00:16 <Ptival> what's the type of your counter?

00:16 <Ptival> nat?

00:16 <chispita> i have it nat_compare counter 0 - if Eq, sorting is done

00:17 <Ptival> hmm

00:17 <chispita> match nat_compare counter 0 | Eq => list

00:17 <Ptival> waiting for your solution

00:17 <chispita> here's what happened. when i ran the sort LIST, it returned a partially sorted list

00:17 <Ptival> I think you will encounter a problem :)

00:17 <chispita> (ok!)

00:17 lggr has quit [Ping timeout: 268 seconds]

00:18 <chispita> when i ran the sort LIST, it returned a partially sorted list BUT when I ran (sort (sort LIST)) it worked!

00:18 <Ptival> but it's educative

00:18 <chispita> so i deduce i need it to loop until sorted

00:18 <Ptival> but looping is a no-no :p

00:18 <chispita> so i make counter = worst case for bubble sort which is n^2

00:19 <chispita> match counter with | O => returns list | S(counter') => keep working

00:19 <chispita> sounds wrong?

00:20 lggr has joined #ocaml

00:22 <Ptival> well

00:23 <Ptival> what would you pick as the initial value for counter to make sure it's sorted at the end? :)

00:24 Tobu has quit [Ping timeout: 260 seconds]

00:24 Tobu has joined #ocaml

00:25 <chispita> Ptival: good question

00:25 <chispita> LOL

00:26 <chispita> maybe i should try quicksort lol

00:26 <Ptival> I think it would pose as much trouble as bubble :)

00:27 <Ptival> the problem with "good" sorts is that you will want to twiddle with your lists in non-structural ways

00:28 <Ptival> the easiest sort to write I can think of would be an insertion sort

00:29 lggr has quit [Ping timeout: 244 seconds]

00:32 lggr has joined #ocaml

00:41 lggr has quit [Ping timeout: 264 seconds]

00:43 lggr has joined #ocaml

00:47 <chispita> really? maybe i should try that one....

00:48 emmanuelux has joined #ocaml

00:51 emmanuelux has quit [Remote host closed the connection]

00:51 lggr has quit [Ping timeout: 244 seconds]

00:52 darkf has joined #ocaml

00:52 lggr has joined #ocaml

00:53 emmanuelux has joined #ocaml

01:00 lggr has quit [Ping timeout: 248 seconds]

01:00 <darkf> Is there a good socket library for OCaml? (the Unix module seems a bit too low-level)

01:00 <darkf> and maybe coroutines?

01:01 ulfdoz has quit [Ping timeout: 244 seconds]

01:02 Ptival has quit [Quit: Quat]

01:03 ulfdoz has joined #ocaml

01:04 darkf_ has joined #ocaml

01:08 darkf has quit [Ping timeout: 272 seconds]

01:08 darkf_ is now known as darkf

01:09 lggr has joined #ocaml

01:16 lggr has quit [Ping timeout: 255 seconds]

01:17 sepp2k1 has quit [Read error: Connection reset by peer]

01:19 madroach has quit [Ping timeout: 265 seconds]

01:20 madroach has joined #ocaml

01:24 lggr has joined #ocaml

01:30 Playground has joined #ocaml

01:33 lggr has quit [Ping timeout: 260 seconds]

01:34 err404 has quit [Remote host closed the connection]

01:35 lggr has joined #ocaml

01:45 lggr has quit [Ping timeout: 260 seconds]

01:51 Playground has quit [Ping timeout: 246 seconds]

01:52 lggr has joined #ocaml

01:53 Playground has joined #ocaml

01:53 chispita has quit [Remote host closed the connection]

01:59 lggr has quit [Ping timeout: 244 seconds]

02:01 darkf_ has joined #ocaml

02:01 lggr has joined #ocaml

02:02 Playground has quit [Ping timeout: 268 seconds]

02:04 darkf has quit [Ping timeout: 252 seconds]

02:10 Tobu has quit [Ping timeout: 260 seconds]

02:10 lggr has quit [Ping timeout: 252 seconds]

02:10 Tobu has joined #ocaml

02:13 lggr has joined #ocaml

02:17 mnabil has quit [Ping timeout: 248 seconds]

02:20 lggr has quit [Ping timeout: 264 seconds]

02:23 darkf_ is now known as darkf

02:29 lggr has joined #ocaml

02:38 lggr has quit [Ping timeout: 245 seconds]

02:43 lggr has joined #ocaml

02:51 lggr has quit [Ping timeout: 272 seconds]

02:54 lggr has joined #ocaml

03:04 lggr has quit [Ping timeout: 255 seconds]

03:09 lggr has joined #ocaml

03:19 lggr has quit [Ping timeout: 268 seconds]

03:20 lggr has joined #ocaml

03:28 lggr has quit [Ping timeout: 240 seconds]

03:32 <_habnabit> ait

03:32 <_habnabit> whoops

03:35 lggr has joined #ocaml

03:42 lggr has quit [Ping timeout: 248 seconds]

03:46 lggr has joined #ocaml

03:55 lggr has quit [Ping timeout: 240 seconds]

03:57 lggr has joined #ocaml

04:06 lggr has quit [Ping timeout: 252 seconds]

04:11 lggr has joined #ocaml

04:15 Tobu has quit [Ping timeout: 272 seconds]

04:21 lggr has quit [Ping timeout: 252 seconds]

04:26 lggr has joined #ocaml

04:36 lggr has quit [Ping timeout: 252 seconds]

04:40 lggr has joined #ocaml

04:50 lggr has quit [Ping timeout: 244 seconds]

04:55 lggr has joined #ocaml

05:04 lggr has quit [Ping timeout: 246 seconds]

05:09 lggr has joined #ocaml

05:15 BiDOrD_ has joined #ocaml

05:17 BiDOrD has quit [Ping timeout: 252 seconds]

05:19 lggr has quit [Ping timeout: 255 seconds]

05:20 Snark has joined #ocaml

05:25 lggr has joined #ocaml

05:34 lggr has quit [Ping timeout: 246 seconds]

05:39 lggr has joined #ocaml

05:48 lggr has quit [Ping timeout: 244 seconds]

05:49 Ptival has joined #ocaml

05:54 lggr has joined #ocaml

06:00 lggr has quit [Ping timeout: 244 seconds]

06:04 larhat has quit [Quit: Leaving.]

06:08 lggr has joined #ocaml

06:15 lggr has quit [Ping timeout: 255 seconds]

06:23 lggr has joined #ocaml

06:32 lggr has quit [Ping timeout: 240 seconds]

06:34 Ptival has quit [Quit: Quat]

06:37 lggr has joined #ocaml

06:46 lggr has quit [Ping timeout: 244 seconds]

06:50 osa1 has joined #ocaml

06:52 lggr has joined #ocaml

06:52 osa1 has quit [Client Quit]

06:56 larhat has joined #ocaml

07:01 lggr has quit [Ping timeout: 255 seconds]

07:06 lggr has joined #ocaml

07:09 larhat has quit [Quit: Leaving.]

07:09 ftrvxmtrx has joined #ocaml

07:12 larhat has joined #ocaml

07:13 larhat has quit [Client Quit]

07:16 lggr has quit [Ping timeout: 252 seconds]

07:21 lggr has joined #ocaml

07:21 Cyanure has joined #ocaml

07:23 mfp has quit [Ping timeout: 276 seconds]

07:26 ontologiae has joined #ocaml

07:27 maufred_ has quit [Read error: Operation timed out]

07:29 maufred has joined #ocaml

07:30 lggr has quit [Ping timeout: 240 seconds]

07:32 osa1 has joined #ocaml

07:35 mfp has joined #ocaml

07:36 lggr has joined #ocaml

07:44 eni has joined #ocaml

07:45 lggr has quit [Ping timeout: 248 seconds]

07:46 lggr has joined #ocaml

07:49 ontologiae has quit [Ping timeout: 246 seconds]

07:54 lggr has quit [Ping timeout: 244 seconds]

07:54 Tobu has joined #ocaml

08:01 lggr has joined #ocaml

08:03 larhat has joined #ocaml

08:03 larhat has left #ocaml []

08:08 lggr has quit [Ping timeout: 264 seconds]

08:11 abeaulieu has quit [Ping timeout: 248 seconds]

08:16 abeaulieu has joined #ocaml

08:17 lggr has joined #ocaml

08:23 hongboz has joined #ocaml

08:26 lggr has quit [Ping timeout: 252 seconds]

08:27 lggr has joined #ocaml

08:34 lggr has quit [Ping timeout: 244 seconds]

08:34 hongboz has quit [Ping timeout: 246 seconds]

08:42 lggr has joined #ocaml

08:42 Tobu has quit [Ping timeout: 272 seconds]

08:43 eni has quit [Ping timeout: 244 seconds]

08:48 larhat has joined #ocaml

08:48 eni has joined #ocaml

08:49 <larhat> darkf: checkout http://ocsigen.org/lwt/

08:50 lggr has quit [Ping timeout: 260 seconds]

08:50 larhat has quit [Client Quit]

08:57 lggr has joined #ocaml

09:00 eni has quit [Ping timeout: 272 seconds]

09:01 lihaitao has joined #ocaml

09:06 lggr has quit [Ping timeout: 252 seconds]

09:06 Yoric has joined #ocaml

09:06 darkf has quit [Quit: Leaving]

09:08 lggr has joined #ocaml

09:17 lggr has quit [Ping timeout: 252 seconds]

09:18 larhat has joined #ocaml

09:19 lggr has joined #ocaml

09:26 lggr has quit [Ping timeout: 255 seconds]

09:29 larhat has quit [Quit: Leaving.]

09:30 lggr has joined #ocaml

09:31 larhat has joined #ocaml

09:36 osa1 has quit [Ping timeout: 260 seconds]

09:38 lggr has quit [Ping timeout: 272 seconds]

09:41 lggr has joined #ocaml

09:43 Tobu has joined #ocaml

09:44 err404 has joined #ocaml

09:48 larhat has quit [Quit: Leaving.]

09:48 lggr has quit [Ping timeout: 246 seconds]

09:58 lggr has joined #ocaml

10:06 lggr has quit [Ping timeout: 272 seconds]

10:09 lggr has joined #ocaml

10:17 lggr has quit [Ping timeout: 240 seconds]

10:23 lggr has joined #ocaml

10:31 lggr has quit [Ping timeout: 272 seconds]

10:38 lggr has joined #ocaml

10:47 lggr has quit [Ping timeout: 264 seconds]

10:50 lggr has joined #ocaml

10:55 Submarine has joined #ocaml

10:57 lggr has quit [Ping timeout: 252 seconds]

11:05 wmeyer` has joined #ocaml

11:05 <wmeyer`> howdy

11:08 lggr has joined #ocaml

11:17 lggr has quit [Ping timeout: 252 seconds]

11:22 sepp2k has joined #ocaml

11:23 lggr has joined #ocaml

11:27 Ptival has joined #ocaml

11:33 lggr has quit [Ping timeout: 240 seconds]

11:36 lggr has joined #ocaml

11:42 fraggle_ has quit [Ping timeout: 244 seconds]

11:46 lggr has quit [Ping timeout: 240 seconds]

11:49 lggr has joined #ocaml

11:50 wmeyer` has quit [Ping timeout: 244 seconds]

11:52 Drakken has quit [Ping timeout: 260 seconds]

11:56 lggr has quit [Ping timeout: 240 seconds]

11:58 hto_ has quit [Read error: Connection reset by peer]

12:02 lggr has joined #ocaml

12:02 Yoric has quit [Quit: Instantbird 1.3a1pre -- http://www.instantbird.com]

12:02 Yoric has joined #ocaml

12:04 Drakken has joined #ocaml

12:06 lggr has quit [Ping timeout: 260 seconds]

12:18 lggr has joined #ocaml

12:26 lggr has quit [Ping timeout: 245 seconds]

12:30 lggr has joined #ocaml

12:35 lggr has quit [Ping timeout: 260 seconds]

12:47 lggr has joined #ocaml

12:55 lggr has quit [Ping timeout: 255 seconds]

13:05 lggr has joined #ocaml

13:05 lihaitao has quit [Quit: Ex-Chat]

13:12 lggr has quit [Ping timeout: 244 seconds]

13:16 lggr has joined #ocaml

13:26 lggr has quit [Ping timeout: 245 seconds]

13:29 lggr has joined #ocaml

13:30 hongboz has joined #ocaml

13:38 lggr has quit [Ping timeout: 248 seconds]

13:41 lggr has joined #ocaml

13:49 lggr has quit [Ping timeout: 260 seconds]

13:49 fraggle_ has joined #ocaml

13:52 mattrepl has joined #ocaml

13:57 ulfdoz has quit [Ping timeout: 244 seconds]

13:57 ulfdoz has joined #ocaml

13:58 err404 has quit [Remote host closed the connection]

13:58 lggr has joined #ocaml

14:08 lggr has quit [Ping timeout: 264 seconds]

14:10 cacho has quit [Ping timeout: 272 seconds]

14:11 lggr has joined #ocaml

14:21 lggr has quit [Ping timeout: 252 seconds]

14:23 lggr has joined #ocaml

14:26 cacho has joined #ocaml

14:33 lggr has quit [Ping timeout: 252 seconds]

14:35 hto has joined #ocaml

14:35 osa1 has joined #ocaml

14:36 lggr has joined #ocaml

14:43 Oejet has joined #ocaml

14:44 lggr has quit [Ping timeout: 255 seconds]

14:49 lggr has joined #ocaml

14:58 lggr has quit [Ping timeout: 240 seconds]

15:00 lggr has joined #ocaml

15:09 lggr has quit [Ping timeout: 248 seconds]

15:11 lggr has joined #ocaml

15:21 lggr has quit [Ping timeout: 272 seconds]

15:21 eikke has joined #ocaml

15:22 lggr has joined #ocaml

15:30 lggr has quit [Ping timeout: 268 seconds]

15:30 ftrvxmtrx has quit [Remote host closed the connection]

15:38 lggr has joined #ocaml

15:40 gnuvince has quit [Ping timeout: 252 seconds]

15:43 ftrvxmtrx has joined #ocaml

15:45 lggr has quit [Ping timeout: 244 seconds]

15:46 lggr has joined #ocaml

15:47 pango has quit [Ping timeout: 260 seconds]

15:51 hongboz has quit [Ping timeout: 244 seconds]

15:54 Snark has quit [Read error: Connection reset by peer]

15:56 lggr has quit [Ping timeout: 272 seconds]

15:58 lggr has joined #ocaml

16:00 pango has joined #ocaml

16:04 ulfdoz has quit [Ping timeout: 245 seconds]

16:07 lggr has quit [Ping timeout: 240 seconds]

16:10 lggr has joined #ocaml

16:14 ulfdoz has joined #ocaml

16:19 eikke has quit [Ping timeout: 240 seconds]

16:19 lggr has quit [Ping timeout: 244 seconds]

16:22 lggr has joined #ocaml

16:29 lggr has quit [Ping timeout: 244 seconds]

16:33 lggr has joined #ocaml

16:37 sepp2k1 has joined #ocaml

16:38 sepp2k has quit [Ping timeout: 272 seconds]

16:39 hto has quit [Quit: Lost terminal]

16:41 larhat has joined #ocaml

16:41 hto has joined #ocaml

16:42 eni has joined #ocaml

16:42 lggr has quit [Ping timeout: 244 seconds]

16:47 eni has quit [Client Quit]

16:47 eni has joined #ocaml

16:51 lggr has joined #ocaml

16:59 lggr has quit [Ping timeout: 244 seconds]

17:00 eikke has joined #ocaml

17:06 lggr has joined #ocaml

17:12 lggr has quit [Ping timeout: 240 seconds]

17:14 hongboz has joined #ocaml

17:20 lggr has joined #ocaml

17:27 lggr has quit [Ping timeout: 244 seconds]

17:35 lggr has joined #ocaml

17:44 lggr has quit [Ping timeout: 240 seconds]

17:45 emmanuelux has quit [Ping timeout: 246 seconds]

17:47 lggr has joined #ocaml

17:54 lggr has quit [Ping timeout: 245 seconds]

17:56 err404 has joined #ocaml

17:58 lggr has joined #ocaml

18:04 chispita has joined #ocaml

18:05 lggr has quit [Ping timeout: 244 seconds]

18:05 <chispita> Ptival: hi, are you around? i solved that one! i'd like to let you know how!

18:10 eni has quit [Ping timeout: 240 seconds]

18:12 lggr has joined #ocaml

18:13 eni has joined #ocaml

18:17 <ski> chispita : ooc, solved what ?

18:20 lggr has quit [Ping timeout: 240 seconds]

18:27 lggr has joined #ocaml

18:33 lggr has quit [Ping timeout: 248 seconds]

18:34 Cyanure has quit [Remote host closed the connection]

18:38 lggr has joined #ocaml

18:40 chispita has left #ocaml []

18:45 lggr has quit [Ping timeout: 245 seconds]

18:50 lggr has joined #ocaml

18:57 lggr has quit [Ping timeout: 245 seconds]

18:59 Ptival has quit [Read error: Connection reset by peer]

19:01 lggr has joined #ocaml

19:01 ImAlsoGreg has quit [Ping timeout: 260 seconds]

19:02 Ptival has joined #ocaml

19:10 lggr has quit [Ping timeout: 245 seconds]

19:12 lggr has joined #ocaml

19:17 ImAlsoGreg has joined #ocaml

19:19 Anarchos has joined #ocaml

19:19 lggr has quit [Ping timeout: 260 seconds]

19:24 <Anarchos> hi everybody

19:27 fraggle_ has quit [Ping timeout: 272 seconds]

19:27 Yoric has quit [Ping timeout: 272 seconds]

19:28 lggr has joined #ocaml

19:34 err404 has quit [Remote host closed the connection]

19:38 lggr has quit [Ping timeout: 264 seconds]

19:39 lggr has joined #ocaml

19:41 fraggle_ has joined #ocaml

19:46 lggr has quit [Ping timeout: 252 seconds]

19:47 eni has quit [Ping timeout: 272 seconds]

19:50 larhat has quit [Ping timeout: 244 seconds]

19:50 larhat1 has joined #ocaml

19:55 lggr has joined #ocaml

19:56 ontologiae has joined #ocaml

19:57 Submarine has quit [Ping timeout: 276 seconds]

19:58 Yoric has joined #ocaml

20:02 osa1 has quit [Quit: Konversation terminated!]

20:03 lggr has quit [Ping timeout: 255 seconds]

20:07 lggr has joined #ocaml

20:08 ontologiae has quit [Ping timeout: 240 seconds]

20:13 lggr has quit [Ping timeout: 245 seconds]

20:18 lggr has joined #ocaml

20:25 lggr has quit [Ping timeout: 255 seconds]

20:28 bddn has joined #ocaml

20:33 eni has joined #ocaml

20:34 lggr has joined #ocaml

20:40 Oejet has quit [Ping timeout: 245 seconds]

20:43 chispita has joined #ocaml

20:44 lggr has quit [Ping timeout: 264 seconds]

20:46 lggr has joined #ocaml

20:47 Yoric has quit [Ping timeout: 246 seconds]

20:50 Xizor has joined #ocaml

20:53 lggr has quit [Ping timeout: 240 seconds]

20:56 larhat1 has quit [Ping timeout: 244 seconds]

20:57 larhat has joined #ocaml

21:02 lggr has joined #ocaml

21:05 Yoric has joined #ocaml

21:09 lggr has quit [Ping timeout: 246 seconds]

21:13 lggr has joined #ocaml

21:14 err404 has joined #ocaml

21:17 Xizor has quit []

21:18 Yoric has quit [Ping timeout: 246 seconds]

21:22 lggr has quit [Ping timeout: 255 seconds]

21:24 lggr has joined #ocaml

21:30 thelema_ has joined #ocaml

21:30 thelema has quit [Remote host closed the connection]

21:31 larhat has quit [Ping timeout: 272 seconds]

21:32 lggr has quit [Ping timeout: 244 seconds]

21:33 cacho has quit [Ping timeout: 272 seconds]

21:36 lggr has joined #ocaml

21:36 larhat has joined #ocaml

21:39 cdidd has quit [Read error: Operation timed out]

21:45 lggr has quit [Ping timeout: 245 seconds]

21:47 lggr has joined #ocaml

21:47 cacho has joined #ocaml

21:53 Cyanure has joined #ocaml

21:55 eni has quit [Quit: Leaving]

21:57 lggr has quit [Ping timeout: 272 seconds]

21:58 lggr has joined #ocaml

22:03 ontologiae has joined #ocaml

22:08 lggr has quit [Ping timeout: 248 seconds]

22:10 lggr has joined #ocaml

22:19 lggr has quit [Ping timeout: 255 seconds]

22:22 lggr has joined #ocaml

22:26 gnuvince has joined #ocaml

22:28 larhat has quit [Ping timeout: 244 seconds]

22:28 pango has quit [Remote host closed the connection]

22:31 lggr has quit [Ping timeout: 245 seconds]

22:33 lggr has joined #ocaml

22:33 pango has joined #ocaml

22:40 lggr has quit [Ping timeout: 252 seconds]

22:46 pango has quit [Remote host closed the connection]

22:47 lggr has joined #ocaml

22:53 pango has joined #ocaml

22:56 lggr has quit [Ping timeout: 255 seconds]

22:58 lggr has joined #ocaml

23:05 lggr has quit [Ping timeout: 252 seconds]

23:12 gnuvince has quit [Ping timeout: 246 seconds]

23:13 ontologiae has quit [Ping timeout: 272 seconds]

23:13 lggr has joined #ocaml

23:22 lggr has quit [Ping timeout: 252 seconds]

23:25 lggr has joined #ocaml

23:25 hongboz has quit [Ping timeout: 244 seconds]

23:31 gnuvince has joined #ocaml

23:32 emmanuelux has joined #ocaml

23:34 lggr has quit [Ping timeout: 240 seconds]

23:36 lggr has joined #ocaml

23:43 lggr has quit [Ping timeout: 245 seconds]

23:50 lggr has joined #ocaml

23:53 Ptival has quit [Quit: Lost terminal]

23:57 Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]

23:57 lggr has quit [Ping timeout: 240 seconds]

23:59 err404 has quit [Remote host closed the connection]