ayrnieu changed the topic of #ocaml to: OCaml 3.08.4 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/
threeve has joined #ocaml
<ptolomy> How many people actually use the revised syntax?
<SmerdyOffice> -3?
<ptolomy> that sound accurate.
<ptolomy> Is it the official default?
<ptolomy> it is for caml4p, right?
<ptolomy> but not for the standard library.
SmerdyOffice has quit ["home"]
KrispyKringle has left #ocaml []
pango_ has quit [Remote closed the connection]
<ptolomy> Damn. My life is lazily evaluated, and I have a very small stack.
KrispyKringle has joined #ocaml
<KrispyKringle> So in a class definition, I can't use abstract types as I would ordinarily, yes?
<KrispyKringle> I get Some type variables are unbound in this type:
mrsolo has quit [Read error: 104 (Connection reset by peer)]
<Smerdyakov> Are you sure you don't mean "polymorphism" instead of "abstract types"?
<KrispyKringle> No, I'm not, because that is what I meant.
<Smerdyakov> Why are you using classes, anyway?
<KrispyKringle> Because I'm implementing a reasonably complex custom data type within which I want to maintain instance data without passing around the instance to all the manipulation functions.
<KrispyKringle> Does that not make sense?
<Smerdyakov> I'm not sure. The question is how much of this can be achieved using closures.
<Smerdyakov> If all the functions operating on a value are in a scope where that value is defined, then everything is automatic.
<KrispyKringle> right
<KrispyKringle> Is the object oriented approach generally discouraged? It seems like a lot of stuff (e.g. Hashtbl) doesn't use that style, even when, at least in an imperative language, it would be appropriate.
<KrispyKringle> I have to confess I've never really used a functional language with OO (unless you count Python).
cmeme has quit [Connection timed out]
<Smerdyakov> Most OCaml programmers never or rarely use the OO.
pango has joined #ocaml
<KrispyKringle> Smerdyakov: OK. Because the guy I'm working with on this project said something funny in email when I showed him the class skeleton (and he hasn't done anyhtinig OO in all his code so far).
<KrispyKringle> So I sorta figured.
<KrispyKringle> Been doing a lotta Python lately, and haven't touched Haskell for about 6 months, so... :P
cmeme has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
asymptote has joined #ocaml
asymptote has quit [Client Quit]
asymptote has joined #ocaml
<asymptote> OK, I know this marks me as a simpleton, but... how do I fix "reference to undefined global 'Unix'"?
shirogane has joined #ocaml
<Smerdyakov> asymptote, you read the first page of documentation on the unix library
<asymptote> The first page is the "error" type
<asymptote> what I need is any page of documentation on how to actually load a library
<asymptote> which the ocaml manual doesn't have
<avlondono> the manual, always look in the manual
<avlondono> the way you would do for the washing machine
<asymptote> OK, so I still see no way to load a library in an interactive ocaml session there
<asymptote> just how to link a batch-compiled program with it
asymptote has quit ["Leaving"]
<Smerdyakov> avlondono, I think that was inappropriately abusive.
<avlondono> I didn't mean it in an abusive manner
<avlondono> indeed I was supposed to add some friendly face but got busy dealing with something at home
<avlondono> I apologize if that was the case
<avlondono> certainly not my intension
<avlondono> I am really really sorry
* avlondono now sees he left
<avlondono> :-(
<avlondono> darn, I really didn't mean to be mean. I was in a quite hot discussion about a proof and during a break I dropped that sentence.
<revision17_> is this http://pastebin.com/376483 the best way to convert a type to a string, or is there a better way?
<revision17_> err, there's a typo in that
<revision17_> but beyond that
<Smerdyakov> revision17_, almost. You can make it a little shorter by using 'function' instead of 'match'.
<mauke> I miss haskell :/
<mauke> data BufferKernelDiskStatus = CurrentlyReading | CurrentlyWriting | Idle deriving (Eq, Show)
<KrispyKringle> avlondono: You can abuse me any time. I get off on it.
<Smerdyakov> I'm not sure which I prefer, since Haskell has those few type classes hardcoded into 'deriving,' instead of exposing a general mechanism for it.
<mauke> even without deriving, having a generic show is totally worth it
<revision17_> Smerdyakov: thanks :)
twobitsp1ite has joined #ocaml
twobitsprite has quit [Read error: 104 (Connection reset by peer)]
Skal has joined #ocaml
MisterC has joined #ocaml
threeve has quit []
Skal has quit [Read error: 60 (Operation timed out)]
lispy` is now known as lispy
<beschmi> revision17_: you could try http://www.seedwiki.com/wiki/shifting_focus/tywith, then you can use type buffer_kernel_disk_status = CurrentlyReading | CurrentlyWriting | Idle with string_of
<beschmi> and the string_of function is derived from the type
Snark has joined #ocaml
cmeme has quit [Read error: 110 (Connection timed out)]
cmeme has joined #ocaml
Submarine has joined #ocaml
Submarine_ has joined #ocaml
Submarine_ has quit [Remote closed the connection]
shirogane has quit [Remote closed the connection]
cmeme has quit [Connection timed out]
cmeme has joined #ocaml
lispy` has joined #ocaml
cmeme has quit [Connection timed out]
cmeme has joined #ocaml
lispy has quit [Success]
ChipsterOne has joined #ocaml
vodka-goo has quit []
vezenchio has joined #ocaml
mlh_ has quit [Client Quit]
ppsmimou has joined #ocaml
lus|wats has joined #ocaml
vezenchio has quit [Read error: 110 (Connection timed out)]
mattam_ is now known as mattam
Revision17 has joined #ocaml
revision17_ has quit [Read error: 110 (Connection timed out)]
haelix has quit ["leaving"]
haelix has joined #ocaml
Submarine has quit ["Leaving"]
m3ga has joined #ocaml
m3ga_ has joined #ocaml
m3ga_ has quit [Read error: 104 (Connection reset by peer)]
Submarine has joined #ocaml
_exa has joined #ocaml
_exa has quit [Remote closed the connection]
exa has quit [Read error: 110 (Connection timed out)]
m3ga has quit ["disappearing into the sunset"]
pango has quit [Remote closed the connection]
pango has joined #ocaml
mikeX has joined #ocaml
Snark has quit ["Leaving"]
mikeX has quit ["Leaving"]
Snark has joined #ocaml
threeve has joined #ocaml
yangsx has joined #ocaml
yangsx has quit [Read error: 110 (Connection timed out)]
mauke has quit [Read error: 104 (Connection reset by peer)]
mauke has joined #ocaml
shirogane has joined #ocaml
ChipsterOne has quit []
__DL__ has joined #ocaml
dylan has joined #ocaml
mikeX has joined #ocaml
ppsmimou has quit ["Leaving"]
twobitsprite has joined #ocaml
twobitsp1ite has quit [Read error: 104 (Connection reset by peer)]
smimou has joined #ocaml
__DL__ has quit [Read error: 110 (Connection timed out)]
mikeX has quit ["Leaving"]
eter has joined #ocaml
Schmurtz has quit [Read error: 104 (Connection reset by peer)]
ChipsterOne has joined #ocaml
twobitsp1ite has joined #ocaml
twobitsprite has quit [Read error: 104 (Connection reset by peer)]
__DL__ has joined #ocaml
Submarine has quit ["in Soviet Russia, Céline Dion owns you"]
Snark has quit ["Leaving"]
cmeme has quit [Connection timed out]
shirogane has quit [Remote closed the connection]
cmeme has joined #ocaml
exa has joined #ocaml
twobitsprite has joined #ocaml
twobitsp1ite has quit [Read error: 104 (Connection reset by peer)]
mauke has quit [Remote closed the connection]
albertelegance has quit [Read error: 104 (Connection reset by peer)]
albertelegance has joined #ocaml
palomer has joined #ocaml
palomer has left #ocaml []
twobitsp1ite has joined #ocaml
twobitsprite has quit [Read error: 104 (Connection reset by peer)]
twobitsprite has joined #ocaml
Schmurtz has joined #ocaml
pango has quit ["brb"]
twobitsp1ite has quit [Read error: 104 (Connection reset by peer)]
Schmurtz has quit [Read error: 104 (Connection reset by peer)]
eter has quit ["((Obj.magic (()))^"a");;"]
pango has joined #ocaml
__DL__ has quit ["Bye Bye"]
__DL__ has joined #ocaml
mrsolo has joined #ocaml
__DL__ has quit [Remote closed the connection]
twobitsp1ite has joined #ocaml
twobitsprite has quit [Read error: 104 (Connection reset by peer)]
twobitsp1ite has quit [Read error: 104 (Connection reset by peer)]
twobitsprite has joined #ocaml
gim has joined #ocaml
lus|wats is now known as vezenchio
twobitsp1ite has joined #ocaml
twobitsprite has quit [Read error: 104 (Connection reset by peer)]
<ChipsterOne> bonne nuit tout le monde
gim has quit [Read error: 110 (Connection timed out)]
ChipsterOne has quit []
shirogane has joined #ocaml
exa has quit [Remote closed the connection]
vezenchio has quit ["Free Tibet with each Asian nation of a lesser or equal value"]
threeve has quit []
UziMonkey has joined #ocaml
pango_ has joined #ocaml
Amorphous has quit [zelazny.freenode.net irc.freenode.net]
dylan has quit [zelazny.freenode.net irc.freenode.net]
shrimpx has quit [zelazny.freenode.net irc.freenode.net]
ptolomy has quit [zelazny.freenode.net irc.freenode.net]
Hipo has quit [zelazny.freenode.net irc.freenode.net]
det has quit [zelazny.freenode.net irc.freenode.net]
vincenz has quit [zelazny.freenode.net irc.freenode.net]
skylan has quit [zelazny.freenode.net irc.freenode.net]
dylan has joined #ocaml
shrimpx has joined #ocaml
Amorphous has joined #ocaml
ptolomy has joined #ocaml
vincenz has joined #ocaml
Hipo has joined #ocaml
skylan has joined #ocaml
det has joined #ocaml
pango has quit [Read error: 60 (Operation timed out)]
ptolomy has quit [zelazny.freenode.net irc.freenode.net]
det has quit [zelazny.freenode.net irc.freenode.net]
vincenz has quit [zelazny.freenode.net irc.freenode.net]
skylan has quit [zelazny.freenode.net irc.freenode.net]
Hipo has quit [zelazny.freenode.net irc.freenode.net]
Amorphous has quit [zelazny.freenode.net irc.freenode.net]
Amorphous has joined #ocaml
ptolomy has joined #ocaml
vincenz has joined #ocaml
Hipo has joined #ocaml
skylan has joined #ocaml
det has joined #ocaml
Hipo has quit [Remote closed the connection]
Hipo has joined #ocaml
skylan has quit [Remote closed the connection]
skylan has joined #ocaml
ptolomy has quit [zelazny.freenode.net irc.freenode.net]
det has quit [zelazny.freenode.net irc.freenode.net]
vincenz has quit [zelazny.freenode.net irc.freenode.net]
Amorphous has quit [zelazny.freenode.net irc.freenode.net]
ptolomy has joined #ocaml
det has joined #ocaml
vincenz has joined #ocaml
Amorphous has joined #ocaml
smimou has quit ["?"]