#ocaml on 2012-05-01 — 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:04 ulfdoz_ has joined #ocaml

00:07 ulfdoz has quit [Ping timeout: 260 seconds]

00:07 ulfdoz_ is now known as ulfdoz

00:13 mjonsson has joined #ocaml

00:33 smerz has quit [Remote host closed the connection]

00:41 <pippijn> why are custom operators &&~ and ||~ of the same precedence, but && and || are not?

00:43 <pippijn> http://paste.xinu.at/M4amx0/ocaml <- like this

00:45 <thelema> pippijn: Map.choose is for when you need a single element to start folding

00:46 <thelema> or for fold-like operations where you start with any element of the map, and do something to eliminate a bunch of other elements

00:46 <thelema> and then take another element, etc.

00:47 <thelema> pippijn: functional doesn't work well with hash

00:48 <pippijn> thelema: that's true

00:48 <pippijn> I guess I'll just make a build-once hash table that hides the mutating operations

00:49 <thelema> hmm, I'm not sure about ||~ and &&~; according to this they should be different precedence: http://caml.inria.fr/pub/docs/manual-ocaml/expr.html

00:49 <thelema> ah, n/m, it's because |... and &... have same precedence

00:49 <pippijn> oh

00:50 <pippijn> oh yeah.. =… <… >… |… &… $…

00:50 <pippijn> not nice

01:01 <pippijn> thelema: actually I knew that, but I am still wondering why

01:10 <thelema> pippijn: because that's how xavier decided it long ago, I think. I don't see any particular reason for it.

01:11 diego_diego has quit [Quit: diego_diego]

01:25 struktured has quit [Ping timeout: 248 seconds]

01:50 mjonsson has quit [Remote host closed the connection]

01:54 mudbutt has joined #ocaml

02:01 saml has joined #ocaml

02:01 <saml> hey, what's difference between class c = fun x -> object end;; and let c = fun x -> object end;; ?

02:02 <saml> is there reference for keywords like class, sig, mutable, .. etc?

02:03 <thelema> saml: one defines a class that can be inherited from, while the other defines an immediate object

02:04 <thelema> saml: I refer to this a lot: http://caml.inria.fr/pub/docs/manual-ocaml/index.html

02:04 <thelema> you may want this section: http://caml.inria.fr/pub/docs/manual-ocaml/language.html

02:04 <saml> thelema, ah thanks. i was reading manual too

02:04 <saml> is that the recommended primary source for beginners?

02:05 <saml> the manual, i mean. i like the tempo of manual.. but sometimes i want to dig deeper

02:06 <thelema> primary source is only the source code, which is not for beginners

02:06 <thelema> but the manual does hold pretty much every ocaml secret, you just have to read it correctly

02:07 <saml> source code of compiler?

02:07 <thelema> yes

02:07 <saml> is it that easy to read?

02:07 <thelema> well written, but not that heavily documented internally

02:07 <saml> i see.

02:07 <thelema> it's much smaller a source code than many similar compilers

02:07 <saml> http://caml.inria.fr/pub/docs/oreilly-book/ is this recommended?

02:08 <thelema> so it's definitely grokable if you have the background for it

02:08 <thelema> yes, the oreilly book is fine, it's just not a key reference.

02:09 <saml> ah thank you

02:15 <saml> is there package manager for ocaml? or do I install 3rd party libraries manually?

02:16 <thelema> odb and godi

02:17 BiDOrD has joined #ocaml

02:19 fraggle_laptop has quit [Remote host closed the connection]

02:19 <saml> hrm.. will odb replace godi once it is released?

02:19 <thelema> odb is released, but has much less grand visions than godi

02:19 <thelema> ignore all the huge "alpha" warnings on oasis-db

02:20 BiDOrD_ has quit [Ping timeout: 272 seconds]

02:20 <thelema> oasis-db is one package source for odb; odb can work from local files and remote "package" files

02:56 The_third_bug has quit [Ping timeout: 256 seconds]

02:56 oriba_ has quit [Quit: oriba_]

03:00 The_third_bug has joined #ocaml

03:39 saml has quit [Quit: Leaving]

03:59 MaskRay_ has joined #ocaml

04:00 MaskRay_ is now known as MaskRay

