#ocaml on 2014-04-21 — irc logs at freenode.irclog.whitequark.org

2014-01-28 20:18 lapinou changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | http://www.ocaml.org | OCaml 4.01.0 announce at http://bit.ly/1851A3R | Public logs at http://tunes.org/~nef/logs/ocaml/

00:02 rgrinberg has quit [Read error: Connection reset by peer]

00:03 nikki93 has joined #ocaml

00:04 rgrinberg has joined #ocaml

00:07 dapz has joined #ocaml

00:09 dapz has quit [Client Quit]

00:09 tab1293 has quit [Ping timeout: 240 seconds]

00:11 dapz has joined #ocaml

00:15 dapz has quit [Client Quit]

00:15 dapz has joined #ocaml

00:23 mcclurmc has quit [Remote host closed the connection]

00:23 tab1293 has joined #ocaml

00:28 <tab1293> what does the keyword 'and' do in ocaml?

00:28 <Drup> simultaneous definitions

00:29 <nicoo> tab1293: In « let a = expr and b = expr' » it lets you define simultaneously a and b

00:29 nikki93 has quit [Remote host closed the connection]

00:29 <nicoo> Damn you, Drup :)

00:29 <Drup> and mutually recursive definition, with rec

00:29 <Drup> (let rec .. and ...)

00:43 rgrinberg has quit [Quit: Leaving.]

00:44 nikki93 has joined #ocaml

00:44 michael_lee has joined #ocaml

00:46 nikki93 has quit [Remote host closed the connection]

00:47 nikki93 has joined #ocaml

00:48 nikki93 has quit [Read error: Connection reset by peer]

00:48 nikki93 has joined #ocaml

00:55 tautologico has quit [Quit: Connection closed for inactivity]

00:55 tab1293 has quit [Ping timeout: 252 seconds]

00:57 nikki93 has quit [Remote host closed the connection]

01:02 jao has quit [Ping timeout: 250 seconds]

01:06 studybot_ has quit [Read error: Connection reset by peer]

01:10 kig has quit [Quit: kig]

01:29 mcclurmc has joined #ocaml

01:30 studybot has joined #ocaml

01:39 csakatoku has joined #ocaml

01:48 kig has joined #ocaml

01:48 ygrek has joined #ocaml

01:51 clan has quit [Quit: clan]

01:53 divyanshu has joined #ocaml

02:11 dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

02:13 dapz has joined #ocaml

02:15 kig has quit [Quit: kig]

02:23 dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

02:24 rgrinberg has joined #ocaml

02:28 iorivur has quit [Ping timeout: 245 seconds]

02:28 tlockney_away is now known as tlockney

02:32 iorivur has joined #ocaml

02:35 nikki93 has joined #ocaml

02:46 jpdeplaix has quit [Ping timeout: 252 seconds]

02:59 jpdeplaix has joined #ocaml

03:02 q66 has quit [Quit: Leaving]

03:10 mcclurmc has quit [Remote host closed the connection]

03:11 mcclurmc has joined #ocaml

03:13 oriba has quit [Quit: Verlassend]

03:17 waneck_ has quit [Remote host closed the connection]

03:34 iorivur has quit [Ping timeout: 245 seconds]

03:38 divyanshu has quit [Quit: Computer has gone to sleep.]

03:41 clan has joined #ocaml

03:43 rgrinberg has quit [Quit: Leaving.]

03:44 clan has quit [Client Quit]

04:05 iorivur has joined #ocaml

04:06 tab1293 has joined #ocaml

04:10 divyanshu has joined #ocaml

04:10 tlockney is now known as tlockney_away

04:11 <tab1293> can someone explain what the keyword Some does in ocaml. I am looking at this page but still can't figure it out http://ocaml-lib.sourceforge.net/doc/Option.html

04:12 rgrinberg has joined #ocaml

04:12 clan has joined #ocaml

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

04:17 mcclurmc has quit [Remote host closed the connection]

04:30 iorivur has quit [Ping timeout: 276 seconds]

04:53 iorivur has joined #ocaml

04:59 araujo has quit [Quit: Leaving]

05:20 csakatoku has quit []

05:21 jao has joined #ocaml

05:21 jao has quit [Changing host]

05:21 jao has joined #ocaml

05:23 tautologico has joined #ocaml

05:27 axiles has joined #ocaml

05:41 michael_lee has quit [Quit: Ex-Chat]

05:49 dapz has joined #ocaml

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

05:50 ygrek has joined #ocaml

