#ocaml on 2014-03-01 — 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:01 nikki93 has joined #ocaml

00:06 patojo has quit [Remote host closed the connection]

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

00:07 arjunguha has joined #ocaml

00:09 jwatzman|work has quit [Quit: jwatzman|work]

00:10 arjunguha has quit [Client Quit]

00:11 arjunguha has joined #ocaml

00:12 nikki93 has joined #ocaml

00:18 tlockney_away is now known as tlockney

00:25 rand000 has quit [Quit: leaving]

00:25 shinnya has joined #ocaml

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

00:26 Simn has quit [Quit: Leaving]

00:47 xaimus_ is now known as xaimus

00:53 claudiuc_ has joined #ocaml

00:57 claudiuc has quit [Ping timeout: 264 seconds]

00:58 ollehar has quit [Ping timeout: 244 seconds]

01:00 ollehar has joined #ocaml

01:01 tlockney is now known as tlockney_away

01:19 nikki93 has quit [Remote host closed the connection]

01:19 ollehar has quit [Ping timeout: 264 seconds]

01:20 S11001001 has joined #ocaml

01:20 S11001001 has quit [Changing host]

01:20 S11001001 has joined #ocaml

01:35 introom has joined #ocaml

01:46 <bernardofpc> I was trying to write an ocamllex for changing subtitle times (I figure there might be plenty of them in the interwebs, but anyway)

01:46 <bernardofpc> so the file format is a plain text, and finding the lines with the times is pretty straightforward

01:47 <bernardofpc> but I couldn't manage to make an "else" case to just copy the line if it is not a timing-line

01:52 arjunguha has quit [Quit: Textual IRC Client: www.textualapp.com]

02:02 zpe_ has quit [Remote host closed the connection]

02:02 zpe has joined #ocaml

02:06 zpe has quit [Ping timeout: 240 seconds]

02:09 tlockney_away is now known as tlockney

02:16 introom has quit [Ping timeout: 264 seconds]

02:33 zpe has joined #ocaml

02:34 ygrek_ has joined #ocaml

02:41 zpe has quit [Ping timeout: 252 seconds]

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

03:10 WraithM_ has quit [Ping timeout: 264 seconds]

03:11 q66 has joined #ocaml

03:35 ygrek_ has quit [Ping timeout: 240 seconds]

03:37 zpe has joined #ocaml

03:41 S11001001 has joined #ocaml

03:41 S11001001 has quit [Changing host]

03:41 S11001001 has joined #ocaml

03:42 zpe has quit [Ping timeout: 264 seconds]

03:53 claudiuc_ has quit [Ping timeout: 264 seconds]

03:54 claudiuc has joined #ocaml

03:58 claudiuc_ has joined #ocaml

04:02 claudiuc has quit [Ping timeout: 240 seconds]

04:05 claudiuc has joined #ocaml

04:09 claudiuc_ has quit [Ping timeout: 264 seconds]

04:18 r0b1 has quit [Ping timeout: 264 seconds]

04:20 ygrek_ has joined #ocaml

04:30 introom has joined #ocaml

04:33 q66 has quit [Quit: Leaving]

04:48 ddosia has joined #ocaml

05:03 ggole has joined #ocaml

05:14 bicgena has joined #ocaml

05:47 ddosia has quit [Quit: Leaving.]

05:54 ygrek_ has quit [Ping timeout: 264 seconds]

06:07 Guest____ has joined #ocaml

06:07 angerman has joined #ocaml

06:11 sw1nn has joined #ocaml

06:17 sw1nn` has joined #ocaml

06:17 sw1nn` is now known as Guest61828

06:18 sw1nn has quit [Ping timeout: 240 seconds]

06:19 Kakadu has joined #ocaml

06:39 zpe has joined #ocaml

06:41 angerman has quit [Remote host closed the connection]

06:41 angerman has joined #ocaml

06:43 zpe has quit [Ping timeout: 240 seconds]

06:52 axiles has joined #ocaml

07:17 tlockney is now known as tlockney_away

07:18 mort___ has joined #ocaml

07:21 angerman_ has joined #ocaml

07:26 angerman has quit [Ping timeout: 264 seconds]

07:35 Simn has joined #ocaml

07:44 yacks has joined #ocaml

07:45 arturgadelshin has quit [Read error: Connection reset by peer]

07:46 arturgadelshin has joined #ocaml

07:49 zpe has joined #ocaml

07:51 _5kg_ has quit [Ping timeout: 265 seconds]

07:53 zpe has quit [Ping timeout: 240 seconds]

07:58 lopho has quit [Ping timeout: 245 seconds]

08:04 maurer_ has quit [Remote host closed the connection]

08:06 introom has quit [Ping timeout: 240 seconds]

08:10 maurer has joined #ocaml