04:16 mcclurmc has quit [Ping timeout: 240 seconds]

04:34 mudbutt has quit [Remote host closed the connection]

04:45 sgnb has joined #ocaml

05:01 larhat has joined #ocaml

05:01 larhat has quit [Client Quit]

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

06:04 Tobu has joined #ocaml

06:11 tmaeda has quit [Ping timeout: 248 seconds]

06:15 johnnowak has joined #ocaml

06:17 tmaeda has joined #ocaml

06:27 johnnowak has left #ocaml []

06:34 julien_t has quit [Ping timeout: 245 seconds]

06:42 Tobu has quit [Ping timeout: 260 seconds]

07:12 hto has joined #ocaml

07:20 Tobu has joined #ocaml

07:32 Zedrikov has joined #ocaml

07:36 ftrvxmtrx_ has joined #ocaml

07:37 roha has joined #ocaml

07:38 Cyanure has joined #ocaml

07:49 tufisi has joined #ocaml

08:09 err404 has joined #ocaml

08:25 avsm has joined #ocaml

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

08:28 ivan\ has joined #ocaml

08:30 tmaeda has quit [Quit: Quit Nadoka 0.8.1+git]

08:33 tmaeda has joined #ocaml

08:38 tufisi has quit [Ping timeout: 245 seconds]

08:51 roha has quit [Ping timeout: 248 seconds]

08:59 hiptobecubic has joined #ocaml

09:00 Tobu has quit [Remote host closed the connection]

09:00 Tobu has joined #ocaml

09:16 roha has joined #ocaml

09:35 ggherdov has joined #ocaml

09:40 hiptobecubic has quit [Ping timeout: 245 seconds]

09:40 err404 has quit [Remote host closed the connection]

09:41 Hussaind has joined #ocaml

09:47 itewsh has joined #ocaml

09:49 arquebus has joined #ocaml

09:50 iZsh has quit [Read error: Operation timed out]

09:54 avsm has quit [Quit: Leaving.]

09:55 iZsh has joined #ocaml

09:58 hiptobecubic has joined #ocaml

10:05 roha has quit [Ping timeout: 260 seconds]

10:06 tufisi has joined #ocaml

10:15 arquebus has quit [Remote host closed the connection]

10:20 ftrvxmtrx_ has quit [Ping timeout: 240 seconds]

10:21 err404 has joined #ocaml

10:23 djcoin has joined #ocaml

10:30 avsm has joined #ocaml

10:31 avsm has quit [Client Quit]

10:33 ftrvxmtrx_ has joined #ocaml

10:33 hiptobecubic has quit [Ping timeout: 245 seconds]

10:47 eni has joined #ocaml

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

11:12 itewsh has quit [Quit: o/]

11:18 MaskRay has quit [Read error: Connection reset by peer]

11:19 MaskRay has joined #ocaml

11:33 eni has quit [Ping timeout: 260 seconds]

11:33 hiptobecubic has joined #ocaml

11:51 gnuvince has quit [Ping timeout: 244 seconds]

11:54 Kakadu has joined #ocaml

11:55 MaskRay has quit [Ping timeout: 252 seconds]

11:57 avsm has joined #ocaml

11:57 MaskRay has joined #ocaml

12:27 testcocoon has quit [Quit: Coyote finally caught me]

12:29 avsm has quit [Read error: No route to host]

12:30 avsm has joined #ocaml

12:30 mcclurmc_ has joined #ocaml

12:32 gnuvince has joined #ocaml

12:32 testcocoon has joined #ocaml

12:36 smerz has joined #ocaml

12:37 hiptobecubic has quit [Ping timeout: 245 seconds]

12:49 hiptobecubic has joined #ocaml

13:08 ggherdov has left #ocaml []

13:38 saml has joined #ocaml

13:44 mattrepl has joined #ocaml

13:53 testcocoon has quit [Quit: Coyote finally caught me]

13:57 testcocoon has joined #ocaml

14:03 mattrepl has quit [Quit: mattrepl]

14:04 sander_ has joined #ocaml

14:06 smondet has joined #ocaml

14:08 testcocoon has quit [Quit: Coyote finally caught me]

14:13 iago has joined #ocaml

14:13 mattrepl has joined #ocaml

14:25 testcocoon has joined #ocaml

