dark_light changed the topic of #ocaml to: OCaml 3.09.2 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
jcreigh has quit [Read error: 104 (Connection reset by peer)]
chessguy has joined #ocaml
smimou has quit ["bli"]
hikozaemon has joined #ocaml
bzzbzz has joined #ocaml
jacobolus has joined #ocaml
pango__ has joined #ocaml
jacobolus has quit []
pango has quit [Remote closed the connection]
pango__ has quit [Remote closed the connection]
pango__ has joined #ocaml
jacobolus has joined #ocaml
chessguy has quit [" HydraIRC -> http://www.hydrairc.com <- Go on, try it!"]
pango__ is now known as pango
shekmalhen has joined #ocaml
tristram has joined #ocaml
jcreigh has joined #ocaml
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
<BetaTEST> oh, nice thing!
<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?
<BetaTEST> i'm using vim right now
<Smerdyakov> Emacs is a much better choice for any non-mainstream language.
<dylan> predominately emacs. But vim is very nice with love-pingoo's omlet extension.
<dylan> (at least, I think it is love-pingoo's)
<smimou> yes it is
<BetaTEST> okay, i'll try both :)
<dylan> hmm.
<dylan> I ought to see about adding omnicompletion support to omlet.
<dylan> could use ocamlc -i to extract the needed type information and such.
<dylan> probably could make it complete record types when there's already an .mli for an .ml..
<Smerdyakov> I always put type definitions that would need to be repeated into separate modules without signatures.
<Smerdyakov> So your feature would only be encouraging bad coding practices.
<dylan> Nono.
<dylan> it'd be for let foo x = x.<C-X-C-O> == let foo x = x.Module.name
<Smerdyakov> I'll stick to SML, where there are no such issues. :)
<dylan> because it has first-class selectors.
<dylan> But mlton doesn't do amd64 yet, last I checked.
<dylan> I don't even own an x86 machine any more . . . so it's rather useless for me.
<Smerdyakov> Of course it does. It just doesn't have a native code backend for that particular architecture.
<Smerdyakov> It uses GCC to target any popular arch easily.
<mellum> last time I checked, it wasn't 64-bit clean
<dylan> I quite like ocaml. The next language I write something interesting in will probably be haskell. But ocaml is good for 80% of the stuff I do.
Bigb[a]ng is now known as Bigbang
<BetaTEST> ocaml.annot.pl rocks :)
chessguy has joined #ocaml
ppsmimou has quit [Read error: 110 (Connection timed out)]
chessguy has quit [Connection timed out]
_fab has quit [Read error: 110 (Connection timed out)]
_fab has joined #ocaml
mnemonic has joined #ocaml
rillig has joined #ocaml
* BetaTEST meditates over his calculator parser
<BetaTEST> oh, it finally works
* BetaTEST dances around
rillig_ has joined #ocaml
rillig has quit [Nick collision from services.]
rillig_ is now known as rillig
mrsolo has joined #ocaml
Demitar_ has quit [Read error: 113 (No route to host)]
Demitar has joined #ocaml
ppsmimou has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
AI_coder has joined #ocaml
_fab has quit [Remote closed the connection]
jacobolus has quit []
mnemonic has quit ["leaving"]
menace has joined #ocaml
Bigbang is now known as Bigb[a]ng
jcreigh has joined #ocaml
tristram has quit [Read error: 110 (Connection timed out)]
smimou has quit ["bli"]
jcreigh has quit ["while(1) { fork(); }"]
rillig has quit ["exit(EXIT_SUCCESS)"]
cedricshock has joined #ocaml