08:11 lopho has joined #ocaml

08:14 maurer has quit [Ping timeout: 252 seconds]

08:15 wwilly has joined #ocaml

08:18 Guest____ has quit [Ping timeout: 264 seconds]

08:20 maurer has joined #ocaml

08:23 Guest___ has joined #ocaml

08:25 maurer has quit [Ping timeout: 240 seconds]

08:26 saapw has joined #ocaml

08:32 <wwilly> bonjour

08:34 _flatline_ has quit [Quit: Leaving]

08:42 mort___ has quit [Quit: Leaving.]

08:42 mort___ has joined #ocaml

08:55 mort___ has quit [Quit: Leaving.]

08:56 ollehar has joined #ocaml

08:59 Guest61828 has quit [Remote host closed the connection]

08:59 saapw has quit [Quit: Leaving.]

08:59 Guest61828 has joined #ocaml

09:00 mort___ has joined #ocaml

09:02 tane has joined #ocaml

09:02 ggole has quit []

09:03 introom has joined #ocaml

09:08 introom has quit [Ping timeout: 264 seconds]

09:08 pminten has joined #ocaml

09:14 maurer has joined #ocaml

09:21 ulfdoz has joined #ocaml

09:23 mort___ has quit [Quit: Leaving.]

09:26 Guest61828 has quit [Ping timeout: 264 seconds]

09:34 pminten_ has joined #ocaml

09:36 amirmc has joined #ocaml

09:37 pminten has quit [Ping timeout: 252 seconds]

09:40 amirmc1 has joined #ocaml

09:40 amirmc has quit [Read error: Connection reset by peer]

09:45 ikaros has joined #ocaml

09:48 r0b1 has joined #ocaml

09:48 r0b1 has quit [Changing host]

09:48 r0b1 has joined #ocaml

10:05 Thooms has joined #ocaml

10:08 pminten_ has quit [Quit: Leaving]

10:14 ulfdoz has quit [Ping timeout: 240 seconds]

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

10:22 ulfdoz has joined #ocaml

10:27 amirmc1 has quit [Quit: Leaving.]

10:32 introom has joined #ocaml

10:37 Guest___ has quit [Quit: Textual IRC Client: www.textualapp.com]

10:43 jao has joined #ocaml

10:43 jao has quit [Changing host]

10:43 jao has joined #ocaml

10:44 _5kg has joined #ocaml

10:50 amirmc has joined #ocaml

10:52 bicgena has quit [Quit: Connection closed for inactivity]

10:59 <introom> where can I find the official reference to List.Assoc.find ?

11:01 <companion_cube> looks like Core's documentation

11:01 nrms has joined #ocaml

11:01 <companion_cube> https://blogs.janestreet.com/ocaml-core/110.01.00/doc/ somewhere here I guess

11:01 <introom> companion_cube: yes. I also find this thing. but it's not infria, though.

11:02 <companion_cube> https://blogs.janestreet.com/ocaml-core/110.01.00/doc/core/#Core_list.Assoc

11:02 <companion_cube> introom: I assume you are reading through Real World Ocaml?

11:02 <introom> yeah. you win.

11:03 <companion_cube> so, you're using Core, which is JaneStreet's standard library

11:03 <introom> what. a library named Core belongs to a 3rd party company?

11:04 <companion_cube> well, it's a (bigger, more exhaustive) alternative to the standard library

11:04 <companion_cube> which, indeed, is pretty minimalist

11:04 cago has joined #ocaml

11:05 <introom> is Core widely accepted/used?

11:05 <companion_cube> hmmm... it's complicated ^^

11:05 <companion_cube> the current state of the standard libraries in ocaml is complicated: some people use Core, some other stick to the stdlib or to an extension called Batteries

11:06 <introom> got it.

11:14 <introom> companion_cube: I got to the Core https://blogs.janestreet.com/ocaml-core/110.01.00/doc/core/ But I don't know how to proceed

11:17 <companion_cube> https://blogs.janestreet.com/ocaml-core/110.01.00/doc/core/#Core_list.Assoc ← see, here you have Core_list, submodule Assoc, and there is a "find" function

11:18 <companion_cube> reading the signature you see that find : ('a, 'b) t -> ?equal:('a -> 'a -> bool) -> 'a -> 'b option

11:18 <companion_cube> which means you give the function a ('a, 'b) List.Assoc.t = ('a*'b) list, a key of type 'a, and get a 'b option

11:19 <companion_cube> the return value is an option because the key may not be in the list

11:32 ygrek_ has joined #ocaml

11:40 pminten has joined #ocaml

11:45 boogie has joined #ocaml

11:48 tane has quit [Quit: Verlassend]

11:58 AltGr has joined #ocaml

12:00 aurynj has joined #ocaml

