mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab OCaml 3.10.2 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
structured has joined #ocaml
marmottine has joined #ocaml
yminsky has quit []
Morphous has joined #ocaml
ofaurax has quit ["Leaving"]
Amorphous has quit [Read error: 110 (Connection timed out)]
yminsky has joined #ocaml
yminsky has quit []
<tsuyoshi> are there any utf8 lexers for ocaml
<hcarty> tsuyoshi: I that what ulex is? (I don't know, it's not something I've used)
<tsuyoshi> oh yeah, that's it
pattern has joined #ocaml
<tsuyoshi> wow even works with utf16
<tsuyoshi> does anyone actually use utf16 though?
marmottine has quit ["Quitte"]
seafood_ has quit [Read error: 104 (Connection reset by peer)]
seafood_ has joined #ocaml
seafood_ has quit [Read error: 104 (Connection reset by peer)]
seafood_ has joined #ocaml
seafood_ has quit [Read error: 104 (Connection reset by peer)]
seafood_ has joined #ocaml
seafood__ has joined #ocaml
seafood_ has quit [Read error: 104 (Connection reset by peer)]
seafood__ has quit [Read error: 104 (Connection reset by peer)]
seafood_ has joined #ocaml
seafood_ has quit [Read error: 104 (Connection reset by peer)]
seafood_ has joined #ocaml
seafood_ has quit [Read error: 104 (Connection reset by peer)]
seafood_ has joined #ocaml
seafood_ has quit [Client Quit]
yminsky has joined #ocaml
<structured> sigh, finally thought I completely understood how to use the "with type " clause, now I'm confused again :/
<Immmortal> ping
<structured> pong
<Immmortal> thanks
<Immmortal> it's too silent
<structured> I'm waiting for my pizza..dying over here. and I still don't quite understand the best way for me to use modules either
seafood_ has joined #ocaml
seafood_ has quit [Client Quit]
seafood_ has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
<structured> can anyone explain the optimization puzzle I posted here: http://pastebin.slackadelic.com/130
ygrek has joined #ocaml
ygrek has quit [Client Quit]
jeremiah has joined #ocaml
<flux> polymorphic variants are slower
<flux> using them involves hashing
<structured> flux: but why can't the compiler optimize away in that context?
<flux> maybe it could, but in general it couldn't
<flux> without a whole-program compiler anyway, I suppose
<structured> flux: fair enough. I'm trying to come up with an example when a future module could stop it from optimizing the function "g" in all contexts
<flux> structured, how would you pick unique integer identifiers to the `Values?
<flux> if you're compiling one module at a time, you don't know what assignments other modules have
<structured> flux: ah yes that's a great way to look at it. thanks
ygrek has joined #ocaml
seafood_ has quit []
struk_atwork2 has joined #ocaml
struk_atwork has quit [Read error: 110 (Connection timed out)]
filp has joined #ocaml
filp has quit [Client Quit]
seafood_ has joined #ocaml
l_a_m has joined #ocaml
bluestorm has joined #ocaml
Linktim has joined #ocaml
Tetsuo has joined #ocaml
TychoBrahe has quit ["KVIrc 3.4.0 Virgo http://www.kvirc.net/"]
Yoric[DT] has joined #ocaml
Linktim has quit [Read error: 104 (Connection reset by peer)]
Linktim has joined #ocaml
seafood__ has joined #ocaml
seafood_ has quit [Read error: 104 (Connection reset by peer)]
seafood_ has joined #ocaml
seafood__ has quit [Read error: 104 (Connection reset by peer)]
LordMetroid has joined #ocaml
Linktim has quit [Read error: 110 (Connection timed out)]
Linktim has joined #ocaml
Ched- has joined #ocaml
hkBst has joined #ocaml
vbmithr has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
LordMetroid has quit [Read error: 104 (Connection reset by peer)]
LordMetroid has joined #ocaml
structured has quit ["Konversation terminated!"]
structured has joined #ocaml
jeremiah has joined #ocaml
lordmetroid_ has joined #ocaml
LordMetroid has quit [Connection timed out]
lordmetroid__ has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
lordmetroid_ has quit [Read error: 110 (Connection timed out)]
jeremiah has joined #ocaml
vixey has quit ["-"]
lordmetroid__ is now known as LordMetroid
bluestorm has quit ["Konversation terminated!"]
bluestorm has joined #ocaml
jlouis has quit [Read error: 110 (Connection timed out)]
Linktim_ has joined #ocaml
Linktim has quit [leguin.freenode.net irc.freenode.net]
r0bby has quit [leguin.freenode.net irc.freenode.net]
kAworu has quit [leguin.freenode.net irc.freenode.net]
ppsmimou has quit [leguin.freenode.net irc.freenode.net]
thelema has quit [leguin.freenode.net irc.freenode.net]
Smerdyakov has quit [leguin.freenode.net irc.freenode.net]
Oatschool has quit [leguin.freenode.net irc.freenode.net]
kAworu has joined #ocaml
ppsmimou has joined #ocaml
thelema has joined #ocaml
Smerdyakov has joined #ocaml
Oatschool has joined #ocaml
Linktim_ has quit [Read error: 104 (Connection reset by peer)]
Linktim has joined #ocaml
Yoric[DT] has quit [Read error: 113 (No route to host)]
pango_ has quit [Remote closed the connection]
pango_ has joined #ocaml
LordMetroid has quit ["Leaving"]
ofaurax has joined #ocaml
Ched- has quit [Remote closed the connection]
Ched- has joined #ocaml
RobertFischer has joined #ocaml
<RobertFischer> What's the best pastie for ocaml?
<haelix> hmmmmm...
<haelix> care to elaborate on what a pastie is ?
<RobertFischer> http://pastebin.eu/
<RobertFischer> That's the best one I've found
marmottine has joined #ocaml
LordMetroid has joined #ocaml
<haelix> RobertFischer: ho
<haelix> ok
<haelix> I think I've seen somthing like rafb used often, here
<haelix> google says: rafb.net/paste
<RobertFischer> That one doesn't have Ocaml as a language selection.
<Smerdyakov> RobertFischer, "OCaml," not "Ocaml."
<orbitz> RobertFischer: learn engish you fool!
<RobertFischer> Smerdyakov: Why is it "OCaml" and not "Ocaml"?
<RobertFischer> orbitz: (I'm slow.)
<RobertFischer> Smerdyakov: Gotcha. Alright, if that's the official way to write it, I'll roll with that.
<orbitz> i prefer oCAML
<orbitz> to be fair though. The site just says they write it one way for not good reason other than they want to, and they even go against other popular grammar rules. so we don't hav eot follow that if we don't want to
Morphous is now known as Ammorphous
<Smerdyakov> I disagree. Naming standardization is very useful, regardless of the rules used to construct the standard.
<orbitz> even if you make up your own naming stnadards on the fly?
<Smerdyakov> This standard is from the developers of the language.
<orbitz> and in waht way is it useful to distinguish ocaml, Ocaml, OCaml, and OCAML?
<Smerdyakov> The fewer names for a thing, the easier it is to read text that refers to it.
seafood_ has quit []
<orbitz> is distinguishing those forms a large barrier in reading texts on ocaml?
<Smerdyakov> I'm done with this discussion.
<Smerdyakov> There is a long tradition of having official spellings and capitalizations in English, and there's no reason to grant an exception here.
<orbitz> on top of that, if we are goign to say a standardization makes it easier, then doesn't the developers diverging from the rather well known standard of the grammar make it harder?
<orbitz> yes ther eis, teh tradition says it should be OCAML
<Smerdyakov> There is a long tradition of using arbitrary capitalization conventions in proper names of engineering systems.
<orbitz> sounds good. i prefer to arbitrarily use Ocaml
<Smerdyakov> No, you see, you use arbitrary conventions in choosing the one allowable name. (And "you" means the authors of the system; no one else may do this.)
<orbitz> nah
<orbitz> Ocaml
<Smerdyakov> I don't know how you justify this childish behavior to yourself.
marmottine has quit ["Quitte"]
jeremiah has quit [Read error: 104 (Connection reset by peer)]
RobertFischer has quit []
<orbitz> Smerdyakov: easy: i don't
qwr has quit [leguin.freenode.net irc.freenode.net]
pango_ has quit [Remote closed the connection]
jeremiah has joined #ocaml
qwr has joined #ocaml
pango_ has joined #ocaml
Yoric[DT] has joined #ocaml
TychoBrahe has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
Ammorphous has quit [Client Quit]
jeremiah has joined #ocaml
LordMetroid has quit ["Leaving"]
jeremiah has quit [Read error: 104 (Connection reset by peer)]
Linktim has quit [Remote closed the connection]
jeremiah has joined #ocaml
Amorphous has joined #ocaml
Amorphous has quit [Read error: 104 (Connection reset by peer)]
Amorphous has joined #ocaml
Amorphous has quit [Read error: 104 (Connection reset by peer)]
Amorphous has joined #ocaml
Amorphous has quit [Read error: 104 (Connection reset by peer)]
Amorphous has joined #ocaml
Linktim has joined #ocaml
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
jeremiah has quit [Read error: 104 (Connection reset by peer)]
Linktim has quit [Remote closed the connection]
ofaurax has quit ["Leaving"]
jeremiah has joined #ocaml
comglz has joined #ocaml
comglz has quit [Client Quit]
comglz has joined #ocaml
comglz has quit [Client Quit]
marmottine has joined #ocaml
ttrunck has joined #ocaml
TychoBrahe has quit [Remote closed the connection]
comglz has joined #ocaml
<comglz> exit
comglz has quit [Client Quit]
TychoBrahe has joined #ocaml
ttrunck has quit ["Ex-Chat"]
Smerdyakov has quit ["computer go on a trip"]
bluestorm has quit ["Konversation terminated!"]
Smerdyakov has joined #ocaml
l_a_m has quit [Remote closed the connection]
sporkmonger_ has joined #ocaml
<structured> I tried "tricking" jocaml by passing a class across the wire with methods but it didn't fall for it
sporkmonger has quit [Read error: 110 (Connection timed out)]
ygrek has quit [Remote closed the connection]
jlouis has joined #ocaml
RobertFischer has joined #ocaml
hkBst has quit ["Konversation terminated!"]
smimou has quit ["bli"]
RobertFischer has quit ["Taking off -- check out http://smokejumperit.com and http://enfranchisedmind.com/blog/"]
olasd has joined #ocaml
jonafan_ has joined #ocaml
jonafan has quit [Read error: 110 (Connection timed out)]
r0bby has joined #ocaml
jonafan has joined #ocaml
Tetsuo has quit ["Leaving"]
Yoric[DT] has quit ["Ex-Chat"]
comglz has joined #ocaml
jonafan_ has quit [Read error: 110 (Connection timed out)]
comglz has quit ["AddToFunc ExitFunction I Exec exec sudo halt"]
comglz_ has joined #ocaml
LordMetroid has joined #ocaml
comglz_ has quit [Client Quit]
<orbitz> structured: it's too samrt for you