#ocaml on 2010-07-24 — irc logs at freenode.irclog.whitequark.org

2010-07-23 16:16 gildor changed the topic of #ocaml to: "Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0+rc1 http://permalink.gmane.org/gmane.comp.lang.caml.inria/49387

00:03 Anarchos has left #ocaml []

00:33 jjd27 has joined #ocaml

00:41 |marius| has joined #ocaml

00:41 |marius| has quit [Remote host closed the connection]

00:41 |marius| has joined #ocaml

00:41 mfp has joined #ocaml

00:45 travisbrady has quit [Quit: travisbrady]

00:52 liftM has joined #ocaml

01:21 |marius| has quit [Remote host closed the connection]

02:02 <krankkatze> how may I exit the programm?

02:03 joewilliams_away is now known as joewilliams

02:14 <liftM> krankkatze: use the exit function. For instance: exit 0;;

02:20 <krankkatze> thanks

02:28 aja has joined #ocaml

03:16 joewilliams is now known as joewilliams_away

03:26 seafood has quit [Quit: seafood]

03:40 liftM has quit [Ping timeout: 252 seconds]

03:50 <Associat0r> what is the most elegant OCaml GUI lib out there?

03:52 msteele_ has quit [Ping timeout: 265 seconds]

03:53 philtor has quit [Read error: Operation timed out]

04:01 msteele has joined #ocaml

04:01 seafood has joined #ocaml

04:05 seafood has quit [Client Quit]

04:16 |marius| has joined #ocaml

04:20 seafood has joined #ocaml

04:25 seafood has quit [Quit: seafood]

04:39 seafood has joined #ocaml

04:40 seafood has quit [Client Quit]

04:40 seafood has joined #ocaml

04:42 seafood has quit [Client Quit]

05:42 seafood has joined #ocaml

05:46 aja has quit [Read error: Connection reset by peer]

05:46 Modius has joined #ocaml

05:54 msteele has quit [Quit: Changing server]

06:02 seafood has quit [Quit: seafood]

06:06 jakedouglas has quit [Quit: Leaving.]

06:16 ygrek_ has joined #ocaml

06:39 Amorphous has quit [Ping timeout: 276 seconds]

06:51 Modius has quit [Ping timeout: 276 seconds]

06:53 Amorphous has joined #ocaml

07:42 Associat0r has quit [Quit: Associat0r]

07:47 ygrek_ has quit [Remote host closed the connection]

07:54 |marius| has quit [Remote host closed the connection]

08:05 ygrek_ has joined #ocaml

08:34 xmarteo has joined #ocaml

08:37 ikaros has joined #ocaml

08:38 sepp2k has joined #ocaml

09:12 ulfdoz has joined #ocaml

09:16 verte has joined #ocaml

09:18 seafood has joined #ocaml

09:23 Vassia has joined #ocaml

09:24 Vassia has left #ocaml []

09:41 ttamttam has joined #ocaml

10:34 ftrvxmtrx has quit [Quit: Leaving]

10:39 ftrvxmtrx has joined #ocaml

10:54 Anarchos has joined #ocaml

11:09 seafood has quit [Read error: Connection reset by peer]

11:09 seafood_ has joined #ocaml

11:10 seafood_ has quit [Client Quit]

11:17 Anarchos has quit [Ping timeout: 240 seconds]

11:18 Yoric has joined #ocaml

11:24 Vassia has joined #ocaml

11:28 Vassia has quit [Ping timeout: 240 seconds]

11:39 ikaros has quit [Quit: Leave the magic to Houdini]

12:00 ttamttam has quit [Quit: Leaving.]

12:14 Vassia has joined #ocaml

12:23 Vassia has quit [Ping timeout: 258 seconds]

12:24 Anarchos has joined #ocaml

12:38 Yoric has quit [Quit: Yoric]

12:49 ulfdoz_ has joined #ocaml

12:49 Anarchos has quit [Read error: Connection reset by peer]

12:51 Anarchos has joined #ocaml

12:52 ulfdoz has quit [Ping timeout: 260 seconds]

13:08 yziquel has joined #ocaml