12:03 ddosia has joined #ocaml

12:04 Simn is now known as Simn|gone

12:05 amirmc has quit [Quit: Leaving.]

12:05 introom2 has joined #ocaml

12:06 introom has quit [Ping timeout: 264 seconds]

12:07 dant3 has quit [Ping timeout: 245 seconds]

12:07 wolfnn has joined #ocaml

12:19 dant3 has joined #ocaml

12:25 dsheets has quit [Ping timeout: 245 seconds]

12:28 angerman_ has quit [Remote host closed the connection]

12:28 angerman has joined #ocaml

12:30 angerman has quit [Read error: Connection reset by peer]

12:33 angerman has joined #ocaml

12:39 aurynj has quit [Ping timeout: 240 seconds]

12:41 aurynj has joined #ocaml

12:47 aurynj has quit [Ping timeout: 252 seconds]

12:48 aurynj has joined #ocaml

13:01 boogie has quit [Remote host closed the connection]

13:01 boogie has joined #ocaml

13:03 AltGr has left #ocaml []

13:06 darkf has quit [Quit: Leaving]

13:11 maurer has quit [Ping timeout: 252 seconds]

13:19 boogie has quit [Remote host closed the connection]

13:21 wwilly has quit [Quit: This computer has gone to sleep]

13:23 claudiuc has quit [Remote host closed the connection]

13:23 Simn|gone is now known as Simn

13:27 Guest61828 has joined #ocaml

13:30 ggole has joined #ocaml

13:37 maurer has joined #ocaml

13:42 boogie has joined #ocaml

13:43 maurer has quit [Ping timeout: 264 seconds]

13:44 jao has quit [Ping timeout: 252 seconds]

13:44 ddosia has quit [Ping timeout: 252 seconds]

13:45 boogie has quit [Remote host closed the connection]

13:47 boogie has joined #ocaml

13:48 maurer has joined #ocaml

14:02 Guest61828 has quit [Read error: Operation timed out]

14:04 Guest61828 has joined #ocaml

14:04 boogie has quit [Remote host closed the connection]

14:13 pyon has joined #ocaml

14:14 aurynj has quit [Quit: Leaving]

14:16 Guest61828 has quit [Ping timeout: 253 seconds]

14:23 Guest61828 has joined #ocaml

14:34 ygrek_ has quit [Ping timeout: 252 seconds]

14:37 dsheets has joined #ocaml

14:38 dsheets has quit [Remote host closed the connection]

14:38 dsheets_ has joined #ocaml

15:09 Guest61828 has left #ocaml []

15:11 pminten has quit [Remote host closed the connection]

15:11 introom2 has quit [Ping timeout: 240 seconds]

15:28 pyon has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

15:29 pyon has joined #ocaml

15:57 shinnya has quit [Ping timeout: 264 seconds]

16:18 ollehar1 has joined #ocaml

16:27 ollehar1 has quit [Ping timeout: 240 seconds]

16:30 <S11001001> companion_cube: that's kind of an amusing signature

16:30 <S11001001> companion_cube: Or maybe not. I don't know what the ?equal: prefix means

16:33 <Drup> S11001001: optional argument

16:33 <S11001001> Drup: I see, that makes sense thanks

16:41 philtor has joined #ocaml

16:43 boogie has joined #ocaml

16:46 pyon has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

16:56 ygrek_ has joined #ocaml

16:58 Thooms has quit [Quit: WeeChat 0.3.8]

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

17:12 maurer has quit [Remote host closed the connection]

17:14 boogie has joined #ocaml

17:15 maurer has joined #ocaml

17:16 boogie has quit [Remote host closed the connection]

17:22 tlockney_away is now known as tlockney

17:26 sokkyoku has joined #ocaml

17:26 ygrek_ has quit [Ping timeout: 240 seconds]

17:32 pango has quit [Ping timeout: 265 seconds]

17:32 ygrek_ has joined #ocaml

17:34 sokkyoku has quit [Ping timeout: 245 seconds]

17:37 rand000 has joined #ocaml

17:40 Simn has quit [Ping timeout: 245 seconds]

17:41 tnguyen_ has joined #ocaml

17:45 boogie has joined #ocaml

17:50 boogie has quit [Ping timeout: 264 seconds]

17:50 maurer has quit [Ping timeout: 240 seconds]

17:51 jonludlam has joined #ocaml

17:54 Simn has joined #ocaml

17:58 maurer has joined #ocaml

18:14 maurer has quit [Read error: Operation timed out]

18:14 maurer has joined #ocaml

18:24 ollehar has quit [Ping timeout: 252 seconds]

18:24 nikki93 has joined #ocaml

18:25 maurer has quit [Ping timeout: 264 seconds]

18:25 ollehar has joined #ocaml

