#ocaml on 2012-12-04 — irc logs at freenode.irclog.whitequark.org

2012-11-01 16:03 adrien 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 | Public logs at http://tunes.org/~nef/logs/ocaml/

00:03 Guest44055 has quit [Quit: ZNC - http://znc.in]

00:06 larhat has joined #ocaml

00:10 so has joined #ocaml

00:10 so is now known as Guest68853

00:11 Guest68853 has quit [Client Quit]

00:36 ikaros has quit [Quit: Ex-Chat]

00:43 metadave has joined #ocaml

00:44 <metadave> hello - is there a decent, maintained http client library for OCaml?

00:48 eikke has quit [Ping timeout: 260 seconds]

01:02 destrius has joined #ocaml

01:16 jave has quit [Read error: Operation timed out]

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

01:20 madroach has joined #ocaml

01:26 jpdeplaix has quit [Ping timeout: 256 seconds]

01:35 jpdeplaix has joined #ocaml

01:37 jamii has joined #ocaml

02:09 mye has quit [Ping timeout: 260 seconds]

02:24 metadave has quit [Remote host closed the connection]

02:53 jamii has quit [Ping timeout: 245 seconds]

03:27 mye has joined #ocaml

03:31 mye has quit [Ping timeout: 260 seconds]

04:01 weie_ has quit [Quit: Leaving...]

04:21 beckerb has joined #ocaml

04:49 ankit9 has joined #ocaml

05:08 Submarine has joined #ocaml

05:09 ankit9 has quit [Ping timeout: 246 seconds]

05:22 ankit9 has joined #ocaml

05:24 Cyanure has joined #ocaml

05:27 ankit9 has quit [Ping timeout: 246 seconds]

05:35 jewel has joined #ocaml

05:39 caligula_ has joined #ocaml

05:41 caligula has quit [Ping timeout: 255 seconds]

05:48 ulfdoz has joined #ocaml

05:55 sgnb has joined #ocaml

05:55 sgnb is now known as Guest12569

06:04 weie has joined #ocaml

06:09 Cyanure has quit [Remote host closed the connection]

06:09 jewel has quit [Ping timeout: 260 seconds]

06:13 ulfdoz has quit [Read error: Operation timed out]

06:19 myx has joined #ocaml

06:24 Submarine has quit [Ping timeout: 265 seconds]

06:25 jave has joined #ocaml

06:26 Snark has joined #ocaml

06:32 so has joined #ocaml

06:33 so is now known as Guest5023

06:39 ankit9 has joined #ocaml

06:40 Guest5023 has quit [Quit: +++]

06:42 Cyanure has joined #ocaml

06:53 <f[x]> metasyntax, ocurl

06:55 _so has joined #ocaml

06:55 _so is now known as so

06:56 Neros has quit [Remote host closed the connection]

07:00 Neros has joined #ocaml

07:01 chambart has joined #ocaml

07:11 ontologi1e has joined #ocaml

07:11 ontologiae has joined #ocaml

07:17 ontologiae has quit [Ping timeout: 256 seconds]

07:18 ontologi1e has quit [Ping timeout: 256 seconds]

07:39 hkBst has joined #ocaml

07:39 hkBst has quit [Changing host]

07:39 hkBst has joined #ocaml

07:40 djcoin has joined #ocaml

07:41 UncleVasya has joined #ocaml

07:43 hkBst has quit [Remote host closed the connection]

07:43 hkBst has joined #ocaml

07:52 Submarine has joined #ocaml

07:52 Submarine has quit [Changing host]

07:52 Submarine has joined #ocaml

07:52 ftrvxmtrx_ has joined #ocaml

07:56 mika4 has joined #ocaml

08:01 Kakadu has joined #ocaml

08:12 so has quit [Changing host]

08:12 so has joined #ocaml

08:16 so has quit [Quit: +++]

08:17 ontologi1e has joined #ocaml

08:17 ontologiae has joined #ocaml

08:25 thomasga has joined #ocaml

08:25 so has joined #ocaml

08:26 merijn has joined #ocaml

08:26 <merijn> Does the ocaml interpreter have something similar to ghci's ":type" (which prints out the type of an expression)?

08:27 <Kakadu> merijn: nope. But You can evaluate your value and ocam then will print it's type

08:29 Submarine_ has joined #ocaml

08:29 Submarine_ has quit [Remote host closed the connection]

08:31 <adrien_oww> merijn: simply typing "your_value;;" will give you the type again

08:33 <merijn> Kakadu, adrien_oww: Yeah, but that of course doesn't work out for expressions that throw an exception, was hoping to illustrate my point by showing that "raise (Failure "Foo")" ends up having type 'a. But if that's not possible I'll manage

08:35 <f[x]> merijn, (fun () -> expression)

08:39 ikaros has joined #ocaml

08:49 <Kakadu> merijn: AFAIU, type of `raise (Failure "")` is exactly 'a

08:49 eikke has joined #ocaml

08:50 <Kakadu> Anyway I remember that another haskeller was here here with some expectations about OCaml toplevel...

08:51 <Kakadu> f[x]: Do you know does feature-request about `#type` command exist in mantis?

08:51 destrius has quit [Quit: Leaving.]

08:57 UncleVasya has quit [Ping timeout: 246 seconds]

09:05 <f[x]> yes

09:07 hkBst has quit [Ping timeout: 246 seconds]

09:08 hkBst_ has joined #ocaml

09:08 hkBst_ has quit [Changing host]

09:08 hkBst_ has joined #ocaml

09:12 Yoric has joined #ocaml

09:22 BiDOrD has quit [Read error: Operation timed out]

09:22 Yoric1 has joined #ocaml

09:23 caligula__ has joined #ocaml

09:23 BiDOrD has joined #ocaml

09:23 caligula_ has quit [Ping timeout: 256 seconds]

09:24 wormphlegm has quit [Ping timeout: 256 seconds]

09:24 Yoric has quit [Ping timeout: 264 seconds]

09:24 UncleVasya has joined #ocaml

09:24 wormphlegm has joined #ocaml

09:25 hcarty has quit [Ping timeout: 256 seconds]

09:25 hcarty has joined #ocaml

09:26 Yoric1 has quit [Ping timeout: 246 seconds]

09:55 ocp has joined #ocaml

09:59 hkBst_ has quit [Remote host closed the connection]

10:00 hkBst_ has joined #ocaml

10:00 hkBst_ has quit [Changing host]

10:00 hkBst_ has joined #ocaml

10:04 mika4 has quit [Quit: Leaving.]

10:07 larhat has quit [Quit: Leaving.]

10:13 leoncamel has quit [Ping timeout: 245 seconds]

10:18 eikke has quit [Ping timeout: 255 seconds]

10:20 eikke has joined #ocaml

10:48 mika4 has joined #ocaml

10:51 merijn has quit [Ping timeout: 255 seconds]

10:54 philed``` has joined #ocaml

10:54 philed``` is now known as philed

10:55 Neros has quit [Ping timeout: 246 seconds]

10:55 ontologi1e has quit [Ping timeout: 264 seconds]

10:55 ontologiae has quit [Ping timeout: 264 seconds]

10:59 merijn has joined #ocaml

11:01 larhat has joined #ocaml

11:18 avsm has quit [Ping timeout: 260 seconds]

11:23 hkBst_ has quit [Ping timeout: 264 seconds]

11:29 leoncamel has joined #ocaml

11:29 Neros has joined #ocaml

11:34 merijn has quit [Quit: leaving]

11:38 hkBst_ has joined #ocaml

11:38 hkBst_ has quit [Changing host]

11:38 hkBst_ has joined #ocaml

11:40 Neros_ has joined #ocaml

11:40 Neros has quit [Read error: Connection reset by peer]

11:48 vpm has quit [Ping timeout: 245 seconds]

11:51 ontologi1e has joined #ocaml

11:51 ontologiae has joined #ocaml

11:53 ankit9 has quit [Ping timeout: 260 seconds]

11:56 mika4 has quit [Quit: Leaving.]

11:57 mika4 has joined #ocaml

11:57 Neros_ has quit [Ping timeout: 245 seconds]

12:02 mika4 has quit [Quit: Leaving.]

12:03 mika4 has joined #ocaml

12:05 eikke has quit [Ping timeout: 250 seconds]

12:06 eikke has joined #ocaml

12:12 mika4 has quit [Quit: Leaving.]

12:12 Neros has joined #ocaml

12:13 mika4 has joined #ocaml

12:13 metadave has joined #ocaml

12:13 eikke has quit [Ping timeout: 250 seconds]

12:15 eikke has joined #ocaml

12:23 sepp2k1 has quit [Remote host closed the connection]

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

12:36 vpm has joined #ocaml

12:47 chambart has quit [Ping timeout: 246 seconds]

12:48 mika4 has quit [Quit: Leaving.]

12:49 avsm has joined #ocaml

12:50 mye has joined #ocaml

12:53 mika4 has joined #ocaml

13:09 smondet has joined #ocaml

13:17 mye_ has joined #ocaml

13:19 mika4 has quit [Quit: Leaving.]

13:19 mye has quit [Ping timeout: 248 seconds]

13:19 mye has joined #ocaml

13:20 ggole has joined #ocaml

13:21 mye_ has quit [Ping timeout: 260 seconds]

13:21 <ggole> I'm having some minor difficulty with the parsing tools

13:22 mika4 has joined #ocaml

13:22 <ggole> I'm parsing something which contains a construct like this: keyword ( STUFF ) where I don't know what the lexical conventions of STUFF is, except that it doesn't contain parens

13:23 <ggole> The lexer/parser split makes that terribly inconvenient :/

13:23 <ggole> Wondering what a good way to proceed might be

13:28 lolcathost has joined #ocaml

13:29 avsm has quit [Ping timeout: 260 seconds]

13:30 <Kakadu> parser-combinatrs may help you

13:31 <Kakadu> Also You can create different parser to parse STUFF inside brackets

13:31 <ggole> With different lexical conventions?

13:32 avsm has joined #ocaml

13:33 <Kakadu> yeah. But I can't simultaneosly understand how to do it

13:33 <ggole> Hmm

13:33 <ggole> I'll have another look at the docs, then

13:34 <Kakadu> Anyway if you find good parser-combinator library You will manage your problem

13:36 <ggole> This format is pretty simple, parsing won't be an issue

13:36 <ggole> It's lexical analysis that has got my goat

13:38 <Kakadu> but in parser-combinators lexing is a prt of parsing

13:38 <Kakadu> part*

13:38 <ggole> Oh?

13:38 <Kakadu> really

13:39 <ggole> Hmm... I might check that out then

13:39 <ggole> It's that or an ugly hack

13:39 <Kakadu> combinators are not hack!

13:39 <Kakadu> they are cool :)