13:08 Tianon has quit [Read error: Operation timed out]

13:11 Tianon has joined #ocaml

13:11 Tianon has quit [Changing host]

13:11 Tianon has joined #ocaml

13:46 dark has quit [Ping timeout: 265 seconds]

13:58 ulfdoz_ has quit [Quit: Reconnecting]

13:58 ulfdoz has joined #ocaml

13:58 dark has joined #ocaml

14:32 Vassia has joined #ocaml

14:37 Vassia has quit [Ping timeout: 260 seconds]

14:45 Associat0r has joined #ocaml

14:56 verte has quit [Quit: ~~~ Crash in JIT!]

15:33 jakedouglas has joined #ocaml

15:53 jakedouglas has quit [Quit: Leaving.]

16:43 yziquel has quit [Ping timeout: 252 seconds]

16:44 Vassia has joined #ocaml

16:48 Vassia has quit [Ping timeout: 260 seconds]

16:49 chee has quit [Read error: Connection reset by peer]

17:28 chee has joined #ocaml

17:37 jakedouglas has joined #ocaml

17:51 jakedouglas has quit [Quit: Leaving.]

18:10 Asmadeus has quit [Ping timeout: 260 seconds]

18:15 npouillard has quit [Ping timeout: 252 seconds]

18:15 mehdid has quit [Quit: Reconnecting]

18:19 gildor has quit [Ping timeout: 265 seconds]

18:21 chee has quit [Ping timeout: 265 seconds]

18:21 mihamina has joined #ocaml

18:21 liftM has joined #ocaml

18:21 <mihamina> HI all

18:23 <liftM> Hi!

18:24 npouillard has joined #ocaml

18:24 <mihamina> I want to build a recursive function that convert ["a", "b", "c",..."x"] to (x,(...(c,(b,a)))), and I tried: http://pastebin.org/415588 but get type error

18:24 |marius| has joined #ocaml

18:25 <mihamina> how to ?

18:27 Asmadeus has joined #ocaml

18:29 <sepp2k> mihamina: Such a function would have a different return type depending on the length of the input list, so it's not possible.

18:30 chee has joined #ocaml

18:30 gildor has joined #ocaml

18:31 <coucou747> sepp2k, Obj.magic :D

18:32 mehdid has joined #ocaml

18:35 patronus has quit [Ping timeout: 240 seconds]

18:37 mehdid has quit [Client Quit]

18:37 mehdid has joined #ocaml

18:38 <coucou747> type 'a t = 'a * 'a t

