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."]