kaustuv changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.1 out now! Get yours from http://caml.inria.fr/ocaml/release.html
<Smerdyakov> What semantics do you have in mind?
Lomono has quit ["Don't even think about saying Candlejack or else you wi"]
<ehird> Smerdyakov: i'm basically wanting to pattern-match on ('x'::t) for strings :-P
<Smerdyakov> OK, that's very different from [^] in general.
<AxleLonghorn> I think ehird is referring to the ^ OCaml operator, which appends strings
<ehird> I was
<ehird> What's [^]?
<gildor> "abcd" ^ "defg" = "abcdefg"
<AxleLonghorn> I think Smerdyakov is referring to exponentiation
<hcarty> ehird: Micmatch/Mikmatch may allow you to do what you want.
<ehird> hmm
julm has quit [Read error: 113 (No route to host)]
<palomer> Smerdyakov, I'd like to prove progress/preservation of polymorphic lambda calculus with let
<palomer> and datatypes
<palomer> where do I start?
<Smerdyakov> ehird, allowing unrestricted use of [^] in patterns would create nondeterminism.
<Smerdyakov> palomer, there's no standard approach.
<ehird> Yes, true.
<ehird> Smerdyakov: though eg "ab"^x^"cd" is trivial
<ehird> abfooabbarcdbazcd → x=fooabbar
<ehird> well
<ehird> assuming you then do ^y at the end
Annath has joined #ocaml
<palomer> Smerdyakov, my aim is to to it polymorphic lambda calculus with let and generalized algebraic datatypes
<palomer> (with type inference)
<Annath> ok, this is a giant newbie question I know, but is the syntax for ocamlopt the same as ocamlc? At least for simple uses like 'ocamlc -o grtest graphics.cma grtest.ml'?
<gildor> Annath: the syntax is close, but there different option for ocamlc and ocamlopt
<gildor> (there are different option)
<Annath> hypothetically, 'ocamlopt graphics.cma grtest.ml' should work right?
<gildor> no .cma are bytecode
<gildor> not for ocamlopt
<gildor> use graphics.cmxa
<Annath> ah /facepalm
<Annath> thanks
<Annath> I'm just getting into OCaml and functional programming in general. It's an interesting shift in thinking from what I'm used to.
Lomono has joined #ocaml
Annath has quit ["KVIrc 3.4.0 Virgo http://www.kvirc.net/"]
Ched has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
Ched has joined #ocaml
AxleLonghorn has left #ocaml []
julm has quit [Read error: 110 (Connection timed out)]
julm has joined #ocaml
<palomer> julm, you around?
Associat0r has quit []
julm has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
julm has quit [Read error: 60 (Operation timed out)]
ertai has quit [Remote closed the connection]
ertai has joined #ocaml
oi has joined #ocaml
oi has left #ocaml []
winston_smith has joined #ocaml
winston_smith is now known as Guest84244
Guest84244 has quit [Client Quit]
wsmith84 has joined #ocaml
julm has joined #ocaml
ikaros has joined #ocaml
Associat0r has joined #ocaml
holgr has quit [Remote closed the connection]
holgr has joined #ocaml
julm has quit [Read error: 113 (No route to host)]
jeddhaberstro has quit []
johnnowak has joined #ocaml
thelema has quit [Read error: 110 (Connection timed out)]
ikaros has quit ["Leave the magic to Houdini"]
Camarade_Tux has joined #ocaml
johnnowak has left #ocaml []
mishok13 has quit [Read error: 60 (Operation timed out)]
Lomono has quit ["Don't even think about saying Candlejack or else you wi"]
mishok13 has joined #ocaml
bla has quit [Read error: 60 (Operation timed out)]
bla has joined #ocaml
julm has joined #ocaml
julm has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
rjones__ has quit [Read error: 113 (No route to host)]
eevar2 has joined #ocaml
wsmith84 has quit [Remote closed the connection]
_zack has joined #ocaml
Alpounet has joined #ocaml
johnnowak has joined #ocaml
johnnowak has quit [Remote closed the connection]
johnnowak has joined #ocaml
julm has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
julm has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
rwmjones_ has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
julm has joined #ocaml
Yoric[DT] has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
julm has joined #ocaml
komar_ has joined #ocaml
mfp has quit [Read error: 104 (Connection reset by peer)]
mfp has joined #ocaml
dabd has joined #ocaml
dabd has quit [Client Quit]
johnnowak has quit [Remote closed the connection]
johnnowak has joined #ocaml
dabd has joined #ocaml
Associat0r has quit []
<rwmjones_> upvoted
Amorphous has quit [Read error: 113 (No route to host)]
Amorphous has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
julm has joined #ocaml
ched_ has joined #ocaml
det has quit [Read error: 104 (Connection reset by peer)]
Ched has quit [Read error: 110 (Connection timed out)]
det has joined #ocaml
Spiwack has joined #ocaml
hkBst has joined #ocaml
Camarade_Tux has quit [Read error: 110 (Connection timed out)]
Camarade_Tux has joined #ocaml
_andre has joined #ocaml
jmou has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
jmou has quit [Read error: 60 (Operation timed out)]
jmou has joined #ocaml
ikaros has joined #ocaml
bombshelter13_ has joined #ocaml
lutter has joined #ocaml
jmou has quit [Read error: 110 (Connection timed out)]
petchema has joined #ocaml
jmou has joined #ocaml
jmou is now known as julm
Alpounet has quit [Read error: 104 (Connection reset by peer)]
johnnowak has quit []
Lomono has joined #ocaml
<palomer> I use objects _pervasively_
mbishop_ has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
julm has joined #ocaml
mbishop has quit [Read error: 113 (No route to host)]
wysek has quit [Read error: 60 (Operation timed out)]
guille_ has joined #ocaml
<hcarty> Yoric[DT]: Thank you for putting together the writeup and demo. It sounds quite promising.
<guille_> hii'm looking for an html parser library. i've seen pxp, xml-light but i've not decided yet. it would be cool something like nokogiri for ruby (you can switch back and forth between XPath expressions and css selector exprs. any advice for a good library which can handle bad formatted html in a nice way?
eevar2 has quit ["This computer has gone to sleep"]
<ehird> guille_: if there isn't anything premade you could try and translate the python library Beautiful Soup; it's a one file dealie so it should be short enough
<ehird> but I don't know if there is anything premade.
julm has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
yziquel has left #ocaml []
maxote has quit [Read error: 110 (Connection timed out)]
Spiwack has quit [Read error: 104 (Connection reset by peer)]
maxote has joined #ocaml
Spiwack has joined #ocaml
wysek has joined #ocaml
ztfw has joined #ocaml
willb has quit [Read error: 60 (Operation timed out)]
rjones__ has joined #ocaml
rjones__ has quit [Remote closed the connection]
psnively has joined #ocaml
psnively has left #ocaml []
rjones__ has joined #ocaml
julm has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
jeddhaberstro has joined #ocaml
rwmjones_ has quit [Read error: 113 (No route to host)]
guille_` has joined #ocaml
guille_ has quit [Read error: 60 (Operation timed out)]
ztfw has quit [Remote closed the connection]
_zack has quit ["Leaving."]
willb has joined #ocaml
yziquel has joined #ocaml
<julm> palomer: ping
guille_` has quit ["ERC Version 5.2 (IRC client for Emacs)"]
Associat0r has joined #ocaml
rjones__ has quit [Read error: 110 (Connection timed out)]
yziquel has left #ocaml []
Spiwack has quit ["Leaving"]
julm has quit [Read error: 110 (Connection timed out)]
julm has joined #ocaml
komar_ has quit [Read error: 60 (Operation timed out)]
ehird has left #ocaml []
ellisbben has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
julm has joined #ocaml
julm has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
ulfdoz has joined #ocaml
<palomer> pong
yziquel has joined #ocaml
Alpounet has joined #ocaml
julm has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
yziquel has left #ocaml []
julm has quit [Excess Flood]
julm has joined #ocaml
<palomer> julm, you around?
<julm> yeap
_andre has left #ocaml []
ellisbben has quit ["Computer has gone to sleep"]
ellisbben has joined #ocaml
svenl has quit [Read error: 110 (Connection timed out)]
jmou has joined #ocaml
oriba has joined #ocaml
oriba has left #ocaml []
rwmjones_ has joined #ocaml
<Yoric[DT]> hcarty: ping
Alpounet has quit [Read error: 104 (Connection reset by peer)]
julm has quit [Success]
rwmjones_ has quit [Read error: 60 (Operation timed out)]
komar_ has joined #ocaml
ellisbben has quit ["leaving"]
svenl has joined #ocaml
psnively has joined #ocaml
psnively has left #ocaml []
julm has joined #ocaml
rwmjones_ has joined #ocaml
<hcarty> Yoric[DT]: pong
Alpounet has joined #ocaml
jmou has quit [Connection timed out]
<Yoric[DT]> hcarty: how are things with the MacOS users?
<hcarty> For Batteries? I'm not sure, haven't heard anything back yet.
<hcarty> I don't have access to OSX for local testing, so I don't know if the "cp -a" issue is still present.
<hcarty> And I'm not sure what to think of the GZip vs Gzip error.
<hcarty> thelema posted a request for more information in the bug report.
<Alpounet> we can ask for testers on caml-list, can't we ?
<Yoric[DT]> Good idea.
<Yoric[DT]> hcarty: Alpounet: does one of you feel like asking for testers?
<Alpounet> You don't ?
<hcarty> Yoric[DT]: I can ask. I'm not sure if it would be best to wait to hear back from the reporter though.
<Yoric[DT]> Yeah, I guess we can wait a few days.
<hcarty> If I forget, please feel free to ping me on this :-)
<Alpounet> I may ask a researcher I know (he teached me Turing machines, PCP, etc), he runs OSX but he has very few time free for such stuffs. But I can try.
<hcarty> My wife's birthday is in a few days, and we are preparing for a move relatively soon.
<Alpounet> little move or big one ?
<Yoric[DT]> hcarty: well, wish her a happy birthday from #ocaml :)
<Alpounet> yeah, +1
<hcarty> Alpounet: Both I suppose? ~850 miles and a major career shift for her (grad student -> professor)
<hcarty> Yoric[DT], Alpounet: Thank you both, I'll pass that along :-)
<Yoric[DT]> scary career shift :)
<Yoric[DT]> What domain?
<Alpounet> Oceanography ? :-p
<hcarty> Physic + Astronomy
<hcarty> Alpounet: Not quite that closely related to what I do :-)
<Alpounet> Heh :-p
bombshelter13_ has quit []
<Alpounet> Yoric[DT], should I send an email to Greg' ? ;)
<Alpounet> (for Batteries)
<Yoric[DT]> :)
<Alpounet> hmm ?
<Yoric[DT]> Let's wait a few days first.
julm has quit [Read error: 60 (Operation timed out)]
<Alpounet> ok
julm has joined #ocaml
lutter has quit [Read error: 110 (Connection timed out)]
hkBst has quit [Read error: 104 (Connection reset by peer)]
julm has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
dabd has quit [Client Quit]
ikaros has quit ["Leave the magic to Houdini"]
Camarade_Tux has quit [Read error: 110 (Connection timed out)]
spez has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
jmou has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
<spez> I have a beginner question I hope someone can help with:
<spez> is it possible to have a pattern that only matches when all the elements of a tuple are the same?
<spez> for example, something like: match (1, 1) with (x, x) -> true;;
<spez> ocaml complains that the variable x has already been used
<jmou> spez : do something like match (1, 1) with (x, y) when x = y -> true
jmou is now known as julm
<spez> jmou: yes. i'm wondering about the case where i have multiple patterns and the tuple is longer than two items. it seems things quickly become unwieldy/verbose.
<spez> alternatively, is it possible to see if a handful of items (x, y, z) are the same type without saying something like (x = y) and (y = z) ?
willb has quit [Read error: 110 (Connection timed out)]
<julm> spez: in that part of the manual: http://caml.inria.fr/pub/docs/manual-ocaml/patterns.html you will see what kind of mathing you could do with [match]
<julm> matching*
spez has quit []
ulfdoz has quit [Read error: 110 (Connection timed out)]