13:39 <ggole> No, what I'm doing right now instead of combinators is an ugly hack

13:40 <ggole> Although it seems it will be sufficient :(

13:42 myx has quit [Ping timeout: 260 seconds]

13:43 <thelema> ggole: you're using ocamllex?

13:43 <ggole> Yeah

13:43 <thelema> what you want is stateful lexing

13:43 <ggole> Well, whatever ocamlyacc eats would work. ocamllex seems like the simplest thing for that.

13:43 <thelema> the ocaml compiler uses this to deal with nested parentheses

13:44 <thelema> ocamllex is fine

13:44 <ggole> The docs mentioned recursive invocations for that purpose...

13:44 * ggole reads it again

13:44 <thelema> so you want to lex `keyword( STUFF )` for some other lexing convention in STUFF

13:45 <ggole> Yes

13:45 <thelema> first token: `keyword(`; you'll have to deal with whitespace between keyword and ( in the lexer regex

13:45 <thelema> last token: ')'

13:46 <thelema> and in between token: [^)]*

13:46 <ggole> Hmm, that'll mean hacking up my parser a bit...

13:46 <thizanne> ggole: http://paste.awesom.eu/fZf

13:46 <ggole> I guess that'll be acceptable though

13:46 <thizanne> (it's a code example for a tutorial)

13:46 <thizanne> see how comments are lexed differently

13:46 <thizanne> i think you cnan do the same

13:46 <ggole> Yeah

13:46 <thelema> thizanne: exactly

13:46 <ggole> The problem is how to recognise in the lexer that I have arrived at STUFF

13:47 <ggole> Which I *think* I can do... although not exactly elegantly

13:47 <thelema> do you have different STUFF for different keywords?

13:47 <ggole> Yes

13:47 <ggole> But I don't need to lex it differently

13:47 <thelema> that should be easy then.

13:48 <ggole> Yeah, this looks like the right approach

13:48 <ggole> Thanks :)

