gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
ousado has quit [Ping timeout: 264 seconds]
* dsheets wishes menhir replaces ocamlyacc in a future official ocaml distro release
ousado has joined #ocaml
ousado has quit [Changing host]
ousado has joined #ocaml
jamii has quit [Ping timeout: 268 seconds]
netrino has quit [Quit: Ave!]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: Leaving]
<dsheets> does anyone here know what it is called in the literature to infer a set of assertions about the possible types of an expression? e.g. "f (f (g x))" yields x : '_a, g : '_a -> '_b, f : '_b -> '_b etc
<abeaulieu> isn't that type inference?
<dsheets> usually type inference yields a concrete typing, no? I would like to infer partial typings of fragments which perhaps lack definitions for subterms
<abeaulieu> I mean, you can assign an arbitrary type a' to x and do type inference from there
<abeaulieu> If you're looking for the underlying system that allows you to do that, I guess that would be something like Sequent Calculus or some other logic system that allows you to work from a set of assumptions and step to conclusions
<nicoo> dsheets: It is type inference you need, I think
<nicoo> Since you can juste rewrite it for taking undefined variables as arguments ;)
<nicoo> On this note, good night ;)
emmanuelux has quit [Ping timeout: 272 seconds]
osa1 has quit [Ping timeout: 276 seconds]
<dsheets> i think you are correct… the potential for ambiguity worries me. are there "partial expression" type inference systems in the wild? type knowledge representation systems?
<dsheets> i thought ml style type inference needed to work bottom-up?
<abeaulieu> the interpreter does that when you give it a function without type hints, does it not? I'm not very familiar with ocaml, but still
<abeaulieu> it can work in both directions
cdidd has quit [Read error: Connection reset by peer]
madroach has quit [Ping timeout: 265 seconds]
madroach has joined #ocaml
scri has joined #ocaml
lopex_ has joined #ocaml
bobry_ has joined #ocaml
asmanur_ has joined #ocaml
lopex has quit [Max SendQ exceeded]
lopex_ is now known as lopex
bobry has quit [Ping timeout: 260 seconds]
bobry_ is now known as bobry
asmanur has quit [Ping timeout: 245 seconds]
thelema has quit [Remote host closed the connection]
thelema_ has joined #ocaml
sepp2k has quit [Remote host closed the connection]
thelema_ has quit [*.net *.split]
bzzbzz has quit [*.net *.split]
dgfitch has quit [*.net *.split]
ankit9 has joined #ocaml
thelema_ has joined #ocaml
bzzbzz has joined #ocaml
dgfitch has joined #ocaml
thelema_ has quit [*.net *.split]
bzzbzz has quit [*.net *.split]
dgfitch has quit [*.net *.split]
wormphlegm has quit [Read error: Connection reset by peer]
wormphlegm has joined #ocaml
<cacho> anyone knows if there is any antlr ocaml parser?
ankit9 has quit [Quit: Leaving]
pango is now known as pangoafk
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 246 seconds]
ulfdoz_ is now known as ulfdoz
ulfdoz has quit [Ping timeout: 240 seconds]
thelema_ has joined #ocaml
bzzbzz has joined #ocaml
dgfitch has joined #ocaml
ankit9 has joined #ocaml
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
djcoin has joined #ocaml
ankit9 has quit [Quit: Leaving]
djcoin has quit [Client Quit]
djcoin has joined #ocaml
ankit9 has joined #ocaml
Cyanure has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
Yoric has joined #ocaml
mika1 has joined #ocaml
trigen_ has left #ocaml []
ankit9 has quit [Quit: Leaving]
Anarchos has joined #ocaml
ankit9 has joined #ocaml
ocp has joined #ocaml
ocp has left #ocaml []
ocp has joined #ocaml
Snark has joined #ocaml
scri has quit [Ping timeout: 272 seconds]
eni has joined #ocaml
eikke has joined #ocaml
<nicoo> cacho: You mean an ANTLR backend for OCaml, I think
<nicoo> And AFAIK, no there isn't
<nicoo> But there are more powerful parser generators for OCaml (and not nearly as verbose)
rossberg has joined #ocaml
thomasga has joined #ocaml
ftrvxmtrx has joined #ocaml
<Anarchos> nicoo i downloaded dypgen recently
<Anarchos> nicoo a parser said to manage ambiguities in grammar and returning all the possible derivations
<nicoo> Anarchos: Yes, that kind of thing is fun (and very useful for natural language processing)
<Anarchos> nicoo i intend to use it for parsing of mathematical formulas where concatenations can be used as an operator
<nicoo> Though in cacho's case, I doubt he will have ambiguous grammars.
<nicoo> Hmm, I don't see where you might need ambiguousness.
<Anarchos> nicoo abc = (a*b)*c = a*(b*c) :)
<nicoo> Ok; this is not concat, this is associativity
<Anarchos> well a*b*c is ambigous if associativity of operator is not defined
<Anarchos> but perfectly legal in math
<nicoo> Yes, but almost all operators in maths are either associative or have a well-defined associativity
<nicoo> So the AST might vary, but its semantics stay the same
greg_dove has quit [Quit: ChatZilla 0.9.88.2 [Firefox 10.0.2/20120215223356]]
abeaulieu has quit [Ping timeout: 245 seconds]
<companion_cube> is there a way for a class to refer to its own initializer?
<companion_cube> (e.g. for a method to produce a copy of itself with different parameters)
beckerb has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
abeaulieu has joined #ocaml
<Anarchos> companion_cube not found in the reference manual ?
<companion_cube> no, but it seems like immediate objects built by recursive functions should do the trick
<Anarchos> companion_cube and use of self ident ?
<companion_cube> well I don't know, can you call new self foo?
sgnb has quit [Read error: Connection reset by peer]
<Anarchos> companion_cube i am not sure if you can return self in a method because the .. rank variable type could escape.
sgnb has joined #ocaml
<companion_cube> well then, a recursive function seems simpler
<companion_cube> since right now I use objects through class types
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
<Anarchos> companion_cube i can't help you further : i never programmed with objects in ocaml
sgnb has quit [Remote host closed the connection]
<companion_cube> that's ok, thanks :)
hnrgrgr has quit [Ping timeout: 244 seconds]
osa1 has joined #ocaml
hnrgrgr has joined #ocaml
jamii has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
sgnb has joined #ocaml
<hcarty> companion_cube: Functional updates may do what you want. If not, you can have a "self" value and use it how you described.
mika1 has quit [Quit: Leaving.]
<hcarty> companion_cube: http://caml.inria.fr/pub/docs/manual-ocaml/manual005.html#toc30 -- for the functional update part
mika1 has joined #ocaml
<hcarty> companion_cube: http://caml.inria.fr/pub/docs/manual-ocaml/manual005.html#toc20 -- references to self
<companion_cube> hcarty: I use functional udpates, but then you need to put the initializers in val
_andre has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
emmanuelux has joined #ocaml
adrien_o1w has joined #ocaml
companio1_square has joined #ocaml
TaXules_ has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
companion_cube has quit [Disconnected by services]
companio1_square is now known as companion_cube
adrien_oww has quit [*.net *.split]
TaXules has quit [*.net *.split]
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
osa1 has quit [Ping timeout: 240 seconds]
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
Anarchos has joined #ocaml
Yoric has joined #ocaml
sepp2k has joined #ocaml
emmanuelux has quit [Ping timeout: 246 seconds]
gnuvince has quit [Ping timeout: 246 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
mika1 has quit [Ping timeout: 246 seconds]
cdidd has joined #ocaml
gnuvince has joined #ocaml
mika1 has joined #ocaml
eikke has quit [Ping timeout: 240 seconds]
eni has quit [Ping timeout: 260 seconds]
ivan\ has quit [Read error: Operation timed out]
ivan\ has joined #ocaml
smondet has joined #ocaml
Anarchos has joined #ocaml
<gnuvince> Does anyone know if OCaml 4.00 should make it into Ubuntu's repositories soon?
<Anarchos> gnuvince no idea but don't wait for it fast : there are incompatibilities with ocaml 4.00 and external packages like bitstring, findlib
ankit9 has quit [Quit: Leaving]
<gnuvince> Anarchos: thanks for the info!
<Anarchos> gnuvince it is due to the new compiler-libs folder
<companion_cube> do you know how to pass a -g flag to ocamlopt through ocamlbuild?
<companion_cube> ocamlbuild -cflag -g thinks the -g is for ocamlbuild...
<Anarchos> -optflag ?
<Anarchos> or --help to get the list of options of ocamlbuild ?
<fx_> ocamlbuild -tag debug
<companion_cube> hmmm
<companion_cube> ok, seems to work, thanks
<Anarchos> companion_cube which one worked ,
<Anarchos> ?
<companion_cube> -cflag -g, but not between another option and its arg -_-
* companion_cube stupid
<hcarty> gnuvince: You can compile OCaml 4.00.0 with ocamlbrew if you want to test it. But I expect that it will be Ubuntu 13.04 before OCaml 4.00.x makes it in.
avsm has joined #ocaml
<Anarchos> hcarty i often compile ocaml myself cause there are no packages manager on haikuOS :)
<hcarty> Anarchos: :-) You could always test ocamlbrew on haikuOS if it has bash...
<Anarchos> it has bash yes
<Anarchos> but some system calls are missing so i had to modify some Unix-related files anyway
<gnuvince> hcarty: not even 12.10?
<hcarty> gnuvince: I doubt it. Debian unstable still has 3.12.1.
hkBst has quit [Quit: Konversation terminated!]
<gnuvince> ok
<gnuvince> thanks a lot
<fx_> 4.00 is in experimental, but not the libraries
gnuvince has quit [Ping timeout: 244 seconds]
wtetzner has quit [Read error: Connection reset by peer]
wtetzner has joined #ocaml
eni has joined #ocaml
eikke has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
jamii has quit [Ping timeout: 256 seconds]
ftrvxmtrx has quit [Quit: Leaving]
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
mika1 has quit [Client Quit]
gnuvince has joined #ocaml
mfp has quit [Ping timeout: 276 seconds]
BiDOrD_ has joined #ocaml
mfp has joined #ocaml
BiDOrD has quit [Ping timeout: 245 seconds]
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
avsm has quit [Quit: Leaving.]
beckerb has quit [Quit: Konversation terminated!]
beckerb has joined #ocaml
beckerb has quit [Ping timeout: 245 seconds]
avsm has joined #ocaml
sepp2k1 has joined #ocaml
thomasga has quit [Quit: Leaving.]
eikke has quit [Ping timeout: 240 seconds]
eikke has joined #ocaml
sepp2k has quit [Ping timeout: 260 seconds]
Cyanure has quit [Remote host closed the connection]
ocp has left #ocaml []
Progster has joined #ocaml
pangoafk is now known as pango4
pango4 is now known as pango
Yoric has quit [Ping timeout: 252 seconds]
avsm has quit [Quit: Leaving.]
eni has quit [Ping timeout: 245 seconds]
avsm has joined #ocaml
dwmw2_gone has joined #ocaml
mmajchrzak_ has joined #ocaml
avsm has quit [Quit: Leaving.]
Znudzon has quit [Ping timeout: 246 seconds]
Mnabil has joined #ocaml
Yoric has joined #ocaml
dwmw2_gone has quit [Ping timeout: 240 seconds]
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Ping timeout: 248 seconds]
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Ping timeout: 240 seconds]
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Ping timeout: 248 seconds]
scri has joined #ocaml
dwmw2_gone has joined #ocaml
Snark has quit [Quit: Quitte]
ftrvxmtrx has joined #ocaml
dwmw2_gone has quit [Ping timeout: 240 seconds]
dwmw2_gone has joined #ocaml
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
dwmw2_gone has quit [Ping timeout: 248 seconds]
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
Yoric has quit [Ping timeout: 245 seconds]
fraggle_laptop has joined #ocaml
ivan\ has joined #ocaml
eikke has quit [Ping timeout: 248 seconds]
gnuvince has quit [Ping timeout: 252 seconds]
eikke has joined #ocaml
Yoric has joined #ocaml
gnuvince has joined #ocaml
eikke has quit [Ping timeout: 260 seconds]
Yoric has quit [Ping timeout: 246 seconds]
_andre has quit [Quit: leaving]
eikke has joined #ocaml
avsm has joined #ocaml
eikke has quit [Ping timeout: 245 seconds]
Anarchos has quit [Quit: reboot time, back within 2 min]
Progster has quit []
Anarchos has joined #ocaml
dwmw2_gone has quit [Ping timeout: 246 seconds]
dwmw2_gone has joined #ocaml
stelleg has joined #ocaml
dwmw2_gone has quit [Ping timeout: 248 seconds]
greg_dove has joined #ocaml
dwmw2_gone has joined #ocaml
<greg_dove> has anyone else been trying to build latest ocaml with mingw64 ?
dwmw2_gone has quit [Ping timeout: 240 seconds]
dwmw2_gone has joined #ocaml
eni has joined #ocaml
dwmw2_gone has quit [Ping timeout: 248 seconds]
dwmw2_gone has joined #ocaml
scri has quit [Ping timeout: 260 seconds]
dwmw2_gone has quit [Ping timeout: 240 seconds]
dwmw2_gone has joined #ocaml
sepp2k1 has quit [Ping timeout: 246 seconds]
pheredhel has quit [Quit: ZNC by prozac - http://znc.sourceforge.net]
svenl has quit [Ping timeout: 246 seconds]
svenl has joined #ocaml
dwmw2_gone has quit [Ping timeout: 240 seconds]
smondet has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
pheredhel has joined #ocaml
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Ping timeout: 248 seconds]
dwmw2_gone has joined #ocaml
sepp2k has joined #ocaml
Ptival has quit [Quit: leaving]
emmanuelux has joined #ocaml
dwmw2_gone has quit [Ping timeout: 240 seconds]
Ptival has joined #ocaml
dwmw2_gone has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
dwmw2_gone has quit [Ping timeout: 248 seconds]
dwmw2_gone has joined #ocaml
eni has quit [Quit: Leaving]
dwmw2_gone has quit [Ping timeout: 240 seconds]
dwmw2_gone has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.2]
Xizor has joined #ocaml
dwmw2_gone has quit [Ping timeout: 248 seconds]
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Ping timeout: 240 seconds]
dwmw2_gone has joined #ocaml
emmanuelux has quit [Ping timeout: 244 seconds]
fraggle_laptop has quit [Read error: Connection reset by peer]
dwmw2_gone has quit [Ping timeout: 248 seconds]
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Ping timeout: 240 seconds]
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Ping timeout: 248 seconds]
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Ping timeout: 240 seconds]
dwmw2_gone has joined #ocaml