* 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.
<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 ?