13:59 travisbrady has joined #ocaml

14:01 travisbrady has quit [Client Quit]

14:03 travisbrady has joined #ocaml

14:07 <companion_cube> are int64 boxed?

14:07 <thelema> companion_cube: yes

14:07 <companion_cube> aww

14:08 <companion_cube> anyway, that's still better than nothing...

14:08 * companion_cube thinks of using integers for small bitvectors

14:08 <thelema> companion_cube: batteries' bitvector uses strings.

14:09 Kakadu has quit []

14:09 <companion_cube> well, even 31 bits should actually be enough for me...

14:09 <thelema> then regular ints it is.

14:10 <companion_cube> :)

14:14 <ggole> The gc would need object and stack maps in order to have unboxed native ints

14:14 <ggole> Much more complicated

14:15 <thelema> yup, exactly

14:21 chambart has joined #ocaml

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

14:22 mika4 has quit [Quit: Leaving.]

14:23 mika4 has joined #ocaml

14:27 jamii has joined #ocaml

14:28 Submarine has quit [Quit: Leaving]

14:29 jewel has joined #ocaml

14:39 ggole has quit [Quit: Ex-Chat]

14:42 ia0 has joined #ocaml

14:48 hkBst__ has joined #ocaml

14:49 hkBst_ has quit [Read error: Connection reset by peer]