06:02 rgrinberg has quit [Quit: Leaving.]

06:07 iorivur has quit [Ping timeout: 252 seconds]

06:08 racycle__ has quit [Quit: ZZZzzz…]

06:17 ygrek has quit [Ping timeout: 240 seconds]

06:20 dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

06:25 dapz has joined #ocaml

06:27 iorivur has joined #ocaml

06:31 dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

06:36 dapz has joined #ocaml

06:46 alinab has joined #ocaml

06:48 tov has joined #ocaml

06:49 nikki93 has quit [Remote host closed the connection]

06:51 elfring has joined #ocaml

06:55 nikki93 has joined #ocaml

06:58 jao has quit [Ping timeout: 276 seconds]

06:58 dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

07:00 dapz has joined #ocaml

07:05 Simn has joined #ocaml

07:07 slash^ has joined #ocaml

07:07 IbnFirnas_ has quit [Ping timeout: 246 seconds]

07:07 IbnFirnas_ has joined #ocaml

07:07 Eyyub has joined #ocaml

07:13 nikki93 has quit [Remote host closed the connection]

07:13 clan has quit [Quit: clan]

07:15 ggole has joined #ocaml

07:23 ygrek has joined #ocaml

07:23 paolooo has joined #ocaml

07:23 paolooo has quit [Client Quit]

07:24 paolooo has joined #ocaml

07:24 paolooo has quit [Client Quit]

07:38 tab1293 has joined #ocaml

07:39 iorivur has quit [Ping timeout: 252 seconds]

07:42 steshaw has joined #ocaml

07:42 skchrko has joined #ocaml

07:51 iorivur has joined #ocaml

07:56 <flux> tab1293, it's a constuctor

07:56 <flux> it could be defined like: type 'a option = None | Some of 'a

07:57 <flux> so Some 42 produces a value of type int option, with said value

07:58 <tab1293> so if you None would match Some 42 flux?

07:58 <flux> None would not match Some 42

07:58 <flux> only Some 42 matches Some 42 :)

07:59 <tab1293> Then what is the None | Some of 'a mean

07:59 <tab1293> still confused what that definition that you wrote is

08:00 <tab1293> Like where does "Some 42" match into the definition "type 'a option = None | Some of 'a" flux

08:00 <flux> tab1293, it's inside the compiler, because the language itself uses it for optional arguments

08:01 <flux> so that line probably doesn't exist by itself anywhere, but if you wanted to define a type that behaved exactly the same, that would be it

08:03 <tab1293> So if you passed Some 42 is an optional argument to a function?

08:07 <flux> hmm

08:07 <flux> so if what?

08:08 <flux> you can pass Some 42 as a value to a function just the same as any other value

08:08 <flux> but compiler has this special support for ?arguments

08:08 <flux> such as let foo ?arg i = match arg with None -> i | Some x -> x

08:09 <flux> so the types need to be there before the compiler can use them, therefore they need to be built-in

08:11 <ggole> It's in pervasives.ml, but commented out.

08:14 Eyyub has quit [Ping timeout: 245 seconds]

08:15 marr has joined #ocaml

08:16 kig has joined #ocaml

08:18 IbnFirnas_ has quit [Ping timeout: 246 seconds]

08:19 IbnFirnas_ has joined #ocaml

08:24 tab1293 has quit [Ping timeout: 252 seconds]

08:26 maattdd has joined #ocaml

08:28 Kakadu has joined #ocaml

08:32 bartbes_ is now known as bartbes

08:42 iorivur has quit [Remote host closed the connection]

08:59 pminten has joined #ocaml

09:05 rand000 has joined #ocaml

09:11 troydm has quit [Ping timeout: 252 seconds]

09:14 johnf has quit [Read error: Connection reset by peer]

09:14 johnf has joined #ocaml

09:15 zpe has joined #ocaml

09:22 maattdd has quit [Ping timeout: 245 seconds]

09:24 johnf has quit [Read error: Connection reset by peer]

09:24 johnf has joined #ocaml

09:25 ollehar has joined #ocaml

09:26 elfring has quit [Quit: Konversation terminated!]

09:40 kig has quit [Quit: kig]

09:42 marr has quit []

09:45 Geir_ has joined #ocaml

09:46 Geir_ has quit [Client Quit]

09:47 Geir_ has joined #ocaml

09:47 Geir_ is now known as bunzen

09:47 iorivur has joined #ocaml

09:50 maattdd has joined #ocaml