14:31 mattrepl has quit [Quit: mattrepl]

14:39 djcoin has quit [Quit: WeeChat 0.3.2]

14:44 ggherdov has joined #ocaml

14:45 ggherdov has left #ocaml []

14:51 Pacane has quit [Remote host closed the connection]

14:56 Tobu has joined #ocaml

15:30 <jaxtr> ahh it's a wonderful day

15:42 <Qrntz> indeed

15:44 letrec has joined #ocaml

15:47 foocraft is now known as els

16:11 MaskRay has quit [Quit: leaving]

16:18 ulfdoz has quit [Ping timeout: 265 seconds]

16:19 letrec has quit [Quit: Konversation terminated!]

16:21 roha has joined #ocaml

16:33 iago has quit [Ping timeout: 260 seconds]

17:34 clog has quit [^C]

17:34 clog has joined #ocaml

17:39 ftrvxmtrx_ has quit [Read error: Connection reset by peer]

17:40 ftrvxmtrx_ has joined #ocaml

18:03 Cyanure has joined #ocaml

18:05 Transformer has joined #ocaml

18:05 Transformer has quit [Excess Flood]

18:12 larhat has joined #ocaml

18:25 hiptobecubic has quit [Ping timeout: 245 seconds]

18:30 ftrvxmtrx__ has joined #ocaml

18:31 Hussaind has quit [Quit: Konversation terminated!]

18:32 ftrvxmtrx_ has quit [Read error: Operation timed out]

18:41 Anonyme53710 has joined #ocaml

18:43 Kakadu has quit [Read error: Connection reset by peer]

18:44 Kakadu has joined #ocaml

18:44 Kakadu has quit [Read error: Connection reset by peer]

18:44 Kakadu has joined #ocaml

18:48 larhat has quit [Read error: Connection timed out]

18:50 larhat has joined #ocaml

18:51 cyphase has quit [Ping timeout: 246 seconds]

18:54 larhat has quit [Ping timeout: 244 seconds]

19:04 tchell has quit [Ping timeout: 244 seconds]

19:05 mehitabel has quit [Ping timeout: 240 seconds]

19:06 cyphase has joined #ocaml

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

19:21 avsm has quit [Quit: Leaving.]

19:23 err404 has joined #ocaml

19:24 Zedrikov has quit [Read error: Connection reset by peer]

19:38 hiptobecubic has joined #ocaml

19:39 Zedrikov has joined #ocaml

19:39 Zedrikov has quit [Remote host closed the connection]

19:42 misreckoning has joined #ocaml

19:42 misreckoning has left #ocaml []

19:52 zorun has quit [Quit: leaving]

19:52 zorun has joined #ocaml

19:56 snearch has joined #ocaml

19:56 tchell has joined #ocaml

19:56 mehitabel has joined #ocaml

20:03 avsm has joined #ocaml

20:06 zorun has quit [Quit: leaving]

20:06 zorun has joined #ocaml

20:09 The_third_bug has quit [Ping timeout: 246 seconds]

20:10 The_third_bug has joined #ocaml

20:15 mattrepl has joined #ocaml

20:17 r126f has quit [Ping timeout: 240 seconds]

20:18 r126f has joined #ocaml

20:47 Kakadu has quit [Quit: Konversation terminated!]

20:48 bkheops has joined #ocaml

20:48 gnuvince has quit [Ping timeout: 256 seconds]

20:59 iago has joined #ocaml

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

21:03 zaltekk has quit [Ping timeout: 240 seconds]

21:13 roha has joined #ocaml

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

21:30 dsheets has joined #ocaml

21:37 saml has quit [Quit: Leaving]

21:40 larhat has joined #ocaml

21:42 sivoais has joined #ocaml

21:51 gnuvince has joined #ocaml

21:54 smondet has quit [Remote host closed the connection]

21:56 snearch has quit [Quit: Verlassend]

22:08 oriba has joined #ocaml

22:11 larhat has quit [Read error: Connection timed out]

22:11 hiptobecubic has quit [Ping timeout: 260 seconds]

22:47 thelema_ has joined #ocaml

22:49 _xizor has joined #ocaml

