flux__ has quit [clarke.freenode.net irc.freenode.net]
tristram has quit [clarke.freenode.net irc.freenode.net]
descender has quit [clarke.freenode.net irc.freenode.net]
Amorphous has quit [clarke.freenode.net irc.freenode.net]
zmdkrbou has quit [clarke.freenode.net irc.freenode.net]
buggs has quit [clarke.freenode.net irc.freenode.net]
mellum has quit [clarke.freenode.net irc.freenode.net]
Hadaka has quit [clarke.freenode.net irc.freenode.net]
ppsmimou has quit [clarke.freenode.net irc.freenode.net]
ulfdoz has quit [clarke.freenode.net irc.freenode.net]
tristram has joined #ocaml
flux__ has joined #ocaml
ulfdoz has joined #ocaml
buggs has joined #ocaml
descender has joined #ocaml
Amorphous has joined #ocaml
zmdkrbou has joined #ocaml
ppsmimou has joined #ocaml
mellum has joined #ocaml
Hadaka has joined #ocaml
jcreigh has quit ["while(1) { fork(); }"]
smimou has joined #ocaml
ppsmimou has quit [Read error: 113 (No route to host)]
ketty has quit [Read error: 110 (Connection timed out)]
sponge45 has joined #ocaml
sponge45 has left #ocaml []
finelemon has joined #ocaml
finelemo1 has quit [Read error: 110 (Connection timed out)]
pango has quit ["brb"]
shekmalhen has quit ["Bêêêêêêêêh!"]
finelemo1 has joined #ocaml
finelemon has quit [Read error: 110 (Connection timed out)]
pango has joined #ocaml
ppsmimou has joined #ocaml
Revision17 has joined #ocaml
revision17_ has quit [Read error: 110 (Connection timed out)]
hikozaemon has quit ["Leaving..."]
mnemonic has joined #ocaml
<mnemonic>
hi *
mnemonic has quit [Read error: 104 (Connection reset by peer)]
mnemonic has joined #ocaml
Bigb[a]ng is now known as Bigbang
mnemonic has quit ["leaving"]
m3ga has joined #ocaml
bzzbzz has quit ["leaving"]
mnemonic has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
mnemonic has quit [Read error: 104 (Connection reset by peer)]
jacobolus has quit []
jacobolus has joined #ocaml
jacobolus has quit [Remote closed the connection]
BetaTEST has joined #ocaml
jacobolus has joined #ocaml
* BetaTEST
have found ad hoc polymorphism in ocaml
* zmdkrbou
thought so
<zmdkrbou>
argl
<zmdkrbou>
nope
* zmdkrbou
got pwnd
<zmdkrbou>
so where's ad hoc polymorphism in ocaml ?
<BetaTEST>
in virtual classes
<zmdkrbou>
ergl
<BetaTEST>
so classes are not that useless :)
* zmdkrbou
doesn't like OOP
* zmdkrbou
doesn't want to know
* zmdkrbou
puts his fingers into his ears
<BetaTEST>
i don't like oop either ;)
<zmdkrbou>
* relief *
slipstream-- has joined #ocaml
<BetaTEST>
so.. maybe anyone can help me with streams?
slipstream has quit [No route to host]
finelemo1 has quit [Read error: 110 (Connection timed out)]
finelemon has joined #ocaml
finelemo1 has joined #ocaml
finelemon has quit [Read error: 110 (Connection timed out)]
Bigbang is now known as Bigb[a]ng
<Revision17>
zmdkrbou: it's also kind of in the parameterized modules as functors
jacobolus has quit []
jacobolus has joined #ocaml
<BetaTEST>
Revision17, functors ables certain types to have certain functionality?
<Revision17>
well, not really; this is a poor explanation, but they let you use code with different types by switching 'wrappers' to modify the type (which for that function is polymorphic)
<BetaTEST>
a-ha... sounds interesting
<BetaTEST>
and what do abstract modules do?
<Revision17>
I remember in one of the examples there were bank, euro, and dollar modules
<Revision17>
you could 'instanciate' the bank module to use either the euro or dollar
<Revision17>
I didn't use them back when I used O'Caml, IIRC they hide the underlying type information or something; however I'm really not sure
<BetaTEST>
what's your language of choice now, instead of ocaml?
<Revision17>
well I've dabbled in Haskell due to the larger standard library; I'm now into ruby because of the even larger standard libraries and availability of lots of 3rd party libraries
<Revision17>
O'Caml is a really nice langauge
<Revision17>
it just has kind of a smallish library and doesn't have a great breadth of 3rd party libraries compared to other things, which are required for me to get stuff done
<BetaTEST>
Haskell is nice indeed... i wonder why ocaml type system don't let you do some things that's possible in Haskell
<BetaTEST>
maybe i should read some "developer notes" about it...
<Revision17>
well used correctly ML modules and type classes are functionally equivalent
<Revision17>
I remember reading a paper a bit back about that which proves that
<Revision17>
I do like the feel of type classes better though
love-pingoo has joined #ocaml
<BetaTEST>
i miss ghc's :browse, :info in ocaml interpreter :)
_fab has joined #ocaml
pango has quit ["Leaving"]
<BetaTEST>
Revision17, does ocaml have all features of ml's module system?
<Smerdyakov>
BetaTEST, ML = Standard ML?
<BetaTEST>
i'm reading article you
<Revision17>
I don't know ML well so I don't know
<Revision17>
Smerdyakov: yea Standard ML
<Smerdyakov>
I think OCaml's module system is a strict extension of SML's... possibly OCaml is missing structure sharing, but that's deprecated lately, anyway.
<Smerdyakov>
Oh, there it is. Has that, too. :)
<BetaTEST>
article that you suggested, there's some "signature" declaration that ocaml don't like :)
<Smerdyakov>
"signature" is not an OCaml keyword. I didn't say that the concrete syntax was the same as SML's.
<dylan>
they're fairly different in syntax.
<BetaTEST>
well, i was wondering if it's there
<dylan>
"sig" is the ocaml word.
<Smerdyakov>
dylan, no.
<dylan>
non?
<Smerdyakov>
BetaTEST, you will find plenty of documentation in the OCaml manual.
<Smerdyakov>
dylan, OCaml 'sig' does not correspond to SML 'signature'.
<dylan>
ah
<BetaTEST>
reading it...
<dylan>
I'm still failing to learn SML because the fastest compiler for it doesn't target my machine. :-/
<BetaTEST>
poll: what's your editor of choice for ocaml?