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/
__DL__ has quit [Remote closed the connection]
smimou has quit ["?"]
mercurylulu has joined #ocaml
mercurylala has quit [Connection reset by peer]
y6cmE has joined #ocaml
y6cmE has quit [Read error: 104 (Connection reset by peer)]
y6cmE has joined #ocaml
<Revision17> O'Camls C FFI is really nice :)
<Revision17> *O'Caml's
yeknoMizU has joined #ocaml
Skal has quit [Remote closed the connection]
<Revision17> O'Caml good C FFI will make this program that directly manipulates memory much easier to write
shirogane has quit [Remote closed the connection]
magnus-- has joined #ocaml
pango_ has joined #ocaml
pango has quit [Read error: 60 (Operation timed out)]
cmeme has quit [Read error: 110 (Connection timed out)]
cmeme has joined #ocaml
<magnus--> what is wrong with this piece of code: type foo = Bar of { a:int; b:int }
<twobitsprite> magnus--: try this: type bar = { a:int; b:int } ;; type foo = Bar of bar ;;
<magnus--> okay
<magnus--> thanks
<twobitsprite> n/op
<twobitsprite> you can either have a type be a variant _or_ a record, but you can't have both in the same type definition...
<magnus--> that's too bad... this will be more verbose :)
<twobitsprite> right, well it would be hard to debug your way, as the record in your example has no name, i.e. "{a:int ; b:int}" isn't a type... variants must be "Tag of type"
<twobitsprite> not "Tag of pattern"
<magnus--> but what about Tag of int * int
<magnus--> that seems like a nameless record aka tuple to me
<magnus--> i mean fields have no names, but otherwise it's pretty much like a record
<twobitsprite> "int * int" is a type... "*" is an infix type constructor, it's treated differently than a record
<twobitsprite> I see what you're saying... there are a lot of aspects of Ocaml that I feel are arbitrary...
<magnus--> I might better accept it and move on with it I guess
<twobitsprite> yeah
<twobitsprite> the few times Ocaml doesn't make sense are far outweighed by the many times it makes more sense than other languages...
<magnus--> My previous experience is with common lisp and haskell
<magnus--> I'm hoping that ocaml sits somewhere between them
<twobitsprite> haskell is a beutiful language until you try to do anything practical in it, at least in my experience...
<magnus--> agreed
<magnus--> hence my shift to ocaml :)
<twobitsprite> yeah... Ocaml gives you the expressive and strong static typing of haskell, but the practicality and flexability of lisp...
<twobitsprite> any language that has a Ph.D thesis entirely on it's I/O system is poorly designed...
<twobitsprite> I say practicality beats purity, and it's simply more practical to have imperative I/O...
<magnus--> yes
<magnus--> certainly easier to learn
<twobitsprite> indeed
<twobitsprite> anyways, I'm off to bed... good luck in your Ocaml adventures...
<magnus--> good night!
<twobitsprite> also, this isn't in the /topic so I'll point it out... ocaml-tutorial.org is a great resource
<twobitsprite> k, g'night
<magnus--> thanks
y6cmE has quit [Read error: 110 (Connection timed out)]
mauke has quit [Remote closed the connection]
Snark has joined #ocaml
threeve has quit []
vezenchio has joined #ocaml
ChipsterOne has joined #ocaml
ChipsterOne has quit [Read error: 104 (Connection reset by peer)]
ChipsterOne has joined #ocaml
<ChipsterOne> salut tout le monde
mercurylala has joined #ocaml
mercurylulu has quit [Connection reset by peer]
vezenchio has quit ["Free Tibet with each Asian nation of a lesser or equal value"]
vezenchio has joined #ocaml
y6cmE has joined #ocaml
yeknoMizU has quit [Remote closed the connection]
ellisonch has joined #ocaml
revision17_ has joined #ocaml
Revision17 has quit [Read error: 110 (Connection timed out)]
_JusSx_ has joined #ocaml
smimou has joined #ocaml
_JusSx__ has joined #ocaml
_JusSx_ has quit [Read error: 110 (Connection timed out)]
__DL__ has joined #ocaml
Skal has joined #ocaml
UziMonkey has quit [SendQ exceeded]
lscd has quit ["Leaving"]
y6cmE has quit [Read error: 110 (Connection timed out)]
__DL__ has quit [Remote closed the connection]
Snark has quit [Read error: 110 (Connection timed out)]
__DL__ has joined #ocaml
Snark has joined #ocaml
menace has joined #ocaml
menace has quit []
mercurylulu has joined #ocaml
mercurylala has quit [Read error: 104 (Connection reset by peer)]
batdog|gone has joined #ocaml
mikeX has joined #ocaml
mikeX has quit ["Leaving"]
shirogane has joined #ocaml
mercurylala has joined #ocaml
mercurylulu has quit [Connection reset by peer]
ChipsterOne has quit [Read error: 110 (Connection timed out)]
ChipsterOne has joined #ocaml
menace has joined #ocaml
mflux has quit [zelazny.freenode.net irc.freenode.net]
ellisonch has quit [zelazny.freenode.net irc.freenode.net]
chs_ has quit [zelazny.freenode.net irc.freenode.net]
maayhme has quit [zelazny.freenode.net irc.freenode.net]
bacam has quit [zelazny.freenode.net irc.freenode.net]
oracle1 has quit [zelazny.freenode.net irc.freenode.net]
mellum has quit [zelazny.freenode.net irc.freenode.net]
menace has quit [zelazny.freenode.net irc.freenode.net]
cmeme has quit [zelazny.freenode.net irc.freenode.net]
ptolomy has quit [zelazny.freenode.net irc.freenode.net]
KrispyKringle has quit [zelazny.freenode.net irc.freenode.net]
shrimpx 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]
pango_ has quit [zelazny.freenode.net irc.freenode.net]
Hadaka has quit [zelazny.freenode.net irc.freenode.net]
noj has quit [zelazny.freenode.net irc.freenode.net]
pnou has quit [zelazny.freenode.net irc.freenode.net]
haelix has quit [zelazny.freenode.net irc.freenode.net]
descender has quit [zelazny.freenode.net irc.freenode.net]
CLxyz has quit [zelazny.freenode.net irc.freenode.net]
ulfdoz has quit [zelazny.freenode.net irc.freenode.net]
Skal has quit [zelazny.freenode.net irc.freenode.net]
sethk has quit [zelazny.freenode.net irc.freenode.net]
Skal has joined #ocaml
ellisonch has joined #ocaml
cmeme has joined #ocaml
pango_ has joined #ocaml
Hadaka has joined #ocaml
pnou has joined #ocaml
chs_ has joined #ocaml
mflux has joined #ocaml
sethk has joined #ocaml
noj has joined #ocaml
maayhme has joined #ocaml
haelix has joined #ocaml
descender has joined #ocaml
ulfdoz has joined #ocaml
KrispyKringle has joined #ocaml
mellum has joined #ocaml
ptolomy has joined #ocaml
bacam has joined #ocaml
oracle1 has joined #ocaml
det has joined #ocaml
skylan has joined #ocaml
Hipo has joined #ocaml
shrimpx has joined #ocaml
vincenz has joined #ocaml
CLxyz has joined #ocaml
mflux has quit [zelazny.freenode.net irc.freenode.net]
oracle1 has quit [zelazny.freenode.net irc.freenode.net]
bacam has quit [zelazny.freenode.net irc.freenode.net]
maayhme has quit [zelazny.freenode.net irc.freenode.net]
mellum has quit [zelazny.freenode.net irc.freenode.net]
chs_ has quit [zelazny.freenode.net irc.freenode.net]
ellisonch 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]
KrispyKringle 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]
cmeme has quit [zelazny.freenode.net irc.freenode.net]
pango_ has quit [zelazny.freenode.net irc.freenode.net]
noj has quit [zelazny.freenode.net irc.freenode.net]
Hadaka has quit [zelazny.freenode.net irc.freenode.net]
descender has quit [zelazny.freenode.net irc.freenode.net]
haelix has quit [zelazny.freenode.net irc.freenode.net]
pnou has quit [zelazny.freenode.net irc.freenode.net]
CLxyz has quit [zelazny.freenode.net irc.freenode.net]
ulfdoz has quit [zelazny.freenode.net irc.freenode.net]
sethk has quit [zelazny.freenode.net irc.freenode.net]
Skal has quit [zelazny.freenode.net irc.freenode.net]
Skal has joined #ocaml
ellisonch has joined #ocaml
cmeme has joined #ocaml
pango_ has joined #ocaml
Hadaka has joined #ocaml
pnou has joined #ocaml
chs_ has joined #ocaml
mflux has joined #ocaml
sethk has joined #ocaml
noj has joined #ocaml
maayhme has joined #ocaml
haelix has joined #ocaml
descender has joined #ocaml
ulfdoz has joined #ocaml
KrispyKringle has joined #ocaml
mellum has joined #ocaml
ptolomy has joined #ocaml
bacam has joined #ocaml
oracle1 has joined #ocaml
det has joined #ocaml
skylan has joined #ocaml
Hipo has joined #ocaml
shrimpx has joined #ocaml
vincenz has joined #ocaml
CLxyz has joined #ocaml
mauke has joined #ocaml
Submarine has joined #ocaml
Msandin has joined #ocaml
<lispy`> i wouldn't say that anytihng has the flexibility of lisp except lisp
<lispy`> until proven otherwise
<lispy`> none the less, ocaml has a lot of flexibility
<lispy`> and the macro language may actually be just as powerful as lisp's
<lispy`> i haven't had a chance to compare them
<lispy`> but i have been thinking it wolud be nice to make a "multimatch ... with" construct where you can match against multiple things without creating a tuple
<lispy`> macros might be the right thing for that
Msandin has quit [Read error: 110 (Connection timed out)]
magnus-- has quit [Remote closed the connection]
magnus-- has joined #ocaml
<mflux> hm, why is creating tuple bad?
<mflux> I mean, isn't the syntax quite natural too. match x, y with 1, 2 -> ()
<magnus--> I would like something like haskell's function definitions
<magnus--> that way you don't have to type match... with every time
<magnus--> and you wouldn't have to use tuples
<magnus--> the comma is not so bad though, i agree with that
ski has joined #ocaml
Submarine has quit ["Leaving"]
Snark has quit ["Leaving"]
threeve has joined #ocaml
<ChipsterOne> bonne nuit tout le monde
ChipsterOne has quit []
vezenchio has quit ["Free Tibet with each Asian nation of a lesser or equal value"]
__DL__ has quit [Read error: 110 (Connection timed out)]
Schmurtz has quit [Read error: 104 (Connection reset by peer)]
_JusSx__ has quit ["leaving"]
UziMonkey has joined #ocaml
Skal has quit [Remote closed the connection]
ski_ has joined #ocaml
ski has quit [Nick collision from services.]
ski_ is now known as ski
mlh_ has joined #ocaml
shirogane has quit [Remote closed the connection]
shirogane has joined #ocaml
_shirogane has joined #ocaml
mercurylulu has joined #ocaml
shirogane has quit [Read error: 110 (Connection timed out)]
mercurylala has quit [Read error: 110 (Connection timed out)]
magnus-- has quit ["BitchX-1.1-final -- just do it."]