22:51 pheredhel` has joined #ocaml

22:51 Anonyme53710 has quit [Ping timeout: 260 seconds]

22:55 sivoais has quit [Quit: Lost terminal]

22:56 tlockney_ has joined #ocaml

22:57 silver has quit [*.net *.split]

22:57 bobry has quit [*.net *.split]

22:57 krktz has quit [*.net *.split]

22:57 tlockney has quit [*.net *.split]

22:57 adrien has quit [*.net *.split]

22:57 pheredhel has quit [*.net *.split]

22:57 mattrepl has quit [*.net *.split]

22:57 avsm has quit [*.net *.split]

22:57 thelema has quit [*.net *.split]

22:57 hcarty has quit [*.net *.split]

22:57 joewilliams has quit [*.net *.split]

22:57 TaXules_ has quit [*.net *.split]

22:57 `micro has quit [*.net *.split]

22:57 gnuvince has quit [*.net *.split]

22:57 dsheets has quit [*.net *.split]

22:57 TDJACR has quit [*.net *.split]

22:57 ski has quit [*.net *.split]

22:57 IbnFirnas has quit [*.net *.split]

22:57 Tianon has quit [*.net *.split]

22:57 j2d2j2d2 has quit [*.net *.split]

22:57 nimred has quit [*.net *.split]

22:57 ccasin has quit [*.net *.split]

22:57 jonafan has quit [*.net *.split]

22:57 srcerer has quit [*.net *.split]

22:57 sander_ has quit [*.net *.split]

22:57 haelix has quit [*.net *.split]

22:57 Hodapp has quit [*.net *.split]

22:57 hnrgrgr has quit [*.net *.split]

22:57 companion_cube has quit [*.net *.split]

22:57 deavid has quit [*.net *.split]

22:57 Asmadeus has quit [*.net *.split]

22:57 patronus has quit [*.net *.split]

22:57 roha has quit [*.net *.split]

22:57 cyphase has quit [*.net *.split]

22:57 svenl has quit [*.net *.split]

22:57 GPHemsley has quit [*.net *.split]

22:57 els has quit [*.net *.split]

22:57 othiym23 has quit [*.net *.split]

22:57 noamsml has quit [*.net *.split]

22:57 pou has quit [*.net *.split]

22:57 ousado has quit [*.net *.split]

22:57 mcclurmc_ is now known as mcclurmc

22:57 TaXules has joined #ocaml

22:59 MaskRay has joined #ocaml

22:59 Drakken has joined #ocaml

23:01 silver has joined #ocaml

23:01 Guest91324 has joined #ocaml

23:01 gnuvince has joined #ocaml

23:01 dsheets has joined #ocaml

23:01 avsm has joined #ocaml

23:01 j2d2j2d2 has joined #ocaml

23:01 TDJACR has joined #ocaml

23:01 ski has joined #ocaml

23:01 hcarty has joined #ocaml

23:01 bobry has joined #ocaml

23:01 IbnFirnas has joined #ocaml

23:01 Tianon has joined #ocaml

23:01 krktz has joined #ocaml

23:01 adrien has joined #ocaml

23:01 srcerer has joined #ocaml

23:01 jonafan has joined #ocaml

23:01 ccasin has joined #ocaml

23:01 nimred has joined #ocaml

23:01 mcclurmc is now known as 31NAA87MH

23:01 sander_ has joined #ocaml

23:01 haelix has joined #ocaml

23:01 Hodapp has joined #ocaml

23:01 hnrgrgr has joined #ocaml

23:01 companion_cube has joined #ocaml

23:01 deavid has joined #ocaml

23:01 Asmadeus has joined #ocaml

23:01 patronus has joined #ocaml

23:01 mattrepl has joined #ocaml

23:01 MaskRay is now known as Guest78347

23:02 srcerer has quit [Ping timeout: 245 seconds]

23:02 joewilliams has joined #ocaml

23:02 roha has joined #ocaml

23:02 cyphase has joined #ocaml

23:02 svenl has joined #ocaml

23:02 GPHemsley has joined #ocaml

23:02 els has joined #ocaml

23:02 othiym23 has joined #ocaml

23:02 noamsml has joined #ocaml

23:02 pou has joined #ocaml

23:02 ousado has joined #ocaml

23:02 roha has quit [Ping timeout: 276 seconds]

23:03 cyphase has quit [Max SendQ exceeded]

