mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
david_koontz has quit []
malc_ has joined #ocaml
RobertFischer has joined #ocaml
mordaunt has joined #ocaml
Abo-Marwan has quit [Remote closed the connection]
screwt8 has quit [Remote closed the connection]
seafood_ has joined #ocaml
hkBst has quit ["Konversation terminated!"]
jeremiah has quit [Read error: 104 (Connection reset by peer)]
smimou has quit ["bli"]
RobertFischer has quit ["If you can't get enough of me, check out http://smokejumperit.com and http://enfranchisedmind.com/blog"]
|Catch22| has joined #ocaml
Oatschool has quit [Read error: 110 (Connection timed out)]
jeremiah has joined #ocaml
eroyf has quit [Read error: 104 (Connection reset by peer)]
eroyf has joined #ocaml
CRathman has joined #ocaml
seafood_ has quit []
seafood_ has joined #ocaml
Mr_Awesome has joined #ocaml
Mr_Awesome has quit ["aunt jemima is the devil!"]
CRathman has quit ["ChatZilla 0.9.79 [Firefox 2.0.0.9/2007102514]"]
clog has joined #ocaml
buluca has joined #ocaml
seafood_ has quit []
seafood_ has joined #ocaml
filp has joined #ocaml
ygrek has quit [Remote closed the connection]
Yoric[DT] has joined #ocaml
Tetsuo has joined #ocaml
Mr_Awesome has joined #ocaml
Submarine has joined #ocaml
<Submarine> yo
<Submarine> would somebody here have access to Springer books online?
<Yoric[DT]> yo, man
buluca has quit [Read error: 113 (No route to host)]
<flux> hcarty, not really, but I'd like to see the .mli-files, are they online?
<flux> I solved my recent plotting needs directly with libcairo bindings..
seafood_ has quit []
gaja has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
Abo-Marwan has joined #ocaml
screwt8 has joined #ocaml
seafood_ has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
<Yoric[DT]> gasp !
<Yoric[DT]> When parsing JavaScript, the lexer must receive informations from the parser !
<flux> gasp?
<flux> fun, fun, fun
<flux> example?
* Yoric[DT] wonders how it's going to implement that.
<Yoric[DT]> a / b
<flux> hmm..
<Yoric[DT]> depending from the context, either the "/" is a division or the beginning of a regexp...
<flux> so depending on the type of 'a' or 'b'?
jlouis has joined #ocaml
<flux> hm, actually only a?
<Yoric[DT]> Depending on the parser state.
<flux> can you show a full expression? I'm not that familiar with js, especially with its regexp features..
<flux> actually, full statement :)
<Yoric[DT]> :)
<flux> I suppose that was a full expression..
ygrek has joined #ocaml
* Yoric[DT] is trying to put a good example together.
<Yoric[DT]> Basically, a regexp is (almost) a string delimited by / instead of " .
<flux> sigh.. 983 packets waiting for upgrade.. the joys of running debian unstable :)
<Yoric[DT]> :)
<flux> (and forgetting to update)
<Yoric[DT]> So when you're lexing and you find a slash, you can't decide whether it's a division or a regular expression.
<Yoric[DT]> /abc/ is a regexp
<Yoric[DT]> d/abc/e is two divisions
* Yoric[DT] wonders how he can implement that.
<rwmjones> this is standard operating procedure for the perl lexer & parser too
<rwmjones> also in perl, this little bundle of fun:
<Yoric[DT]> Well, that's awful too.
<rwmjones> /y$/
<rwmjones> /$y/
<rwmjones> the second one is a variable substitution ($y)
<rwmjones> the first one is y at the end of a line
* Yoric[DT] hopes he's not going to have and rewrite his parser from scratch just for that reason.
<Yoric[DT]> nice.
<Yoric[DT]> (well, not nice)
<Yoric[DT]> It seems that in the reference implementation for JS2, whenever they meet a "/", they thunk the rest of the stream.
<Yoric[DT]> Then, then, when meeting that "/", the parser may decide to switch lexer on the fly.
<Yoric[DT]> Unless it's a "//" or a "/*".
jlouis_ has quit [Read error: 110 (Connection timed out)]
<tsuyoshi> hey.. I got a function which is unit -> (int -> string option array -> 'a) -> (string option array -> 'a)
<tsuyoshi> but when I call it once, it thinks 'a is set, and I can't call it with another type of 'a
<tsuyoshi> how do I fix that?
<flux> it's actually with type '_a, isn't it?
<flux> you need to fix the definition so that it displays the parameters
<tsuyoshi> I don't know, what does '_a mean?
<flux> '_a is a type that can be anything that is fixed at first use
<tsuyoshi> ok, I didn't write '_a in the mli
<flux> all this '_a-business comes because of mutability, but it's there for a good reason :)
<flux> hmm..
<flux> so the call is from another module?
<tsuyoshi> yeah
<flux> hang, on gotta answer a phone
<tsuyoshi> ok
<flux> someone else did it..
<flux> that looks strange. do you explicitly call the function, with all arguments applied, from another module, and you can't change the arguments afterwards?
<flux> or do you have let a b = Yourmodule.that_function b - or other similar business going around?
<tsuyoshi> I don't understand your question exactly.. but what I want to do is call it and have a bunch of functions that are either (string option array -> string * int) or (string option array -> string)
<tsuyoshi> but once I call it to get (string option array -> string), it won't let me make a (string option array -> string * int)
<tsuyoshi> I was figuring I need to write something special in the interface but I don't understand the reference manual's description of this
ygrek has quit [Remote closed the connection]
smimou has joined #ocaml
malc_ has quit ["leaving"]
<flux> maybe you can write a shorter example that demonstrates the problem
<flux> back from being busy..
<flux> example where you can inadvertently produce '_a -types:
<flux> let a f b = f b;;
<flux> let b = a (fun i -> i);;
<flux> now b has type '_a -> '_a
<flux> so b "5" works, but b 5 after that won't
<flux> or vice versa
<flux> how to fix it? explicitly state the parameters: let b c = a (fun i -> i) c;;
<tsuyoshi> oh so without currying it will work?
<tsuyoshi> I will give that a shot then
filp has quit ["Bye"]
filp has joined #ocaml
seafood__ has joined #ocaml
seafood_ has quit [Read error: 110 (Connection timed out)]
hkBst has joined #ocaml
<Yoric[DT]> Gasp.
<Yoric[DT]> It's even worse than I thought.
<Yoric[DT]> Not only / has two possible meanings, but /= also.
<Yoric[DT]> New version of the lexer compiling.
<Yoric[DT]> Now, on to the parser...
* Yoric[DT] now needs to find out how to switch lexer during the execution of the parser.
<Yoric[DT]> That's going to be easy, yeah.
<rwmjones> global variable?
<flux> noo! don't do it!
<flux> ;-)
<Yoric[DT]> Well, I have a global variable anyway, the lexing buffer.
<Yoric[DT]> Actually, I think it's going to be ok.
<Yoric[DT]> Well, maybe.
* Yoric[DT] is somewhat scared at the moment.
* Yoric[DT] is going to rely very much on the lazyness of streams.
<Yoric[DT]> as in "if they're not lazily evaluated, this is going to mess up horribly with the results"
<Yoric[DT]> Well, that should work.
<Yoric[DT]> Ok, I *think* I got it.
<Yoric[DT]> Without an additional global variable.
* Yoric[DT] won't be able to test until the parser is complete.
kazzmir__ has joined #ocaml
kazzmir_ has quit [Read error: 104 (Connection reset by peer)]
kazzmir_ has joined #ocaml
kazzmir__ has quit [Read error: 104 (Connection reset by peer)]
jlouis_ has joined #ocaml
<seafood__> Hey, I'm keen to talk to some people in the OCaml community who develop on Windows.
<seafood__> Can you think of anyone who really fits the bill?
<seafood__> Perhaps you know some people on the OCaml mailing list who have been active in this area?
<seafood__> If so drop me a line.
<unfo-> jaaaahas
<unfo-> whoops. sorry wrong window
<rwmjones> harrop's developing windows software I think
<rwmjones> but he's using f# which isn't ocaml and isn't open source either
* Yoric[DT] is very disappointed that F# is not open-source.
<Yoric[DT]> If F# gets standardized, it may be interesting to reimplement it as an open-source language.
jlouis has quit [Read error: 110 (Connection timed out)]
* Yoric[DT] has the bad feeling that he's forgetting something important in his parser.
<Yoric[DT]> Ok, maybe not.
ikaros has joined #ocaml
ikaros_ has quit [Read error: 110 (Connection timed out)]
Submarine has left #ocaml []
ertai_ has joined #ocaml
crathman has joined #ocaml
ertai_ is now known as ert
ert is now known as ertai_
Oatschool has joined #ocaml
love-pingoo has joined #ocaml
ikaros has quit [Remote closed the connection]
ikaros has joined #ocaml
screwt8 has quit [Remote closed the connection]
Abo-Marwan has quit [Remote closed the connection]
buluca has joined #ocaml
asmanur has joined #ocaml
pango has quit [Remote closed the connection]
seafood__ has quit []
pango has joined #ocaml
screwt8 has joined #ocaml
ttamttam has left #ocaml []
ertai_ has quit ["leaving"]
ertai_ has joined #ocaml
Abo-Marwan has joined #ocaml
<hcarty> flux: http://0ok.org/code/ocaml/plplot/plplot.mli if you're still interested
<hcarty> A lot of the type definitions are rather ugly, and likely not needed. I haven't made much effort to clean that up yet
<hcarty> And with the exception of one or two functions, if a function takes a "sometype option" parameter it probably isn't wrapped properly yet
mulander has joined #ocaml
<hcarty> The functions map more or less directly to their C counterparts though
eck has joined #ocaml
bluestorm_ has joined #ocaml
ttamttam has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
buluca has joined #ocaml
crathman has quit ["ChatZilla 0.9.79 [Firefox 2.0.0.9/2007102514]"]
pants1 has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
asmanur_ has joined #ocaml
pants1 has quit [Read error: 104 (Connection reset by peer)]
pants1 has joined #ocaml
asmanur has quit [Connection timed out]
pants1 has quit [Client Quit]
pants1 has joined #ocaml
ertai_ has quit [Read error: 110 (Connection timed out)]
filp has quit ["Bye"]
jonathan is now known as jonafan
david_koontz has joined #ocaml
filp has joined #ocaml
buluca has joined #ocaml
nuncanada has joined #ocaml
filp has quit ["Bye"]
ygrek has joined #ocaml
jburd has joined #ocaml
psnively has joined #ocaml
<jburd> Can one use a cross-platform GUI toolkit with Ocaml?
pants1 has quit [Read error: 104 (Connection reset by peer)]
<psnively> Yes: there are reasonably good bindings to Gtk+.
bluestorm_ has quit [Read error: 104 (Connection reset by peer)]
<jburd> Hmm. I'm trying to build ocaml 3.10.0 from sources, and the configure script does not seem to understand the --prefix command-line option.
<jburd> I have used an absolute path as stated in the script code.
asmanur_ has quit [Read error: 110 (Connection timed out)]
<jburd> Ok, I was expecting GNU getopt behavior, but the script doesn't support it.
<Yoric[DT]> There's also Chris King's nice Ocaml RT.
<jburd> Uhh. Why does Ocaml's source code not use autotools for the build system?
<hcarty> jburd: I'm not sure, but if you want to build from source, have you tried godi?
<jburd> hcarty: My Linux distribution's package management system already has a package for Ocaml in place. However, I wanted to check whether I can use an updated version from another directory so it doesn't conflict with the system package.
<hcarty> jburd: I have the same setup here using godi - I just set the install prefix to a directory under ~
<jburd> hcarty: Using autotools for the building would have helped with distributed compiles as well. The current build system doesn't respect CC shell variables.
<hcarty> As long as $PATH has the correct order it should work properly
<jburd> Ah.
<jburd> Yes, I'll give GODI a try.
<jburd> And, no wonder the compile breaks.
<jburd> brb
buluca has quit [Read error: 113 (No route to host)]
<mbishop> This marionet thing looks neat
<mbishop> marionnet*
ita has joined #ocaml
ikaros has quit [Remote closed the connection]
ttamttam has left #ocaml []
filp has joined #ocaml
ikaros has joined #ocaml
kelaouchi has joined #ocaml
crathman has joined #ocaml
ygrek has quit [Remote closed the connection]
Tetsuo has quit ["Leaving"]
mrsolo_ has joined #ocaml
mrsolo has quit [Read error: 104 (Connection reset by peer)]
kelaouchi has quit [kubrick.freenode.net irc.freenode.net]
ita has quit [kubrick.freenode.net irc.freenode.net]
jeremiah has quit [kubrick.freenode.net irc.freenode.net]
Tov_enst has quit [kubrick.freenode.net irc.freenode.net]
Jedai has quit [kubrick.freenode.net irc.freenode.net]
zvrba has quit [kubrick.freenode.net irc.freenode.net]
unfo- has quit [kubrick.freenode.net irc.freenode.net]
jburd has quit [kubrick.freenode.net irc.freenode.net]
sergez has quit [kubrick.freenode.net irc.freenode.net]
bla has quit [kubrick.freenode.net irc.freenode.net]
eck has quit [kubrick.freenode.net irc.freenode.net]
seafood has quit [kubrick.freenode.net irc.freenode.net]
mattam has quit [kubrick.freenode.net irc.freenode.net]
eroyf has quit [kubrick.freenode.net irc.freenode.net]
joshcryer has quit [kubrick.freenode.net irc.freenode.net]
TaXules has quit [kubrick.freenode.net irc.freenode.net]
psnively has quit [kubrick.freenode.net irc.freenode.net]
acatout has quit [kubrick.freenode.net irc.freenode.net]
|Catch22| has quit [kubrick.freenode.net irc.freenode.net]
mrsolo_ has quit [kubrick.freenode.net irc.freenode.net]
ikaros has quit [kubrick.freenode.net irc.freenode.net]
nuncanada has quit [kubrick.freenode.net irc.freenode.net]
jlouis_ has quit [kubrick.freenode.net irc.freenode.net]
diakopter has quit [kubrick.freenode.net irc.freenode.net]
Smerdyakov has quit [kubrick.freenode.net irc.freenode.net]
rwmjones has quit [kubrick.freenode.net irc.freenode.net]
guyzmo has quit [kubrick.freenode.net irc.freenode.net]
messju has quit [kubrick.freenode.net irc.freenode.net]
aij has quit [kubrick.freenode.net irc.freenode.net]
Nutssh has quit [kubrick.freenode.net irc.freenode.net]
mbishop has quit [kubrick.freenode.net irc.freenode.net]
schme has quit [kubrick.freenode.net irc.freenode.net]
Amorphous has quit [kubrick.freenode.net irc.freenode.net]
bebui has quit [kubrick.freenode.net irc.freenode.net]
zmdkrbou has quit [kubrick.freenode.net irc.freenode.net]
l_a_m has quit [kubrick.freenode.net irc.freenode.net]
love-pingoo has quit [kubrick.freenode.net irc.freenode.net]
pango has quit [kubrick.freenode.net irc.freenode.net]
smimou has quit [kubrick.freenode.net irc.freenode.net]
jonafan has quit [kubrick.freenode.net irc.freenode.net]
netx has quit [kubrick.freenode.net irc.freenode.net]
Ober has quit [kubrick.freenode.net irc.freenode.net]
pattern has quit [kubrick.freenode.net irc.freenode.net]
Abo-Marwan has quit [kubrick.freenode.net irc.freenode.net]
screwt8 has quit [kubrick.freenode.net irc.freenode.net]
kazzmir_ has quit [kubrick.freenode.net irc.freenode.net]
hkBst has quit [kubrick.freenode.net irc.freenode.net]
gaja has quit [kubrick.freenode.net irc.freenode.net]
Yoric[DT] has quit [kubrick.freenode.net irc.freenode.net]
cmeme has quit [kubrick.freenode.net irc.freenode.net]
rogo has quit [kubrick.freenode.net irc.freenode.net]
gim has quit [kubrick.freenode.net irc.freenode.net]
hcarty has quit [kubrick.freenode.net irc.freenode.net]
tsuyoshi has quit [kubrick.freenode.net irc.freenode.net]
simon has quit [kubrick.freenode.net irc.freenode.net]
svenl has quit [kubrick.freenode.net irc.freenode.net]
flux has quit [kubrick.freenode.net irc.freenode.net]
Hadaka has quit [kubrick.freenode.net irc.freenode.net]
ulfdoz has quit [kubrick.freenode.net irc.freenode.net]
filp has quit ["Bye"]
Ober_ has joined #ocaml
mrsolo_ has joined #ocaml
ikaros has joined #ocaml
psnively has joined #ocaml
jburd has joined #ocaml
nuncanada has joined #ocaml
eck has joined #ocaml
Abo-Marwan has joined #ocaml
screwt8 has joined #ocaml
pango has joined #ocaml
jlouis_ has joined #ocaml
kazzmir_ has joined #ocaml
hkBst has joined #ocaml
smimou has joined #ocaml
gaja has joined #ocaml
Yoric[DT] has joined #ocaml
acatout has joined #ocaml
eroyf has joined #ocaml
|Catch22| has joined #ocaml
l_a_m has joined #ocaml
cmeme has joined #ocaml
sergez has joined #ocaml
jonafan has joined #ocaml
netx has joined #ocaml
bla has joined #ocaml
rogo has joined #ocaml
diakopter has joined #ocaml
Smerdyakov has joined #ocaml
gim has joined #ocaml
rwmjones has joined #ocaml
joshcryer has joined #ocaml
guyzmo has joined #ocaml
seafood has joined #ocaml
mattam has joined #ocaml
schme has joined #ocaml
Nutssh has joined #ocaml
zmdkrbou has joined #ocaml
TaXules has joined #ocaml
Ober has joined #ocaml
hcarty has joined #ocaml
Amorphous has joined #ocaml
tsuyoshi has joined #ocaml
mbishop has joined #ocaml
bebui has joined #ocaml
aij has joined #ocaml
messju has joined #ocaml
kelaouchi has joined #ocaml
ita has joined #ocaml
jeremiah has joined #ocaml
Tov_enst has joined #ocaml
Jedai has joined #ocaml
zvrba has joined #ocaml
unfo- has joined #ocaml
Ober has quit [Connection reset by peer]
flux has joined #ocaml
simon has joined #ocaml
svenl has joined #ocaml
Hadaka has joined #ocaml
ulfdoz has joined #ocaml
kelaouchi has quit [Read error: 104 (Connection reset by peer)]
gaja has quit [Connection reset by peer]
pattern has joined #ocaml
gaja has joined #ocaml
kelaouchi has joined #ocaml
darinm has joined #ocaml
poau has joined #ocaml
poau has left #ocaml []
jlouis has joined #ocaml
crathman has quit ["ChatZilla 0.9.79 [Firefox 2.0.0.9/2007102514]"]
jlouis_ has quit [Read error: 110 (Connection timed out)]
darinm has quit []
Ober_ is now known as Ober
buluca has joined #ocaml
mulander has quit [Remote closed the connection]
aij has quit ["new kernel o'clock"]
psnively has quit []
ita has quit [Remote closed the connection]