#ocaml on 2012-10-18 — irc logs at freenode.irclog.whitequark.org

2012-10-10 12:23 ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml-lang.org

00:00 tufisi has joined #ocaml

00:06 tufisi has quit [Ping timeout: 246 seconds]

00:08 ulfdoz_ has joined #ocaml

00:09 Yoric has joined #ocaml

00:11 ulfdoz has quit [Ping timeout: 245 seconds]

00:11 ulfdoz_ is now known as ulfdoz

00:19 iago has quit [Quit: Leaving]

00:29 Neros has quit [Read error: Connection reset by peer]

00:30 Yoric has quit [Ping timeout: 256 seconds]

00:31 Neros has joined #ocaml

00:57 <TDJACR> Why does http://pastebin.com/N3gTDcVi say it isn't a function

01:00 <_habnabit> TDJACR, I don't know what that means. pastebin the error you're getting?

01:01 <TDJACR> Error: This expression is not a function, it can't be applied, with a red line under the match block hcarty

01:01 <TDJACR> _habnabit: *

01:02 <_habnabit> oh

01:02 <_habnabit> yeah, you're calling the result of the match

01:02 <_habnabit> maybe you meant to have a ; after end?

01:03 <TDJACR> _habnabit: After the end?

01:04 <_habnabit> line 6

01:04 <TDJACR> _habnabit: Oh cool. I've never seen it in tha form before

01:04 <TDJACR> Thanks!

01:04 tac has quit [Ping timeout: 245 seconds]

01:04 <_habnabit> seen what in what form?

01:08 <TDJACR> _habnabit: A match that doesn't return a value, I suppose.

01:08 <_habnabit> er, it does return a value

01:08 <_habnabit> it just doesn't return a function

01:09 <_habnabit> your code is equivalent (modulo side effects) to: () q

01:14 avsm1 has quit [Quit: Leaving.]

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

01:21 madroach has joined #ocaml

01:32 leoncamel has joined #ocaml

01:36 Janthinidae has joined #ocaml

01:37 Janthinidae has quit [Quit: Ex-Chat]

01:37 Janthinidae_ has joined #ocaml

02:03 Janthinidae_ has quit [Quit: Ex-Chat]

02:16 leoncamel has quit [Ping timeout: 268 seconds]

02:17 leoncame` has joined #ocaml

02:43 paolooo has joined #ocaml

03:24 mjonsson has quit [Remote host closed the connection]

03:55 Yoric has joined #ocaml

04:12 sivoais has quit [Quit: leaving]

04:12 sivoais has joined #ocaml

04:17 cdidd has joined #ocaml

04:18 paolooo has quit [Ping timeout: 245 seconds]

04:35 Yoric has quit [Remote host closed the connection]

04:35 Yoric has joined #ocaml

04:40 Snark has joined #ocaml

04:50 tchell has quit [Ping timeout: 256 seconds]

04:50 tchell has joined #ocaml

05:15 gnuvince has quit [Ping timeout: 245 seconds]

05:15 gnuvince has joined #ocaml

05:44 cdidd has quit [Read error: Connection reset by peer]

06:40 ontologiae has joined #ocaml

06:51 thomasga has joined #ocaml

06:57 mfp has quit [Read error: Connection reset by peer]

06:59 everyonemines has joined #ocaml

07:00 sepp2k has joined #ocaml

07:03 hto has quit [Quit: Lost terminal]

07:09 Cyanure has joined #ocaml

07:09 ontologiae has quit [Ping timeout: 260 seconds]

07:12 mfp has joined #ocaml

07:18 cago has joined #ocaml

07:27 eikke has joined #ocaml

07:28 hkBst has joined #ocaml

07:28 hkBst has quit [Changing host]

07:28 hkBst has joined #ocaml

07:43 Kakadu has joined #ocaml

07:45 Xizor has joined #ocaml

08:00 ontologiae has joined #ocaml

08:03 GnomeStoleMyBike has joined #ocaml

08:10 ftrvxmtrx_ has quit [Quit: Leaving]

08:17 avsm has joined #ocaml

08:18 Xizor has quit [Quit: So yes it's mIRC under wine under debian double peche capital. ;) I'll soon see in kfreeBSD.]

08:24 cago has quit [Ping timeout: 256 seconds]

08:26 cago has joined #ocaml

08:32 mcclurmc1 has joined #ocaml

08:34 avsm has quit [Quit: Leaving.]

08:35 ollehar has joined #ocaml

08:36 djcoin has joined #ocaml

08:47 jbrown__ has joined #ocaml

08:48 |jbrown| has quit [Ping timeout: 252 seconds]

08:54 ftrvxmtrx has joined #ocaml

08:58 mcclurmc2 has joined #ocaml

08:58 mcclurmc1 has quit [Read error: Connection reset by peer]

08:59 sgnb` is now known as sgnb