10:02 dsheets has quit [Ping timeout: 245 seconds]

10:06 kig has joined #ocaml

10:12 milosn has quit [Remote host closed the connection]

10:13 Anarchos has joined #ocaml

10:14 iorivur has quit [Ping timeout: 245 seconds]

10:15 milosn has joined #ocaml

10:22 ia0 has quit [Quit: leaving]

10:26 ia0 has joined #ocaml

10:28 iorivur has joined #ocaml

10:29 pminten has quit [Quit: Leaving]

10:42 NoNNaN has quit [Remote host closed the connection]

10:43 NoNNaN has joined #ocaml

10:51 skchrko has quit [Ping timeout: 250 seconds]

11:02 rand000 has quit [Ping timeout: 240 seconds]

11:04 araujo has joined #ocaml

11:04 araujo has quit [Changing host]

11:04 araujo has joined #ocaml

11:04 skchrko has joined #ocaml

11:06 iorivur has quit [Ping timeout: 245 seconds]

11:07 kig has quit [Quit: kig]

11:09 ollehar has quit [Ping timeout: 240 seconds]

11:11 ollehar has joined #ocaml

11:14 ygrek has quit [Ping timeout: 276 seconds]

11:17 pminten has joined #ocaml

11:18 tobiasBora has joined #ocaml

11:29 studybot has quit [Remote host closed the connection]

11:34 dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

11:36 steshaw has quit [Quit: Leaving.]

11:41 ollehar has quit [Ping timeout: 240 seconds]

11:43 watermind has joined #ocaml

11:44 ddosia has joined #ocaml

11:51 studybot has joined #ocaml

11:52 studybot_ has joined #ocaml

11:53 rand000 has joined #ocaml

11:55 studybot has quit [Ping timeout: 240 seconds]

11:55 ygrek has joined #ocaml

12:03 Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]

12:05 lordkryss has joined #ocaml

12:12 q66 has joined #ocaml

12:12 q66 has quit [Changing host]

12:12 q66 has joined #ocaml

12:13 <gasche> Drup , mfp : the thing about -pack you discussed, with an improvement in trunk, would correspond to module aliases

12:15 <gasche> see PR#6063 : http://caml.inria.fr/mantis/view.php?id=6063

12:16 <gasche> the problem is that nobody knows that most of the new module construct mean (module type of, destructive substitution, etc.), so you should expect the feature to have a lot of rough edges even after the release

12:24 iorivur has joined #ocaml

12:34 <mrvn> I guess "type of" could replace much need for packs.

12:35 <Drup> gasche: ah, thanks for the reference, I knew it was somewhere :)

12:46 ygrek has quit [Ping timeout: 264 seconds]

12:47 ollehar has joined #ocaml

12:49 NoNNaN has quit [Ping timeout: 272 seconds]

12:58 NoNNaN has joined #ocaml

13:07 <gasche> Drup: Google search with site:caml.inria.fr/mantis is quite efficient at finding relevant issues

13:08 <gasche> (I suppose real developers just know the PR numbers)

13:08 Anarchos has joined #ocaml

13:12 racycle__ has joined #ocaml

13:13 divyanshu has quit [Quit: Computer has gone to sleep.]

13:13 rand000 has quit [Ping timeout: 240 seconds]

13:14 divyanshu has joined #ocaml

13:15 divyanshu has quit [Client Quit]

13:19 S11001001 has joined #ocaml

13:19 S11001001 has quit [Changing host]

13:19 S11001001 has joined #ocaml

13:19 divyanshu has joined #ocaml

13:22 racycle__ has quit [Quit: ZZZzzz…]

13:24 shinnya has joined #ocaml

13:27 ygrek has joined #ocaml

13:27 divyanshu has quit [Quit: Computer has gone to sleep.]

13:28 saml has joined #ocaml

13:29 maattdd has quit [Ping timeout: 240 seconds]

13:31 hto has quit [Read error: Connection reset by peer]

13:34 darkf has quit [Quit: Leaving]

13:35 sari_e has joined #ocaml

13:35 sari_e is now known as Eyyub

13:36 maattdd has joined #ocaml

13:47 divyanshu has joined #ocaml

13:55 ygrek has quit [Ping timeout: 252 seconds]

14:00 ygrek has joined #ocaml

14:05 tane has joined #ocaml

14:09 tani has joined #ocaml

14:09 tobiasBora has quit [Ping timeout: 240 seconds]

14:13 tane has quit [Ping timeout: 252 seconds]