18:38 <coucou747> let rec totuple ( li : 'a list ) : 'a t = match li with

18:38 <coucou747> | hd::tl -> Obj.magic (hd, totuple tl)

18:38 <coucou747> | [] -> Obj.magic ()

18:38 <coucou747> :D the toplvl segfault

18:39 <coucou747> the first obj.magic is useless

18:39 <coucou747> mihamina, it's a bad idea to do this kind of function

18:42 patronus has joined #ocaml

18:43 mehdid has quit [Ping timeout: 248 seconds]

18:44 adrien has quit [Ping timeout: 276 seconds]

18:44 gildor has quit [Ping timeout: 258 seconds]

18:50 toner has joined #ocaml

18:51 gildor has joined #ocaml

18:51 mehdid has joined #ocaml

18:53 adrien has joined #ocaml

18:53 <mihamina> coucou747: I understant

18:54 mehdid has quit [Client Quit]

18:54 mehdid has joined #ocaml

18:54 <mihamina> do you know ocsigen?

18:54 <coucou747> I work for mlstate

18:54 <mihamina> uh

18:54 <coucou747> and ocsigen is hum... a neighboor

18:54 <coucou747> in Paris

18:54 <coucou747> ocsigen is developped near Paris VII (an university)

18:55 <coucou747> and mlstate developp OPA (a compiler for a web language) in ocaml, in a building near Paris VII

18:55 <coucou747> I have some fiends who works for ocsigen

18:55 Vassia has joined #ocaml

18:56 <coucou747> so yes I know some parts of this project

18:56 <mihamina> alright. I try to build a web form from a list, in ocsigen

18:56 <mihamina> the list has variable length

18:56 <Anarchos> i used ocaml 3.10.2 with a cvs repo, how to convert to the new svn ?

18:57 <mihamina> but to build a form, in ocsigen, you build a function : http://ocsigen.org/eliom/manual/1.3.0/1#p1forms

18:57 <mihamina> have a look at create_form

19:02 Vassia has quit [Ping timeout: 240 seconds]

19:06 afreq has joined #ocaml

19:08 thieusoai has quit [Ping timeout: 258 seconds]

19:09 <Associat0r> guys what is the most elegant GUI lib for OCaml?

19:09 <Associat0r> from a code standpoint

19:12 npouillard has quit [Ping timeout: 252 seconds]

19:16 thieusoai has joined #ocaml

19:19 npouillard has joined #ocaml

19:44 |marius| has quit [Remote host closed the connection]

19:46 <dark> Associat0r, i don't know, but i would use lablgtk

19:47 <dark> just because i'm familiar with pygtk and C gtk interface

19:47 <Associat0r> I'm looking for the most OCaml like approach

19:47 <dark> It uses the rich type system of Objective Caml 3 to provide a strongly typed, yet very comfortable, object-oriented interface to gtk+. This is not that easy if you know the dynamic typing approach taken by gtk+.

19:48 <dark> it looks like it uses ocaml well

19:48 <dark> http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html

19:48 <Associat0r> thanks for advice

19:50 npouillard has quit [Read error: Operation timed out]

19:52 npouillard has joined #ocaml

20:00 <sgnb> for Debian users, http://ocaml.debian.net/debian/ocaml3120rc1/

20:02 chee has quit [Ping timeout: 276 seconds]

20:03 chee has joined #ocaml

20:36 ygrek_ has quit [Ping timeout: 245 seconds]

20:49 mjonsson has joined #ocaml

20:58 Vassia has joined #ocaml

21:02 Vassia has quit [Ping timeout: 248 seconds]

21:09 |marius| has joined #ocaml

21:12 jakedouglas has joined #ocaml

21:27 bluestorm has joined #ocaml

21:33 chee has quit [Ping timeout: 265 seconds]

21:48 adrien has quit [Ping timeout: 260 seconds]

21:48 gildor has quit [Ping timeout: 260 seconds]

21:49 adrien has joined #ocaml

21:50 gildor has joined #ocaml

21:55 chee has joined #ocaml

21:59 xmarteo has quit [Quit: Debian GNU/Hurd is Good.]

22:12 liftM has quit [Ping timeout: 252 seconds]

22:12 sepp2k has quit [Quit: Leaving.]

22:19 m00npirate has joined #ocaml

22:19 <m00npirate> just curious since google cant search for symbols, what does this syntax mean: {< stuff >}

22:22 <Anarchos> m00npirate in which context ?

22:22 <m00npirate> there are some assignment statements in it

22:23 <Anarchos> records with only some fields modified ?

22:23 <m00npirate> method mymethod () = {< var1 = ref something; var2 = ref somethingelse >}

22:23 <m00npirate> doesnt have := either which is weird

22:23 <bluestorm> it's an object copy

22:23 <m00npirate> ahh ok

22:23 <m00npirate> that makes sense

22:23 <bluestorm> it means "a copy of the current object with the following changes to the object attributes"

22:23 <m00npirate> ahhhhh

22:24 <m00npirate> awesome

22:24 <m00npirate> thanks all

22:24 liftM has joined #ocaml

22:25 m00npirate has left #ocaml []

22:30 Associat0r has quit [Read error: Connection reset by peer]

22:36 Associat0r has joined #ocaml

22:40 liftM has quit [Quit: Page closed]

22:54 jakedouglas has quit [Quit: Leaving.]

23:02 ulfdoz has quit [Ping timeout: 248 seconds]

23:10 seafood has joined #ocaml

23:15 litM has joined #ocaml

23:15 seafood has quit [Client Quit]

23:18 seafood has joined #ocaml

23:33 jakedouglas has joined #ocaml

23:56 coucou747 has quit [Remote host closed the connection]