znutar has quit [Read error: 60 (Operation timed out)]
jewel has joined #ocaml
Sonarman has joined #ocaml
mfurr has quit [Read error: 60 (Operation timed out)]
mfurr has joined #ocaml
Sonarman has quit [Read error: 110 (Connection timed out)]
ulfdoz has quit [Remote closed the connection]
ulfdoz has joined #ocaml
mrvn has quit [Remote closed the connection]
mrvn has joined #ocaml
monochrom has joined #ocaml
ulfdoz_ has joined #ocaml
ncurses has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
joey_ has joined #ocaml
vezenchio has joined #ocaml
<mflux>
good morning
<mfurr>
hello
Sonarman has joined #ocaml
mfurr has quit ["..zzZZ"]
Sonarman has quit [Read error: 145 (Connection timed out)]
monochrom has quit ["me!"]
ncurses has quit [Read error: 60 (Operation timed out)]
__DL__ has joined #ocaml
Submarine has joined #ocaml
zzorn has joined #ocaml
jewel has quit [Read error: 104 (Connection reset by peer)]
mlh has quit [Client Quit]
Submarine has quit ["Leaving"]
Herrchen has joined #ocaml
ncurses has joined #ocaml
jewel has joined #ocaml
ejt has joined #ocaml
<ulfdoz_>
re
ulfdoz_ is now known as ulfdoz
zzorn is now known as zzorn_away
nlv11757_ has joined #ocaml
pango has quit [Remote closed the connection]
__DL__ has quit [sterling.freenode.net irc.freenode.net]
mrvn has quit [sterling.freenode.net irc.freenode.net]
Banana has quit [sterling.freenode.net irc.freenode.net]
vincenz has quit [sterling.freenode.net irc.freenode.net]
mflux has quit [sterling.freenode.net irc.freenode.net]
zzorn_away has quit [sterling.freenode.net irc.freenode.net]
picard has quit [sterling.freenode.net irc.freenode.net]
cognominal has quit [sterling.freenode.net irc.freenode.net]
_fab has quit [sterling.freenode.net irc.freenode.net]
calvin_ has quit [sterling.freenode.net irc.freenode.net]
shrimpx has quit [sterling.freenode.net irc.freenode.net]
TheDracle has quit [sterling.freenode.net irc.freenode.net]
ulfdoz has quit [sterling.freenode.net irc.freenode.net]
humasect has quit [sterling.freenode.net irc.freenode.net]
mattam has quit [sterling.freenode.net irc.freenode.net]
rossberg has quit [sterling.freenode.net irc.freenode.net]
noj has quit [sterling.freenode.net irc.freenode.net]
mauke has quit [sterling.freenode.net irc.freenode.net]
jewel has quit [sterling.freenode.net irc.freenode.net]
ejt has quit [sterling.freenode.net irc.freenode.net]
Herrchen has quit [sterling.freenode.net irc.freenode.net]
cmeme has quit [sterling.freenode.net irc.freenode.net]
Riastradh has quit [sterling.freenode.net irc.freenode.net]
shawn_ has quit [sterling.freenode.net irc.freenode.net]
gim has quit [sterling.freenode.net irc.freenode.net]
mellum has quit [sterling.freenode.net irc.freenode.net]
Hadaka has quit [sterling.freenode.net irc.freenode.net]
wrunt has quit [sterling.freenode.net irc.freenode.net]
Nutssh has quit [sterling.freenode.net irc.freenode.net]
ncurses has quit [sterling.freenode.net irc.freenode.net]
joey_ has quit [sterling.freenode.net irc.freenode.net]
j_n has quit [sterling.freenode.net irc.freenode.net]
svenl has quit [sterling.freenode.net irc.freenode.net]
Amorphous has quit [sterling.freenode.net irc.freenode.net]
Smerdyakov has quit [sterling.freenode.net irc.freenode.net]
gl` has quit [sterling.freenode.net irc.freenode.net]
det has quit [sterling.freenode.net irc.freenode.net]
ejt has joined #ocaml
jewel has joined #ocaml
ncurses has joined #ocaml
Herrchen has joined #ocaml
joey_ has joined #ocaml
cmeme has joined #ocaml
Riastradh has joined #ocaml
shawn_ has joined #ocaml
gim has joined #ocaml
j_n has joined #ocaml
svenl has joined #ocaml
gl` has joined #ocaml
mellum has joined #ocaml
Hadaka has joined #ocaml
Amorphous has joined #ocaml
wrunt has joined #ocaml
Nutssh has joined #ocaml
Smerdyakov has joined #ocaml
det has joined #ocaml
zzorn_away has joined #ocaml
picard has joined #ocaml
cognominal has joined #ocaml
_fab has joined #ocaml
calvin_ has joined #ocaml
shrimpx has joined #ocaml
TheDracle has joined #ocaml
ulfdoz has joined #ocaml
humasect has joined #ocaml
mattam has joined #ocaml
rossberg has joined #ocaml
noj has joined #ocaml
mauke has joined #ocaml
__DL__ has joined #ocaml
mrvn has joined #ocaml
Banana has joined #ocaml
vincenz has joined #ocaml
mflux has joined #ocaml
<nlv11757_>
"type bla = .... and foo = .... " kind of type declarations can be mutually recursive right?
<ejt>
y
<nlv11757_>
what is the sole purpose of this simultaneous type declaration (it is simultaneous right?)
<ulfdoz>
You can use foo in the declaration bla and vice versa, but afaik, that would be also possible with two separate, type declarations, wouldn't it?
<mflux>
type bla = Foo of int | Bar of faz and faz = Zab of char | Rab of bla?
<mflux>
type-declarations can only refer to earlier type-declarations
<nlv11757_>
thus, mutual recursion in type-declaration is only possible through these simultaneous type declarations?
<nlv11757_>
if i understand correctly
_fab has quit [Read error: 60 (Operation timed out)]
_fab has joined #ocaml
<mflux>
yes
<nlv11757_>
thanx
pango has joined #ocaml
kinners has joined #ocaml
jewel has quit [Read error: 110 (Connection timed out)]
Submarine has joined #ocaml
mlh has joined #ocaml
wrunt has quit [Remote closed the connection]
wrunt has joined #ocaml
nlv11757_ has quit ["Leaving"]
Torquemada has joined #ocaml
|Lupin| has joined #ocaml
<|Lupin|>
Hello all
<|Lupin|>
I'm looking for information about phatnom types. Does someone know about them here ?
mlh has quit [Client Quit]
<Nutssh>
mflux, BTW, it is possible to have mutual recursive type declarations without using 'and' through using parametric types.
<|Lupin|>
ow
<|Lupin|>
I'm looking for types where you have to use functions to build values, but where you can do pattern matching
<kinners>
they're mentioned in the Language extentions part of the manual
<|Lupin|>
kinners: okay ! thanks !
Torquemada has quit ["Chatzilla 0.9.67 [Firefox 1.0.1/20050225]"]
_JusSx_ has joined #ocaml
mflux has quit [sterling.freenode.net irc.freenode.net]
Submarine has quit [sterling.freenode.net irc.freenode.net]
kinners has quit [sterling.freenode.net irc.freenode.net]
clog has joined #ocaml
ooo has joined #ocaml
CLxyz has joined #ocaml
Snark has joined #ocaml
kinners has quit ["leaving"]
smimou has joined #ocaml
zzorn_away is now known as zzorn_rak
<picard>
is there an equvialent of the c++ vector in ocaml? I have an array of 5 elements and I want to add another element to it without haveing to create a new array and copy the contents of the old one
<Smerdyakov>
An array of 5 elements? Why not use a lis? :)
<Smerdyakov>
list
<picard>
Smerdyakov: ha, its just an example
<mellum>
picard: there isn't in the standard library. There's one in extlib
<picard>
thanks
<picard>
I am assuming that you cannot resize Lists either, only create new ones? or did I miss something reading the manual
julbouln has joined #ocaml
<mellum>
No, you are right.
<picard>
I am curious why, is there any justification?
<Smerdyakov>
Lists are not uniquely privileged types. They are defined like any other variant type would be.
<Smerdyakov>
Any variant types don't have any built-in imperativity.
<mrvn>
It's not in the functional design to have imperativity. Thats something that has to be added on and isn't normaly done.
<Nutssh>
picard, you can always concatenate an element on the head of a list.
<picard>
Nutssh: so the caml list is like cons in lisp?
<Smerdyakov>
Sort of. Lisp lists are mutable and can store anything. ML lists are immutable and store values of specific types.
<Nutssh>
Yes. I believe it is defined as 'type 'a list = :: of 'a * 'a list | Nil' with the caveat that Smerdyakov pointed out that its immutable.
<Smerdyakov>
I don't know if you could define your own list type that has the same syntax, but that's just syntactic sugar.
ejt has quit ["leaving"]
<Nutssh>
Yup, you can, exactly as I wrote.. Of course, Pervasives.list != *.list, so typechecking anything shadowing the earlier declaration would be fun. :)
<Nutssh>
List.length (1::2::Nil) --> This expression is of type 'a list but is used here with type 'b list ---- An interestingly confusing error message.
_shawn has joined #ocaml
<Smerdyakov>
Somehow I was thinking :: was a special token. Never mind.
<Nutssh>
There's some magic in the ocaml parser for prefix/infix symbols.. Not as nice as the ones in SML-NJ.. See the lexical conventions section in the manual.
pango has quit ["Leaving"]
shawn_ has quit [Read error: 110 (Connection timed out)]
<Smerdyakov>
I didn't just mean infix symbols. I thought that _only_ the symbol :: was special. Now I think that is really Haskell, and both : and :: are special there.
vodka-goo has joined #ocaml
mfurr has joined #ocaml
znutar has joined #ocaml
mrvn_ has joined #ocaml
pango has joined #ocaml
mrvn has quit [Read error: 145 (Connection timed out)]
mfurr has quit ["Client exiting"]
<vincenz>
odd
<vincenz>
you can only do that earlier trick with the :: symbol
_JusSx__ has joined #ocaml
<vincenz>
as for Haskell I believed it was every symbol starting with a :
<vincenz>
Though I am not sure
Submarine has quit ["Leaving"]
<vincenz>
Which means the document is not 100% correct as it says a typcon-constructor name is a lower-case indent
<Smerdyakov>
How is that wrong?
<vincenz>
:: is not a lower-case indent
<vincenz>
yet I can do
<vincenz>
type 'a list = :: of ...
<Smerdyakov>
And :: is not a tycon.
<Smerdyakov>
But it looks like this reminds me what the special handling of :: is. :)
<Smerdyakov>
(And the manual should say that value constructors are _upper_case identifiers.
_JusSx_ has quit [Read error: 110 (Connection timed out)]
<_JusSx__>
ss
heinrahll64 has joined #ocaml
heinrahll64 has left #ocaml []
<j_n>
hey all, i'm confused about when it's necessary to use CAMLparam* and CAMLlocal*
<j_n>
afaik, camlidl generates stub code that doesn't even use these macros
<j_n>
is that safe?
<j_n>
or am i missing something obvious
Snark has quit ["Leaving"]
<j_n>
ah, nm, found a good answer on a mailing list
wrunt has quit [Remote closed the connection]
wrunt has joined #ocaml
__DL__ has quit [Remote closed the connection]
humasect has quit [Read error: 104 (Connection reset by peer)]
humasect has joined #ocaml
zzorn_rak is now known as zzorn_sleep
zzorn_ has joined #ocaml
_JusSx__ has quit ["leaving"]
mlh has joined #ocaml
zzorn_sleep has quit [Read error: 60 (Operation timed out)]
<Nutssh>
vincenz: See the chapter I mentioned, There are several magic symbols you can choose.
<vincenz>
okelidokeli
mhankins has joined #ocaml
<mhankins>
hi all
<mhankins>
new to ocaml
<mhankins>
from the interactive loop, how do i load packages? i downloaded netstring, but i dont know how to load it