18:28 ygrek_ has quit [Ping timeout: 252 seconds]

18:30 maurer has joined #ocaml

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

18:48 nikki93 has joined #ocaml

18:55 philtor has quit [Ping timeout: 264 seconds]

18:55 seaqwest has joined #ocaml

19:02 ollehar has quit [Ping timeout: 252 seconds]

19:02 struktured has joined #ocaml

19:03 NoNNaN has quit [Remote host closed the connection]

19:03 ollehar has joined #ocaml

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

19:06 demonimin has joined #ocaml

19:09 wwilly has joined #ocaml

19:10 ollehar has quit [Ping timeout: 252 seconds]

19:10 ggole has quit []

19:11 wwilly has quit [Client Quit]

19:11 ollehar has joined #ocaml

19:12 axiles has quit [Remote host closed the connection]

19:14 maurer has quit [Ping timeout: 240 seconds]

19:15 wwilly has joined #ocaml

19:17 wwilly has quit [Client Quit]

19:20 maurer has joined #ocaml

19:23 Zupoman has joined #ocaml

19:30 maurer has quit [Ping timeout: 264 seconds]

19:36 yacks has quit [Ping timeout: 252 seconds]

19:43 boogie has joined #ocaml

19:46 maurer has joined #ocaml

19:47 boogie has quit [Ping timeout: 240 seconds]

19:47 arjunguha has joined #ocaml

19:49 arjunguha has quit [Client Quit]

19:57 q66 has joined #ocaml

20:01 axiles has joined #ocaml

20:02 ulfdoz has quit [Ping timeout: 240 seconds]

20:11 Thooms has joined #ocaml

20:13 ikaros has joined #ocaml

20:21 jao has joined #ocaml

20:21 jao has quit [Changing host]

20:21 jao has joined #ocaml

20:44 maurer has quit [Read error: Operation timed out]

20:47 arjunguha has joined #ocaml

20:48 q66 has quit [Ping timeout: 252 seconds]

20:48 Kakadu has quit [Ping timeout: 240 seconds]

20:49 maurer has joined #ocaml

20:52 ikaros has quit [Quit: Ex-Chat]

20:52 ikaros has joined #ocaml

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

20:58 whitequark is now known as infoquark

20:58 infoquark is now known as whitequark

21:03 _flatline_ has joined #ocaml

21:05 Zupoman has quit [Read error: Operation timed out]

21:06 maurer has quit [Ping timeout: 240 seconds]

21:07 arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:07 Zupoman has joined #ocaml

21:13 arjunguha has joined #ocaml

21:18 struktured has joined #ocaml

21:20 Zupoman has quit [Quit: WeeChat 0.4.0]

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

21:24 julm has quit [Ping timeout: 245 seconds]

21:33 maurer has joined #ocaml

21:37 wwilly has joined #ocaml

21:38 wwilly has quit [Client Quit]

21:44 arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:49 arjunguha has joined #ocaml

22:05 NoNNaN has joined #ocaml

22:07 NoNNaN has quit [Remote host closed the connection]

22:08 NoNNaN has joined #ocaml

22:08 angerman has quit [Quit: Gone]

22:20 nikki93 has quit [Remote host closed the connection]

22:21 nikki93 has joined #ocaml

22:22 maurer has quit [Ping timeout: 240 seconds]

22:26 philtor has joined #ocaml

22:28 rand000 has quit [Quit: leaving]

22:29 maurer has joined #ocaml

22:35 Thooms has quit [Ping timeout: 264 seconds]

22:37 pango has joined #ocaml

22:39 rgrinberg1 is now known as rgrinberg

22:44 cago has left #ocaml []

22:44 arjunguha has quit [Quit: Textual IRC Client: www.textualapp.com]

22:45 shinnya has joined #ocaml

22:46 julm has joined #ocaml

22:47 passiveobserver has quit [Ping timeout: 264 seconds]

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

22:57 bicgena has joined #ocaml

22:57 pango has quit [Ping timeout: 252 seconds]

22:58 pango has joined #ocaml

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

23:06 r0b1 has quit [Ping timeout: 264 seconds]

23:14 maurer has quit [Ping timeout: 264 seconds]

23:20 maurer has joined #ocaml

23:23 darkf has joined #ocaml

23:23 maurer has quit [Read error: Operation timed out]

23:31 ollehar has quit [Ping timeout: 252 seconds]

23:32 arturgadelshin has quit [Ping timeout: 252 seconds]

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

23:37 maurer has joined #ocaml

23:37 madroach has joined #ocaml

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

23:50 jao has quit [Ping timeout: 264 seconds]

23:54 axiles has quit [Quit: Quitte]

23:56 maurer has quit [Read error: Operation timed out]

23:57 maurer has joined #ocaml