malcy has quit ["no reason"]
jptd has joined #ocaml
gl has quit [carter.openprojects.net irc.openprojects.net]
Yurik has quit [carter.openprojects.net irc.openprojects.net]
tav has quit [carter.openprojects.net irc.openprojects.net]
gl has joined #ocaml
tav has joined #ocaml
Yurik has joined #ocaml
tav has quit [Excess Flood]
tav has joined #ocaml
Cryptor has joined #ocaml
Cryptor has quit [Read error: 110 (Connection timed out)]
Dieb has joined #ocaml
malc has joined #ocaml
<
Dieb>
type ab = { tasks : list };; this doesn't work, how can i declare it please?
<
malc>
Dieb: list of what?
<
gl>
Dieb: type ab = { tasks : your-type list};;
<
Dieb>
list of string, i beleive
<
malc>
taks : string list then
<
Dieb>
ok thank's a lot :)
<
Dieb>
this mean we can't define a list such : let a = [];; a : 'a list = []
<
Dieb>
the a' is interesting, since we can put multiple variable type.
<
malc>
a will become monomorphic at some point in time anyway
<
smkl>
no, it's immutable
<
Dieb>
ok, thank for your help
<
smkl>
you could have: type 'a ab = { tasks : 'a list }
malc has quit ["no reason"]
tav has quit [Read error: 104 (Connection reset by peer)]
Demitar has joined #ocaml
Demitar has quit []
tav` has joined #ocaml
Demitar has joined #ocaml
Demitar has quit []
Cyrille has joined #ocaml
}Topaz{ has joined #ocaml
Cyrille has quit ["Client Exiting"]
malc has joined #ocaml
twork has joined #ocaml
twork has left #ocaml []
malc has quit ["no reason"]
}Topaz{ has quit ["*wave*"]