14:15 tobiasBora has joined #ocaml

14:30 metasyntax has joined #ocaml

14:31 lordkryss has quit [Quit: Connection closed for inactivity]

14:33 Eyyub has quit [Quit: WeeChat 0.4.1]

14:35 slash^ has quit [Ping timeout: 250 seconds]

14:36 slash^ has joined #ocaml

14:48 nlucaroni has joined #ocaml

14:54 nojb has joined #ocaml

14:55 rand000 has joined #ocaml

15:00 mcclurmc has joined #ocaml

15:04 tobiasBora has quit [Quit: Konversation terminated!]

15:10 rgrinberg has joined #ocaml

15:14 racycl___ has joined #ocaml

15:27 pminten has quit [Quit: Leaving]

15:36 lostcuaz has joined #ocaml

15:37 hto has joined #ocaml

15:41 dapz has joined #ocaml

15:43 nojb has quit [Ping timeout: 252 seconds]

15:49 divyanshu has quit [Ping timeout: 276 seconds]

15:51 divyanshu has joined #ocaml

15:51 dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

15:53 dapz has joined #ocaml

15:54 tlockney_away is now known as tlockney

15:55 troydm has joined #ocaml

16:02 Hannibal_Smith has joined #ocaml

16:04 jwatzman|work has joined #ocaml

16:07 shinnya has quit [Ping timeout: 264 seconds]

16:15 q66 has quit [Ping timeout: 252 seconds]

16:21 rgrinberg has quit [Quit: Leaving.]

16:24 rgrinberg has joined #ocaml

16:27 q66 has joined #ocaml

16:27 q66 has quit [Changing host]

16:27 q66 has joined #ocaml

16:36 nikki93 has joined #ocaml

16:41 boogie has joined #ocaml

16:43 maattdd has quit [Ping timeout: 265 seconds]

16:48 dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

17:00 Kakadu has quit [Ping timeout: 240 seconds]

17:02 ygrek has quit [Ping timeout: 276 seconds]

17:03 ollehar has quit [Ping timeout: 240 seconds]

17:03 slash^ has quit [Remote host closed the connection]

17:03 boogie has quit [Read error: Connection reset by peer]

17:04 boogie has joined #ocaml

17:06 Thooms has joined #ocaml

17:10 boogie has quit [Read error: Connection reset by peer]

17:11 boogie has joined #ocaml

17:12 Averell has quit [Read error: Connection reset by peer]

17:17 elfring has joined #ocaml

17:18 nikki93 has quit [Remote host closed the connection]

17:20 <nlucaroni> Is there a directory/filesystem notification or monitoring library for ocaml that is x-platform? (I see inotify bindings for linux, and of course explicitly monitoring Unix.[lf]stat on files/directories)

17:21 maattdd has joined #ocaml

17:22 ygrek has joined #ocaml

17:23 WraithM has joined #ocaml

17:27 averell has joined #ocaml

17:27 maattdd has quit [Ping timeout: 252 seconds]

17:28 patojo has joined #ocaml

17:29 malo has joined #ocaml

17:29 nikki93 has joined #ocaml

17:29 <adrien> well, you should first try to find a C library that is cross-platform

17:29 <adrien> I think glib has something

17:29 <ousado> libuv maybe

17:30 <ousado> but even there supported features are very OS specific

17:31 boogie has quit [Ping timeout: 252 seconds]

17:31 Kakadu has joined #ocaml

17:35 <nlucaroni> Yes, good call. I'll check those out.

17:36 WraithM has quit [Ping timeout: 276 seconds]

18:17 manizzle has joined #ocaml

18:18 ygrek has quit [Ping timeout: 276 seconds]

18:32 nikki93 has quit []

18:46 jao has joined #ocaml

18:46 jao has quit [Changing host]

18:46 jao has joined #ocaml

18:47 rgrinberg has quit [Quit: Leaving.]

19:06 watermind has quit [Ping timeout: 252 seconds]

19:08 clan has joined #ocaml

19:20 ollehar has joined #ocaml

19:20 Hannibal_Smith has quit [Quit: Sto andando via]

19:22 maattdd has joined #ocaml

19:26 maattdd has quit [Ping timeout: 252 seconds]

19:32 rgrinberg has joined #ocaml

19:34 rgrinberg has quit [Client Quit]

19:34 mpmilano has joined #ocaml

19:38 rgrinberg has joined #ocaml

19:41 rgrinberg1 has joined #ocaml

19:44 rgrinberg has quit [Ping timeout: 252 seconds]

