TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
Sakarah has quit [Quit: leaving]
sam_ has joined #ocaml
averell has joined #ocaml
kolko_ has joined #ocaml
kolko has quit [Ping timeout: 252 seconds]
copy_ has quit [Quit: Connection closed for inactivity]
SpaceSheep has joined #ocaml
_andre has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
eh_eff has joined #ocaml
eh_eff has quit [Ping timeout: 240 seconds]
kakadu has quit [Remote host closed the connection]
kakadu has joined #ocaml
sh0t has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
copy_ has joined #ocaml
samrat_ has joined #ocaml
TheLemonMan has joined #ocaml
superherointj has joined #ocaml
aantron has quit [Ping timeout: 240 seconds]
nkhodyunya has quit [Ping timeout: 240 seconds]
Bluddy[m] has quit [Ping timeout: 240 seconds]
samrat[m] has quit [Ping timeout: 240 seconds]
trevorriles has quit [Ping timeout: 260 seconds]
srenatus[m] has quit [Ping timeout: 240 seconds]
timclassic has quit [Ping timeout: 240 seconds]
yetanotherion[m] has quit [Ping timeout: 246 seconds]
M-ErkkiSeppl has quit [Ping timeout: 246 seconds]
aspiwack[m] has quit [Ping timeout: 246 seconds]
orbifx[m] has quit [Ping timeout: 255 seconds]
isaachodes[m] has quit [Ping timeout: 255 seconds]
multiocracy[m] has quit [Ping timeout: 264 seconds]
hdurer[m] has quit [Ping timeout: 264 seconds]
M-jimt has quit [Ping timeout: 264 seconds]
trevorriles has joined #ocaml
copy[m] has quit [Ping timeout: 255 seconds]
drsmkl[m] has quit [Ping timeout: 255 seconds]
smondet[m] has quit [Ping timeout: 276 seconds]
regnat[m] has quit [Ping timeout: 246 seconds]
M-martinklepsch has quit [Ping timeout: 246 seconds]
aciniglio has joined #ocaml
ygrek has joined #ocaml
kolko has joined #ocaml
kolko_ has quit [Ping timeout: 260 seconds]
dhil has joined #ocaml
multiocracy[m] has joined #ocaml
samrat_ has quit [Ping timeout: 260 seconds]
sam_ has quit [Ping timeout: 240 seconds]
SpiceGuid has joined #ocaml
timclassic has joined #ocaml
regnat[m] has joined #ocaml
aspiwack[m] has joined #ocaml
srenatus[m] has joined #ocaml
M-jimt has joined #ocaml
drsmkl[m] has joined #ocaml
samrat[m] has joined #ocaml
yetanotherion[m] has joined #ocaml
M-martinklepsch has joined #ocaml
aantron has joined #ocaml
Bluddy[m] has joined #ocaml
smondet[m] has joined #ocaml
orbifx[m] has joined #ocaml
hdurer[m] has joined #ocaml
isaachodes[m] has joined #ocaml
copy[m] has joined #ocaml
M-ErkkiSeppl has joined #ocaml
nkhodyunya has joined #ocaml
SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.46/20161213183751]]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
superherointj has quit [Quit: Leaving]
samrat_ has joined #ocaml
mbuf has joined #ocaml
FreeBirdLjj has joined #ocaml
sh0t has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 255 seconds]
bbc_ has quit [Read error: Connection reset by peer]
bbc has joined #ocaml
zaquest has quit [Quit: Leaving]
zaquest has joined #ocaml
dhil has quit [Ping timeout: 255 seconds]
jimmyrcom_ has joined #ocaml
dhil has joined #ocaml
eh_eff has joined #ocaml
sam_ has joined #ocaml
jao has joined #ocaml
sam_ has quit [Ping timeout: 240 seconds]
mbuf has quit [Quit: Leaving]
nahra has joined #ocaml
rand__ has joined #ocaml
xpinguin_ has joined #ocaml
andreas__ has quit [Quit: Connection closed for inactivity]
samrat_ has quit [Ping timeout: 240 seconds]
samrat_ has joined #ocaml
madroach has quit [Ping timeout: 258 seconds]
fraggle_ has quit [Remote host closed the connection]
madroach has joined #ocaml
jao has quit [Ping timeout: 260 seconds]
ayxih has joined #ocaml
fraggle_ has joined #ocaml
dhil has quit [Ping timeout: 246 seconds]
kakadu has quit [Quit: Konversation terminated!]
kakadu has joined #ocaml
kakadu has quit [Client Quit]
samrat_ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
sam_ has joined #ocaml
aciniglio has quit [Ping timeout: 246 seconds]
sam_ has quit [Ping timeout: 255 seconds]
sz0 has joined #ocaml
eh_eff has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 255 seconds]
poindontcare has joined #ocaml
jimt_ is now known as jimt
_andre has quit [Ping timeout: 240 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
Mercuria1Alchemi has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
copy_ has quit [Quit: Connection closed for inactivity]
dakk has quit [Ping timeout: 248 seconds]
jnavila has joined #ocaml
eh_eff has joined #ocaml
jnavila has quit [Remote host closed the connection]
enterprisey has joined #ocaml
tokomak has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 240 seconds]
surfer2007 has joined #ocaml
<surfer2007>
Can anyone explain what the starts mean in this example?
<surfer2007>
type 'a btree = Empty | Node of 'a * 'a btree * 'a btree;;
<surfer2007>
In Haskell you don't need to add the asterixs
<surfer2007>
*stars
<bitbckt>
the star is referring to that being a product type.
<bitbckt>
i.e. a tuple
<surfer2007>
are tuples not defined like > (1,2,3) like in Haskell?
<surfer2007>
soz been working my way through 99 Ocaml problems so I know Lists and pattern matching in Ocaml quite well now
<bitbckt>
that syntax is for a tuple value, not its type.
<surfer2007>
Oh so ("surfer2007", 13, 09, 2017) is string * int * int * int
<bitbckt>
correct
<surfer2007>
Ohhhhh seems weird the author has defined a recursive binary search tree like that. Can't you do: type 'a btree = Empty | Node of 'a (btree 'a) (btree 'a)
sz0 has quit [Quit: Connection closed for inactivity]
<bitbckt>
that's the typical way to define a binary tree in ocaml; the type param comes before the type (think 'a list or 'a option), and you use * to string types together to form a tuple type
<bitbckt>
so, that's saying that a Node has a value of 'a, and two fields which are also 'a btree values.
xpinguin_ has quit [Quit: Leaving]
eh_eff has quit [Ping timeout: 255 seconds]
<surfer2007>
Oh ok that makes sense, thanks for the help :)
<bitbckt>
no problem
Algebr has joined #ocaml
enterprisey has quit [Ping timeout: 248 seconds]
argent_smith has quit [Quit: Leaving.]
Exagone313 has quit [Quit: see ya!]
AltGr has left #ocaml [#ocaml]
mengu has joined #ocaml
eh_eff has joined #ocaml
enterprisey has joined #ocaml
Exagone313 has joined #ocaml
jao has joined #ocaml
pierpa has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rand__ has quit [Quit: leaving]
AlexDenisov has joined #ocaml
dakk has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
jao has quit [Ping timeout: 255 seconds]
surfer2007 has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 240 seconds]
ayxih has quit [Quit: Leaving]
cbot has joined #ocaml
surfer2007 has joined #ocaml
noddy has quit [Ping timeout: 255 seconds]
jao has joined #ocaml
sam_ has joined #ocaml
govg has quit [Ping timeout: 248 seconds]
kakadu_ has quit [Remote host closed the connection]
al-damiri has quit [Quit: Connection closed for inactivity]
ziyourenxiang has quit [Ping timeout: 240 seconds]