<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)]
<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)]