23:03 _xizor has quit [Ping timeout: 260 seconds]

23:04 smerz has quit [Read error: Connection reset by peer]

23:04 cyphase has joined #ocaml

23:05 sander_ has quit [Quit: Leaving]

23:11 srcerer has joined #ocaml

23:13 Zedrikov has joined #ocaml

23:17 els has quit [Ping timeout: 276 seconds]

23:18 els has joined #ocaml

23:18 mattrepl has quit [Quit: mattrepl]

23:24 patronus_ has joined #ocaml

23:25 haelix_ has joined #ocaml

23:25 hnrgrgr_ has joined #ocaml

23:25 deavidsedice has joined #ocaml

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

23:26 Hodapp_ has joined #ocaml

23:27 Asmadeus_ has joined #ocaml

23:27 Guest78347 has quit [Changing host]

23:27 Guest78347 has joined #ocaml

23:28 Asmadeus has quit [Disconnected by services]

23:28 Asmadeus_ is now known as Asmadeus

23:29 companio1_square has joined #ocaml

23:29 <Drakken> good evening camlrs :)

23:29 <Qrntz> good evening Drakken

23:31 Cyanure has quit [Read error: Connection reset by peer]

23:32 <Drakken> Does anyone know what's the best/simplest way to add functions modularly to a mutual recursion? The best I can think of is continuation passing.

23:33 haelix has quit [*.net *.split]

23:33 Hodapp has quit [*.net *.split]

23:33 hnrgrgr has quit [*.net *.split]

23:33 companion_cube has quit [*.net *.split]

23:33 deavid has quit [*.net *.split]

23:33 patronus has quit [*.net *.split]

23:34 letrec has joined #ocaml

23:39 caligula_ has joined #ocaml

23:40 gildor has joined #ocaml

23:41 TaXules_ has joined #ocaml

23:42 tlockney has joined #ocaml

23:42 thelema has joined #ocaml

23:42 r126f has quit [Ping timeout: 260 seconds]

23:42 caligula has quit [Remote host closed the connection]

23:42 gildor_ has quit [Ping timeout: 260 seconds]

23:42 TaXules has quit [Ping timeout: 260 seconds]

23:42 tlockney_ has quit [Ping timeout: 260 seconds]

23:44 r126f has joined #ocaml

23:45 deavid has joined #ocaml

23:45 maufred has joined #ocaml

23:45 bkheops has quit [Remote host closed the connection]

23:46 rossberg_ has joined #ocaml

23:46 Guest78347 has quit [Quit: Changing server]

23:46 fds_ has joined #ocaml

23:46 pollux_ has joined #ocaml

23:47 olasd_ has joined #ocaml

23:47 olasd_ has quit [Changing host]

23:47 olasd_ has joined #ocaml

23:47 olasd_ has quit [Client Quit]

23:47 jlouis_ has joined #ocaml

23:47 NaCl_ has joined #ocaml

23:47 habnabit has joined #ocaml

23:48 olasd_ has joined #ocaml

23:48 olasd_ has quit [Changing host]

23:48 olasd_ has joined #ocaml

23:49 olasd has quit [Disconnected by services]

23:49 olasd_ is now known as olasd

23:50 mal``` has joined #ocaml

23:51 ivan\_ has joined #ocaml

23:51 ivan\ has quit [Ping timeout: 272 seconds]

23:51 mal`` has quit [Ping timeout: 272 seconds]

23:51 thelema_ has quit [Ping timeout: 272 seconds]

23:51 maufred_ has quit [Ping timeout: 272 seconds]

23:51 pollux has quit [Ping timeout: 272 seconds]

23:51 fds has quit [Ping timeout: 272 seconds]

23:51 deavidsedice has quit [Ping timeout: 272 seconds]

23:51 rossberg has quit [Ping timeout: 272 seconds]

23:51 _habnabit has quit [Ping timeout: 272 seconds]

23:51 NaCl has quit [Ping timeout: 272 seconds]

23:51 jlouis has quit [Ping timeout: 272 seconds]

23:51 mal``` is now known as mal``

23:51 pollux_ is now known as pollux

23:52 ivan\_ is now known as ivan\

23:55 habnabit is now known as _habnabit

23:58 sivoais has joined #ocaml