19:50 jbrown has joined #ocaml

19:50 ollehar has quit [Quit: ollehar]

19:53 rand000 has quit [Ping timeout: 264 seconds]

19:58 <smondet> Hi, has anyone tried ocamljava (2.x) recently? any insights about it becoming open-source?

19:59 <companion_cube> no idea :/

19:59 S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

20:12 claudiuc has joined #ocaml

20:12 ollehar has joined #ocaml

20:15 watermind has joined #ocaml

20:22 maattdd has joined #ocaml

20:23 shinnya has joined #ocaml

20:26 maattdd has quit [Ping timeout: 252 seconds]

20:36 ikaros has joined #ocaml

20:45 teolicy has joined #ocaml

20:45 axiles has quit [Remote host closed the connection]

20:46 <teolicy> Hi, I'm new to OCaml and have a trivial question. I'm going through the 99 problems (http://ocaml.org/learn/tutorials/99problems.html) page on ocaml.org.

20:46 <teolicy> Here's my solution for finding a list's length, vs. the ocaml.org solution: http://pastebin.com/rNJRastW

20:47 <Drup> pretty much the same

20:47 <teolicy> I don't understand the 'function' keyword, and was probably unable to find the right documentation for it.

20:47 <teolicy> Where is it defined, in a language reference kind of way?

20:47 <Drup> "let f = function ..." ≡ "let f x = match x with ..."

20:48 <Drup> I think it's somwhere in the ocaml manual, it's not very important, just a nice syntactic shortcut :)

20:48 <teolicy> "let f x = function ..." == "let f x y = match y with ..." ?

20:49 <Drup> yes

20:49 <teolicy> OK

20:50 <teolicy> Thanks, I knew it was probably trivial, but wanted to be sure.

20:50 <Drup> no problem :)

20:50 tlockney is now known as tlockney_away

20:52 tlockney_away is now known as tlockney

20:53 tani has quit [Quit: Verlassend]

21:00 divyanshu has quit [Quit: Computer has gone to sleep.]

21:11 Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]

21:20 maattdd has joined #ocaml

21:20 Simn has quit [Quit: Leaving]

21:22 elfring has quit [Quit: Konversation terminated!]

21:28 rand000 has joined #ocaml

21:32 watermind has quit [Ping timeout: 265 seconds]

21:32 jwatzman|work has quit [Quit: jwatzman|work]

21:39 teolicy has quit [Quit: kthxbye]

21:39 jwatzman|work has joined #ocaml

21:45 patojo has quit [Remote host closed the connection]

22:02 boogie has joined #ocaml

22:04 wwilly has quit [Remote host closed the connection]

22:09 watermind has joined #ocaml

22:09 ikaros has quit [Quit: Ex-Chat]

22:09 ollehar has quit [Ping timeout: 264 seconds]

22:21 Kakadu has quit [Quit: Konversation terminated!]

22:32 WraithM has joined #ocaml

22:33 watermind has quit [Ping timeout: 264 seconds]

22:34 Thooms has quit [Ping timeout: 276 seconds]

22:35 watermind has joined #ocaml

22:46 nojb has joined #ocaml

22:54 lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:58 darkf has joined #ocaml

23:00 ccasin has quit [Ping timeout: 246 seconds]

23:01 ccasin has joined #ocaml

23:06 jbrown has quit [Ping timeout: 252 seconds]

23:08 zpe has quit [Remote host closed the connection]

23:09 zpe has joined #ocaml

23:13 zpe has quit [Ping timeout: 252 seconds]

23:14 tlockney is now known as tlockney_away

23:19 jbrown has joined #ocaml

23:22 ThatTreeOverTher has joined #ocaml

23:23 rand000 has quit [Quit: leaving]

23:28 foocraft has joined #ocaml

23:34 madroach has quit [Ping timeout: 252 seconds]

23:36 madroach has joined #ocaml

23:37 maurer has quit [Ping timeout: 240 seconds]

23:41 NoNNaN has quit [Remote host closed the connection]

23:42 NoNNaN has joined #ocaml

23:50 watermind has quit [Quit: Konversation terminated!]

23:53 ggole has quit []

23:55 tab1293 has joined #ocaml

23:55 <tab1293> I am trying to dechipher this code but am having a little trouble of following it: https://github.com/jzhang121391/COMSCI131_Homework2/blob/master/hw2.ml

23:56 <tab1293> so when matcher is called on line 33 is it actually running the check_rest function on line 30?