14:54 Kakadu has joined #ocaml

14:54 hkBst has joined #ocaml

14:54 hkBst__ has quit [Remote host closed the connection]

15:00 Neros has joined #ocaml

15:02 hkBst has quit [Ping timeout: 246 seconds]

15:05 hkBst has joined #ocaml

15:21 <metadave> hello - can anyone recommend a decent, maintained http client library for OCaml?

15:22 hkBst has quit [Remote host closed the connection]

15:22 hkBst has joined #ocaml

15:22 hkBst has quit [Changing host]

15:22 hkBst has joined #ocaml

15:23 <ousado> metadave: have you looked at the ocsigen stuff?

15:23 Cyanure has quit [Remote host closed the connection]

15:23 <ousado> http://ocsigen.org/ocsigenserver/api/Ocsigen_http_client

15:24 <metadave> ousado - thank you, that's perfect. For some reason I thought Ocsigen was just a "web framework".

15:25 <ousado> I didn't know about it either, but it was my first guess :)

15:25 Neros has quit [Ping timeout: 260 seconds]

15:27 ocp has quit [Quit: Leaving.]

15:31 djcoin has quit [Quit: WeeChat 0.3.9.2]

15:32 hkBst has quit [Remote host closed the connection]

15:32 hkBst has joined #ocaml

15:32 mika4 has quit [Quit: Leaving.]

15:38 hkBst has quit [Ping timeout: 260 seconds]

15:38 hkBst has joined #ocaml

15:38 hkBst has quit [Changing host]

15:38 hkBst has joined #ocaml

15:41 Cyanure has joined #ocaml

15:43 hkBst has quit [Ping timeout: 250 seconds]

15:43 hkBst_ has joined #ocaml

15:44 hkBst_ has quit [Client Quit]

15:44 cdidd has quit [Ping timeout: 264 seconds]

15:49 mye has quit [Quit: mye]

15:55 tac has joined #ocaml

16:01 ftrvxmtrx_ has quit [Quit: Leaving]

16:03 beckerb has quit [Ping timeout: 245 seconds]

16:12 Neros has joined #ocaml

16:25 answer_42 has joined #ocaml

16:50 mye has joined #ocaml

17:06 thomasga has quit [Quit: Leaving.]

17:12 ocp has joined #ocaml

17:17 BiDOrD_ has joined #ocaml

17:20 BiDOrD has quit [Ping timeout: 256 seconds]

17:24 xavierm02 has joined #ocaml

17:33 tane has joined #ocaml

17:39 eikke has quit [Ping timeout: 255 seconds]

17:42 travisbrady has quit [Quit: travisbrady]

17:48 travisbrady has joined #ocaml