09:03 madroach has quit [Quit: leaving]

09:04 madroach has joined #ocaml

09:05 rixed has joined #ocaml

09:16 mcclurmc2 has quit [Quit: Leaving.]

09:17 mcclurmc1 has joined #ocaml

09:19 beckerb has joined #ocaml

09:22 chambart has joined #ocaml

09:23 tufisi has joined #ocaml

09:26 mcclurmc1 has quit [Quit: Leaving.]

09:26 mcclurmc1 has joined #ocaml

09:26 eikke has quit [Ping timeout: 260 seconds]

09:27 cago has quit [Quit: Leaving.]

09:29 cago has joined #ocaml

09:36 everyonemines has quit [Quit: Leaving.]

09:41 ftrvxmtrx has quit [Quit: Leaving]

09:43 <mcclurmc1> thomasga: does typerex work with ocaml 4.0? can it work with the bin-annot extention?

09:47 answer_42 has joined #ocaml

09:47 eikke has joined #ocaml

09:55 <thomasga> mcclurmc: no it doens't unfortunately

09:55 <thomasga> but we are working on typerex2 which will

09:56 thomasga has quit [Quit: Leaving.]

10:00 kmels has joined #ocaml

10:00 Yoric has quit [Ping timeout: 246 seconds]

10:12 Neros has quit [Read error: Operation timed out]

10:23 ftrvxmtrx has joined #ocaml

10:32 chambart has quit [Ping timeout: 255 seconds]

10:44 mcclurmc1 has quit [Quit: Leaving.]

10:44 mcclurmc1 has joined #ocaml

10:45 mcclurmc1 has quit [Client Quit]

10:45 mcclurmc1 has joined #ocaml

10:46 mcclurmc1 has quit [Client Quit]

10:47 mcclurmc1 has joined #ocaml

10:48 _andre has joined #ocaml

10:49 Yoric has joined #ocaml

11:16 BiDOrD_ has quit [Read error: Operation timed out]

11:16 BiDOrD has joined #ocaml

11:32 caligula__ has joined #ocaml

11:32 ski_ has joined #ocaml

11:33 err404 has joined #ocaml

11:33 mehdid_ has joined #ocaml

11:33 Neros has joined #ocaml

11:34 foo303_ has joined #ocaml

11:34 rixed_ has joined #ocaml

11:34 mietek_ has joined #ocaml

11:38 rixed has quit [*.net *.split]

11:38 caligula_ has quit [*.net *.split]

11:38 foo303 has quit [*.net *.split]

11:38 ski has quit [*.net *.split]

11:38 mehdid has quit [*.net *.split]

11:38 mietek has quit [*.net *.split]

11:40 <Kakadu> I've forget how to compile to native-code

11:41 <Kakadu> ocamlfind opt int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx nm.ml

11:41 <Kakadu> says that there are no many .o files

11:41 <Kakadu> and there is no num.o on my machine

11:47 ng__ has joined #ocaml

11:48 <ng__> How I use a ternary operator in ocaml?

11:50 <companion_cube> which ternary operator do you have in mind?

11:53 <ng__> for example, ((1 == 1 ? value : 1))

11:54 <Kakadu> if a then b else c

11:54 chambart has joined #ocaml

11:59 tufisi has quit [Ping timeout: 246 seconds]

12:00 <f[x]> Kakadu, nums.cmxa

12:00 <Kakadu> f[x]: solved already, thanks

12:00 <f[x]> will link to nums.a which contains all needed .o

12:00 <f[x]> ok

12:06 <ng__> ok, thanks

12:10 Neros_ has joined #ocaml

12:10 Neros has quit [Ping timeout: 245 seconds]

12:11 mjonsson has joined #ocaml

12:27 err404 has left #ocaml []

12:28 trotro has joined #ocaml

12:30 tufisi has joined #ocaml

12:33 ng__ has quit [Quit: Leaving]

12:35 thomasga has joined #ocaml

12:41 mietek_ is now known as mietek

12:49 thomasga1 has joined #ocaml

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

12:57 mjonsson has quit [Remote host closed the connection]

13:01 gnuvince has quit [Ping timeout: 245 seconds]

13:15 bobry has joined #ocaml

13:18 ansx_ has quit [Quit: !]

13:19 ansx has joined #ocaml

13:25 Tobu has joined #ocaml

13:30 trotro has quit [Quit: Leaving]

13:33 ski_ is now known as ski

13:33 ImAlsoGreg has quit [Ping timeout: 246 seconds]

13:34 ImAlsoGreg has joined #ocaml

13:34 Neros_ has quit [Ping timeout: 244 seconds]

13:39 Neros has joined #ocaml

13:44 ansx has quit [Remote host closed the connection]

13:44 ansx has joined #ocaml

