gl changed the topic of #ocaml to: OCaml 3.07 ! -- Archive of Caml Weekly News: http://pauillac.inria.fr/~aschmitt/cwn , A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/ , A free book: http://cristal.inria.fr/~remy/cours/appsem, Mailing List (best ml ever for any computer language): http://caml.inria.fr/bin/wilma/caml-list | http://icfpcontest.org/ !!
mattam has joined #ocaml
mattam has quit ["leaving"]
CosmicRay_ is now known as CosmicRay
kinners has joined #ocaml
GreyLensman has joined #ocaml
monotonom has quit ["Don't talk to those who talk to themselves."]
sundeep has joined #ocaml
srv has quit [Read error: 110 (Connection timed out)]
CosmicRay has quit [Remote closed the connection]
kwmarc has joined #ocaml
buggs^z has joined #ocaml
kinners has quit [Read error: 60 (Operation timed out)]
kwmarc has quit [Read error: 113 (No route to host)]
buggs has quit [Read error: 110 (Connection timed out)]
GreyLensman has quit ["Leaving"]
badon has left #ocaml []
vincenz_ has joined #ocaml
vincenz has quit [Read error: 110 (Connection timed out)]
bk_ has joined #ocaml
wolfman8k has quit ["Leaving"]
mrsolo has joined #ocaml
det has quit [calvino.freenode.net irc.freenode.net]
_fab has quit [calvino.freenode.net irc.freenode.net]
Banana has quit [calvino.freenode.net irc.freenode.net]
Smerdyakov has quit [calvino.freenode.net irc.freenode.net]
det has joined #ocaml
Banana has joined #ocaml
Smerdyakov has joined #ocaml
_fab has joined #ocaml
_fab has quit [calvino.freenode.net irc.freenode.net]
Banana has quit [calvino.freenode.net irc.freenode.net]
Smerdyakov has quit [calvino.freenode.net irc.freenode.net]
Banana has joined #ocaml
Smerdyakov has joined #ocaml
_fab has joined #ocaml
Banana has quit [calvino.freenode.net irc.freenode.net]
Smerdyakov has quit [calvino.freenode.net irc.freenode.net]
Banana has joined #ocaml
Smerdyakov has joined #ocaml
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
bk_ has joined #ocaml
mrsolo has quit [Read error: 54 (Connection reset by peer)]
jao has quit ["ERC Version 4.0 $Revision: 1.600 $ (IRC client for Emacs)"]
Khortl has joined #ocaml
tyler has quit [Remote closed the connection]
kosmikus|away is now known as kosmikus
Lor has quit [calvino.freenode.net irc.freenode.net]
cmeme has quit [calvino.freenode.net irc.freenode.net]
kosmikus has quit [calvino.freenode.net irc.freenode.net]
gim has quit [calvino.freenode.net irc.freenode.net]
Hipo has quit [calvino.freenode.net irc.freenode.net]
Hipo has joined #ocaml
kosmikus has joined #ocaml
Snark has joined #ocaml
<Snark> slt
gim has joined #ocaml
mattam has joined #ocaml
<slashvar[lri]> Yop
<mattam> yo
<slashvar[lri]> hi mattam
<bk_> hello
buggs^z is now known as buggs
shawn has joined #ocaml
_shawn has quit [Read error: 54 (Connection reset by peer)]
_shawn has joined #ocaml
shawn has quit [Read error: 54 (Connection reset by peer)]
vezenchio has joined #ocaml
karryall has joined #ocaml
Khortl has quit ["Client Exiting"]
buggs has quit [Read error: 60 (Operation timed out)]
mmc is now known as mmc_away
mmc_away has quit [Remote closed the connection]
Iter has joined #ocaml
vezenchio has quit ["According to [a processor for game design], you statistically have a better chance of becoming a rock star than you do of suc]
vezenchio has joined #ocaml
srv has joined #ocaml
buggs has joined #ocaml
kinners has joined #ocaml
Submarine has joined #ocaml
demitar_ has quit [Read error: 104 (Connection reset by peer)]
demitar__ has joined #ocaml
gim has quit ["new xchat"]
gim has joined #ocaml
vincenz_ is now known as vincenz
__mattam__ has joined #ocaml
__mattam__ has quit [Client Quit]
Iter has quit ["Leaving"]
kinners has quit ["leaving"]
srv has quit [Read error: 104 (Connection reset by peer)]
mij has quit [Read error: 104 (Connection reset by peer)]
Snark has quit ["Parti"]
cmeme has joined #ocaml
fariseo has joined #ocaml
demitar_ has joined #ocaml
demitar__ has quit [Read error: 104 (Connection reset by peer)]
srv has joined #ocaml
nom has joined #ocaml
nom is now known as ml
mij has joined #ocaml
monotonom has joined #ocaml
<vincenz> Hello people, small question about marshalling
<vincenz> Is it possible to marshal a function to allow RPC?
<Submarine> I have implemented a RPC library.
<Submarine> Marshalling closures (functions) is possible but is a pain.
<vincenz> How does that work with closures?
<vincenz> How do you do it?
<Submarine> It only works if the remote implementation is exactly the same executable.
<vincenz> exactly the same?
<Submarine> What I do? I register all procedures with a token.
<vincenz> not just using the same libs?
<vincenz> Submarine: much like how you export ocamlstuff to c++....register them as strings?
<Submarine> when you want to call procedure f identified by f_token on host h, you do something like RPC.call h f_token parameter
<Submarine> my tokens are typed though
* vincenz nods
<Submarine> If you wish, I can publish my library.
<Submarine> It's used internally in www.astree.ens.fr
<vincenz> No I was just curious on how it was done
<vincenz> But in this case the executables must not be EXACTLY the same, msuit they?
<Submarine> Well, I suspect that in native code, marshalling works by marshalling the adress inside the code or similar.
<Submarine> Generally speaking, marshalling of closures is fairly restricted.
<Submarine> Problem: objects contain closures.
<vincenz> you mean oop objects?
<vincenz> The reason I was curious is because I was curious to see how easy it would be to make some library that distributes a computationally intensive thing over multiple computers (let's say a func x must be called n times and the results must be combined afterwards)
<vincenz> Astree is pretty impressive :)
<vincenz> Quite interesting
<Submarine> oop objects yeah
<Submarine> Afaik, they're internally records w/ closures for the methods.
<Submarine> vincenz: That's exactly what we do in ASTREE
<Submarine> except it's experimental
<Submarine> we do a repartition over several computers, each computer forking processes
* vincenz wishes he could find a c++ parser to ast written in ocaml (one that does templates)
<Submarine> We have a C one, not C++.
<vincenz> I'll surf around some more
<vincenz> I found a c++ parser (wonder above wonder) named elsa
<vincenz> if I can't find an ocaml one I can always parse it's output
<vincenz> (or write wrappers
<vincenz> )
<Submarine> The best way to write a parser is to take the ISO spec of the lan guage,
<Submarine> There's an informative section about syntax.
<Submarine> Just translate it to ocamlyacc.
<vincenz> I'm not a CS buff
<Submarine> [of course for C there's a lexical tie-in]
<vincenz> plusI doubt a simple translation to ocamlyacc wil lwork
<monotonom> I do not agree it is the best way. I agree it is the most correct way. It is not best in terms of effort spent.
* vincenz nods
<monotonom> Ah well, if there is no ocamlyacc or happy version in circulation, I guess you have to do it the hard way.
<vincenz> but maybe ther'es a parser in another lang whose output can be parsed
<monotonom> Yes true. Is there one that emits xml for example? :)
<vincenz> WOW
<vincenz> By default, Elkhound generates a parser in C++. By specifying
<vincenz> option lang_OCaml;
<vincenz> And there's a thing built on top of elkhound which can parse c++
<vincenz> I think I found it :)
<monotonom> neato
<monotonom> where is elkhound?
<Submarine> monotonom: By "best" I meant "sure to get a good result, and least relying on outside code",.
<monotonom> GLR = very cool.
* monotonom never learned LL(k), LR(k), LALR(k), yacc, all that gang... and is happy to be spared of the trouble.
Submarine has left #ocaml []
karryall has quit ["tcho"]
mattam_ has joined #ocaml
sundeep has quit ["Client exiting"]
monotonom has quit ["Don't talk to those who talk to themselves."]
mattam has quit [Read error: 110 (Connection timed out)]
Submarine has joined #ocaml
ml has quit ["Leaving"]
wolfman8k has joined #ocaml
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
det has quit [Remote closed the connection]
wolfman8k has quit ["fucking shit this sucks eggs"]
monotonom has joined #ocaml
demitar_ has quit [Read error: 104 (Connection reset by peer)]
demitar__ has joined #ocaml
dobrek has joined #ocaml
fariseo has quit [Client Quit]
fariseo has joined #ocaml
mij has quit []
dobrek has quit ["leaving"]
slashvar1lri] has joined #ocaml
slashvar[lri] has quit [Read error: 60 (Operation timed out)]
det has joined #ocaml
Submarine has left #ocaml []
wolfman8k has joined #ocaml
jao has joined #ocaml
monotonom has quit ["Don't talk to those who talk to themselves."]
jao has quit ["ERC Version 4.0 $Revision: 1.600 $ (IRC client for Emacs)"]
GreyLensman has joined #ocaml