not_me2 has quit [Read error: 104 (Connection reset by peer)]
pac_away has joined #ocaml
not_me2 has joined #ocaml
GreyLensman has joined #ocaml
pac_away is now known as pac_
pac_ is now known as pac_crame
yauz has joined #ocaml
yauz_ has quit [Read error: 110 (Connection timed out)]
mrsolo has joined #ocaml
fariseo has quit ["Changing server"]
kinners has joined #ocaml
cjohnson has quit [Read error: 104 (Connection reset by peer)]
pac_crame has quit ["leaving"]
kinners has quit [Read error: 60 (Operation timed out)]
whee has quit []
fariseo has joined #ocaml
fariseo_ has joined #ocaml
det has quit [Remote closed the connection]
det has joined #ocaml
fariseo has quit [Read error: 110 (Connection timed out)]
GreyLensman has quit ["Leaving"]
Herrchen has joined #ocaml
Herrchen_ has quit [Read error: 60 (Operation timed out)]
monotonom has joined #ocaml
AshW8rk3 has joined #ocaml
bk_ has joined #ocaml
AshW8rk3 has quit [Remote closed the connection]
skylan_ has joined #ocaml
jason_ has joined #ocaml
skylan has quit [No route to host]
AshW8rk3 has joined #ocaml
AshW8rk3 has quit [Remote closed the connection]
kosmikus|away is now known as kosmikus
monotonom has quit ["Don't talk to those who talk to themselves."]
debona|r has left #ocaml []
debona|r has joined #ocaml
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
debona|r has left #ocaml []
AshW8rk3 has joined #ocaml
smimou has joined #ocaml
AshW8rk3 has quit [Remote closed the connection]
karryall has quit ["leaving"]
MercyW_ has joined #ocaml
mrsolo has quit [Read error: 104 (Connection reset by peer)]
<mflux>
hmh.. ocaml bytecode binaries and native binaries do compress a lot, from 237k to 53k and 700k to 227k, respectively
<mellum>
well, there's lots of redundancy, allocacting from minor heap, setting up closures...
<mellum>
lots of that is inlined.
<mflux>
lot's of zeroes too, if you take a look at the binary ;)
AshW8rk3 has joined #ocaml
AshW8rk3 has quit [Remote closed the connection]
slashvar[ens] is now known as slashvar[lri]
<slashvar[lri]>
Yop
ita has joined #ocaml
<ita>
morning
<slashvar[lri]>
morning ita
AshW8rk3 has joined #ocaml
AshW8rk3 has quit [Remote closed the connection]
vezenchio has joined #ocaml
jason_ has quit [Remote closed the connection]
det has quit [Read error: 60 (Operation timed out)]
bk_ has joined #ocaml
fab_ has joined #ocaml
_fab has quit [Read error: 104 (Connection reset by peer)]
lmbdwr has quit [Read error: 54 (Connection reset by peer)]
Smerdy has joined #ocaml
fariseo_ is now known as fariseo
Smerdyakov has quit [Read error: 110 (Connection timed out)]
GreyLensman has joined #ocaml
whee has joined #ocaml
<mellum>
does for i = a to b do evaluate b only once?
<ita>
good question ..
<mellum>
Apparently yes.
<ita>
could be a great obfuscation trick if it wasn't :)n
ita has quit ["leaving"]
MercyW_ has quit [Read error: 104 (Connection reset by peer)]
mattam_ is now known as mattam
whee has quit []
maihem has joined #ocaml
sproctor has joined #ocaml
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
<mellum>
Why the #@%$@* does Queue.push have the queue as second parameter??
<sproctor>
maybe because you take a thing and push it onto a queue?
<sproctor>
or because the thing being pushed is more important than the queue? (I'm reaching)
<mellum>
Usually, modules which handle an abstract data type always take this type as first parameter...
<mellum>
This also makes a lot more sense for currying.
<sproctor>
yeah, I agree.
<jason>
Object enforce the order of the item being operated on that is passed to always be first.
<jason>
Ahem, Objects.
<Smerdy>
Which, by itself, is not useful.
Smerdy is now known as Smerdyakov
<jason>
How isn't it useful?
<jason>
The more regular things are the better, in my humble opinion.
<Smerdyakov>
You can just write functions that take particular things first.
<jason>
Right, but it isn't an enforced procedure.
<Smerdyakov>
It's not always clear what "the item being operated on" means in a particular context.
<jason>
And you have to directly reffer to the item passed by its name rather than a consistent alias.
<jason>
This is only a convenience feature.
<jason>
And, I believe a good one.
<Smerdyakov>
That is far from being a large part of what the OO features facilitate.
<jason>
When things are grouped together apropriately, it usually does, actually.
<jason>
And your point is?
<jason>
I never said that is what makes an Object an Object.
<jason>
I said it's a useful feature.
<Smerdyakov>
My point is that this reason alone does not justify any use of objects.
<jason>
Why not?
<jason>
Modules should have the same feature.
<Smerdyakov>
Because objects carry far more baggage with them
<jason>
Far more?
<Smerdyakov>
If you're not using dynamic dispatch, you shouldn't be using objects.
<jason>
Right, the extra overhead is dynamic dispatch, without it, I really can't see this extra "baggage".
<Smerdyakov>
You can't avoid this baggage if you use objects. It's _conceptual_ overhead, not always _runtime_ overhead.
<jason>
Modules seem a lot more complicated in concept. If you look at other languages Classes tend to be a mix between what Ocaml calls Objects and Modules.
<Smerdyakov>
To me, the issue is: how much complexity goes _unused_ in many cases?
<Smerdyakov>
This is high with objects and low with modules.
<sproctor>
what feature of modules do other languages combine with objects that ocaml does not?
<Smerdyakov>
(Also, there is no precedent for capitalized "Objects" and "Modules" having any particular special meaning for OCaml.)
<jason>
One moment, I'm busy for a couple of minutes :)
monotonom has joined #ocaml
maihem is now known as chabot_rules
chabot_rules is now known as maihem
karryall has joined #ocaml
mattam_ has joined #ocaml
mattam has quit [Read error: 110 (Connection timed out)]
pac_away has joined #ocaml
pac_away has quit [Client Quit]
pac_away has joined #ocaml
pac_away is now known as pac_
pac_ has left #ocaml []
GreyLensman has quit ["Leaving"]
mattam_ is now known as mattam
kosmikus is now known as kosmikus|away
fab_ has quit [Read error: 110 (Connection timed out)]
smimou has quit ["?"]
GreyLensman has joined #ocaml
vezenchio has quit ["With little power comes little responsibility"]
vezenchio has joined #ocaml
whee has joined #ocaml
karryall has quit [Read error: 60 (Operation timed out)]
skylan_ has quit [Read error: 104 (Connection reset by peer)]
maihem has quit ["Read error: 54 (Connection reset by chocolate)"]