13:47 ansx has quit [Remote host closed the connection]

13:48 ansx has joined #ocaml

13:51 avsm has joined #ocaml

14:05 avsm has quit [Quit: Leaving.]

14:12 Neros_ has joined #ocaml

14:12 Neros has quit [Ping timeout: 260 seconds]

14:25 avsm has joined #ocaml

14:31 avsm has quit [Quit: Leaving.]

14:39 jamii has joined #ocaml

14:41 Kakadu has quit [Quit: Konversation terminated!]

14:52 cdidd has joined #ocaml

14:53 gnuvince has joined #ocaml

15:05 ollehar has quit [Quit: ollehar]

15:08 smondet has joined #ocaml

15:10 hkBst has quit [Quit: Konversation terminated!]

15:23 cago has quit [Quit: Leaving.]

15:26 tac has joined #ocaml

15:33 Neros_ has quit [Ping timeout: 256 seconds]

15:37 bitbckt has quit [Quit: out]

15:37 bitbckt has joined #ocaml

15:38 nicoo has quit [Ping timeout: 246 seconds]

15:38 tac_ has joined #ocaml

15:38 nicoo has joined #ocaml

15:41 tac has quit [Ping timeout: 245 seconds]

15:43 beckerb has quit [Quit: Konversation terminated!]