18:11 testcoco` has quit [Quit: Coyote finally caught me]

18:18 larhat1 has joined #ocaml

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

18:18 larhat has quit [Read error: No route to host]

18:18 Snark has quit [Quit: Quitte]

18:19 testcocoon has joined #ocaml

18:25 Submarine has joined #ocaml

18:25 Submarine has quit [Changing host]

18:25 Submarine has joined #ocaml

19:00 tane has quit [Quit: Verlassend]

19:03 jamii has quit [Ping timeout: 255 seconds]

19:04 ontologi1e has quit [Ping timeout: 264 seconds]

19:04 ontologiae has quit [Ping timeout: 264 seconds]

19:04 metasyntax|work has quit [Quit: WeeChat [quit]]

19:16 jamii has joined #ocaml

19:18 jewel has quit [Ping timeout: 264 seconds]

19:25 lolcathost has joined #ocaml

19:26 andreypopp has joined #ocaml

19:32 lolcathost has quit [Ping timeout: 260 seconds]

19:37 ocp has quit [Ping timeout: 252 seconds]

19:39 lolcathost has joined #ocaml

19:39 lolcathost has quit [Client Quit]

19:39 lolcathost has joined #ocaml

19:44 jamii has quit [Ping timeout: 260 seconds]

19:45 larhat1 has quit [Quit: Leaving.]

19:48 lolcathost has quit [Ping timeout: 256 seconds]

19:48 weie has quit [Quit: Leaving...]

19:56 jamii has joined #ocaml

20:15 thomasga has joined #ocaml

20:19 Yoric has joined #ocaml

20:26 thomasga has quit [Quit: Leaving.]

20:30 answer_42 has quit [Ping timeout: 246 seconds]

20:39 Kakadu has quit []

20:42 emmanuelux has joined #ocaml

20:46 wmeyer has joined #ocaml

20:47 <wmeyer> adrien: adrien_oww: ping

20:50 UncleVasya has quit [Read error: Connection reset by peer]

20:51 <adrien> wmeyer: pong

20:53 tac has left #ocaml []

20:54 larhat has joined #ocaml

20:54 <wmeyer> adrien: I'm developing some GUI application right now. I consider using yours lablgtk-react. Is there any release I can fetch or should I just use the SCM version?

20:59 <adrien> oh, no tarball

20:59 <wmeyer> ok

21:01 <adrien> wmeyer: you can grab the latest version from http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=lablgtk-react/lablgtk-react.git;a=summary

21:01 <wmeyer> ok

21:02 <adrien> but lablgtk-react is rough

21:02 <wmeyer> adrien: ok, thanks!

21:02 <wmeyer> me feeling it would be great to have it and use it :-)

21:02 <adrien> wmeyer: and firt, you need to think _well_ about your "state"

21:02 <adrien> basically, a data structure that will be changed after callbacks and signals

21:02 <wmeyer> adrien: sure

21:03 <adrien> if your data structure is simple you might as well go the imperative route

21:07 <wmeyer> currently I am cosnidering just custom UI on top of Cairo too

21:20 Yoric has quit [Ping timeout: 244 seconds]

21:21 <jonafan> playing with opam a bit, seems to work fairly well

21:21 <wmeyer> jonafan: yes, it's a nice package manager

21:32 ocp has joined #ocaml

21:47 jamii has quit [Ping timeout: 260 seconds]

21:55 ocp has quit [Quit: Leaving.]

21:58 Submarine has quit [Ping timeout: 260 seconds]

21:59 sepp2k has joined #ocaml

22:01 andreypopp has quit [Quit: sleep]

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

22:16 ikaros has joined #ocaml

22:24 wmeyer has left #ocaml []

22:33 xavierm02 has quit [Quit: Leaving]

22:34 larhat has quit [Ping timeout: 244 seconds]

22:38 larhat has joined #ocaml

22:39 travisbrady has quit [Quit: travisbrady]

22:44 larhat has quit [Ping timeout: 244 seconds]

22:53 larhat has joined #ocaml

22:54 cdidd has joined #ocaml

23:05 emmanuelux has quit [Remote host closed the connection]

23:24 smondet has quit [Read error: Operation timed out]

23:41 myx has joined #ocaml