15:44 leoncame` has quit [Remote host closed the connection]

15:44 cdidd has quit [Remote host closed the connection]

15:46 chambart has quit [Ping timeout: 248 seconds]

15:46 Kakadu has joined #ocaml

15:46 avsm has joined #ocaml

15:53 eikke has quit [Ping timeout: 268 seconds]

15:56 mcclurmc1 has quit [Ping timeout: 240 seconds]

15:57 trotro has joined #ocaml

15:59 Yoric has quit [Ping timeout: 240 seconds]

16:02 Submarine has joined #ocaml

16:02 Submarine has quit [Changing host]

16:02 Submarine has joined #ocaml

16:03 avsm has quit [Quit: Leaving.]

16:11 Neros has joined #ocaml

16:14 Cyanure has quit [Remote host closed the connection]

16:16 Cyanure has joined #ocaml

16:21 cdidd has joined #ocaml

16:22 GnomeStoleMyBike has quit [Ping timeout: 246 seconds]

16:25 hto has joined #ocaml

16:30 gnuvince has quit [Ping timeout: 252 seconds]

16:32 gnuvince has joined #ocaml

16:38 ftrvxmtrx has quit [Quit: Leaving]

16:44 djcoin has quit [Quit: WeeChat 0.3.7]

16:44 cdidd has quit [Remote host closed the connection]

16:44 oriba has joined #ocaml

16:51 <wieczyk> How to enable monad syntax in Ocaml

16:51 oriba has quit [Quit: oriba]

16:51 <wieczyk> does batteries contain extension?

16:51 oriba has joined #ocaml

16:51 <thelema> wieczyk: batteries only has extensions for string and comprehensions

16:51 <thelema> if you dig through the history, pre-1.0 batteries has a monad syntax, iirc

16:52 <wieczyk> Mhmhm.

16:52 <thelema> why do you want syntax extension, don't monad operators work well enough>

16:55 oriba has left #ocaml []

16:58 <wieczyk> Well

16:58 <wieczyk> >>= fun x ->

16:58 <wieczyk> looks a bit weird

16:58 <wieczyk> for me it is ok

16:58 Yoric has joined #ocaml

16:58 <wieczyk> but I am trying to popularize ML in my work. I have one target - some C++ enginner

16:59 <wieczyk> Today I have implemented coroutine monad in ocaml and have implemented Reverse Polish Notation in coroutine.

16:59 <wieczyk> It was cool because the calculator was stopped when the input end but computation was not finished.

16:59 <wieczyk> Much more clear than state machines.

16:59 <wieczyk> But he had problem with >>=.

17:00 <wieczyk> So i am thinking how much syntax extension could help.

17:05 visitor has joined #ocaml

17:08 CoverSli1e has joined #ocaml

17:09 trotro has quit [Quit: Leaving]

17:10 CoverSli1e is now known as CoverSlide

17:10 tac_ is now known as tac-tics

17:14 avsm has joined #ocaml

17:17 CoverSlide has left #ocaml []

17:17 ontologiae has quit [Ping timeout: 272 seconds]

17:23 GnomeStoleMyBike has joined #ocaml

17:25 chambart has joined #ocaml

17:27 chambart has quit [Read error: Operation timed out]

17:29 visitor has quit [Quit: leaving]

17:39 Cyanure has quit [Ping timeout: 256 seconds]

17:41 sepp2k1 has joined #ocaml

17:41 sepp2k has quit [Ping timeout: 260 seconds]

17:52 Neros has quit [Ping timeout: 246 seconds]

18:25 cdidd has joined #ocaml

18:29 fraggle_laptop has quit [Ping timeout: 260 seconds]

18:30 avsm has quit [Quit: Leaving.]

18:33 Snark has quit [Quit: Quitte]

18:40 smondet has quit [Ping timeout: 256 seconds]

18:45 smondet has joined #ocaml

18:49 rwmjones has quit [Ping timeout: 255 seconds]

18:50 tane has joined #ocaml

18:51 fraggle_laptop has joined #ocaml

18:54 HaikuUser has joined #ocaml

19:03 rwmjones has joined #ocaml

19:14 fraggle_laptop has quit [Read error: Connection timed out]

19:15 uselpa has joined #ocaml

19:22 Jeaye has quit [Quit: WeeChat 0.3.9]

19:25 Jeaye has joined #ocaml

19:26 Jeaye has quit [Client Quit]

19:28 gnuvince has quit [Ping timeout: 248 seconds]

19:28 Jeaye has joined #ocaml

19:31 ontologiae has joined #ocaml

19:53 avsm has joined #ocaml

19:57 Kakadu has quit [Ping timeout: 260 seconds]

20:02 avsm has quit [Quit: Leaving.]

20:03 ontologiae has quit [Ping timeout: 246 seconds]

20:15 answer_42 has quit [Ping timeout: 276 seconds]

20:21 thomasga1 has quit [Quit: Leaving.]

20:22 ng__ has joined #ocaml

20:22 ontologiae has joined #ocaml

20:27 ng__ has quit [Quit: Leaving]

20:30 gnuvince has joined #ocaml

20:34 Yoric has quit [Ping timeout: 245 seconds]

20:41 Ptival is now known as Ptivalien

20:41 HaikuUser is now known as Anarchos

20:43 _andre has quit [Quit: leaving]

20:44 ontologiae has quit [Ping timeout: 246 seconds]

20:52 Yoric has joined #ocaml

20:53 tane has quit [Quit: Verlassend]

20:53 seanmcl has joined #ocaml

20:55 seanmcl has quit [Quit: Leaving.]

20:58 seanmcl has joined #ocaml

20:58 seanmcl has left #ocaml []

20:58 seanmcl has joined #ocaml

20:58 seanmcl has quit [Client Quit]

20:59 seanmcl has joined #ocaml

21:00 <Anarchos> seanmcl so you got it :)

21:00 <seanmcl> @anarchos: sorry, I don't understand. Was I spamming the channel by accident?

21:01 <Anarchos> seanmcl no you just join/quit/join/left/joined us :)

21:01 <orbitz> depedns on defition if spam :)

21:01 <orbitz> You might have scrappeled the channel

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

21:01 <seanmcl> haha, yeah, started a new job and am trying to get irc autojoining.

21:09 <Anarchos> seanmcl a new job to google ?

21:09 <seanmcl> anarchos yes

21:10 <seanmcl> not much ocaml here unfortunately

21:10 <orbitz> mountain view?

21:11 <Anarchos> seanmcl i never saw jobs with ocaml...

21:11 <seanmcl> New york.

21:12 <seanmcl> Janestreet and Ocamlpro

21:12 <seanmcl> I think there are a few others

21:13 <orbitz> seanmcl: google finally kick spoity out of that building?

21:14 <seanmcl> I don't know. Just started last week.

21:14 <orbitz> I went to Hacker School there a few times

21:14 <seanmcl> We have roughly half the building.

21:17 uselpa has quit [Remote host closed the connection]

21:20 Submarine has quit [Remote host closed the connection]

21:29 Anarchos is now known as HaikuUser

21:32 HaikuUser is now known as Anarchos

21:36 ftrvxmtrx has joined #ocaml

21:44 gnuvince has quit [Ping timeout: 246 seconds]

21:44 kmels has quit [Ping timeout: 246 seconds]

21:47 seanmcl has quit [Remote host closed the connection]

21:48 avsm has joined #ocaml

21:53 seanmcl has joined #ocaml

21:56 emmanuelux has joined #ocaml

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

22:01 Neros has joined #ocaml

22:06 fraggle_laptop has joined #ocaml

22:21 smondet has quit [Ping timeout: 260 seconds]

22:30 gnuvince has joined #ocaml

22:38 jamii has quit [Ping timeout: 246 seconds]

22:53 emmanuelux has quit [Quit: emmanuelux]

22:57 mjonsson has joined #ocaml

23:16 GnomeStoleMyBike has quit [Ping timeout: 260 seconds]

23:20 Tobu has quit [Ping timeout: 260 seconds]

23:26 fraggle_laptop has quit [Read error: Connection timed out]

23:26 avsm has joined #ocaml

23:30 Progster has joined #ocaml

23:44 fraggle_laptop has joined #ocaml

23:52 tac-tics is now known as tac[home]