companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.05.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.05/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
sh0t has quit [Quit: Leaving]
SomeDamnBody has quit [Remote host closed the connection]
jao has quit [Ping timeout: 248 seconds]
lukky513 has joined #ocaml
eh_eff has quit [Ping timeout: 248 seconds]
mfp__ has quit [Ping timeout: 240 seconds]
Associat0r has quit [Ping timeout: 240 seconds]
sam_ has quit [Ping timeout: 248 seconds]
enterprisey has quit [Quit: Leaving]
axesd9 has joined #ocaml
cbot has joined #ocaml
cbot_ has quit [Ping timeout: 260 seconds]
mengu has quit [Remote host closed the connection]
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 260 seconds]
enterprisey has joined #ocaml
axesd9 has quit [Quit: WeeChat 1.9]
lambda_foo has quit [Quit: Connection closed for inactivity]
eh_eff has joined #ocaml
eh_eff has quit [Ping timeout: 248 seconds]
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 248 seconds]
enterprisey has quit [Quit: Leaving]
pierpa has quit [Quit: Page closed]
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 240 seconds]
pond has quit [Quit: pond]
xpinguin_ has left #ocaml ["Leaving"]
salc has quit [Ping timeout: 240 seconds]
salc has joined #ocaml
MercurialAlchemi has joined #ocaml
sam___ has joined #ocaml
AlexDenisov has joined #ocaml
sam___ has quit [Ping timeout: 248 seconds]
keep_learning has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
keep_learning has joined #ocaml
sveit has quit [Ping timeout: 246 seconds]
sveit has joined #ocaml
tg has quit [Ping timeout: 255 seconds]
govg has joined #ocaml
danieli has quit [Ping timeout: 248 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
samrat_ has joined #ocaml
cbot has quit [Quit: Leaving]
danieli has joined #ocaml
danieli has quit [Changing host]
danieli has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
infinity0_ has joined #ocaml
infinity0 is now known as Guest56575
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
Guest56575 has quit [Killed (tolkien.freenode.net (Nickname regained by services))]
infinity0_ is now known as infinity0
tg has joined #ocaml
poindontcare has joined #ocaml
TheLemonMan has joined #ocaml
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 255 seconds]
Mercuria1Alchemi has joined #ocaml
dakk has joined #ocaml
wklm has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
poindontcare has left #ocaml ["ERC (IRC client for Emacs 26.0.50)"]
MUWA has joined #ocaml
MUWA has left #ocaml [#ocaml]
ygrek has joined #ocaml
jlam has quit [Ping timeout: 240 seconds]
maelkum has quit [Quit: WeeChat 1.9]
Associat0r has quit [Read error: Connection reset by peer]
AltGr has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 255 seconds]
mfp__ has joined #ocaml
zv has quit [Ping timeout: 246 seconds]
ygrek has quit [Ping timeout: 246 seconds]
zv has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
argent_smith has joined #ocaml
copy_ has joined #ocaml
KeyJoo has joined #ocaml
jnavila has joined #ocaml
sam_ has joined #ocaml
andreas__ has joined #ocaml
sam_ has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
KeyJoo has quit [Read error: Connection reset by peer]
SpaceSheep has joined #ocaml
SpaceSheep has quit [Quit: WeeChat 1.0.1]
SpaceSheep has joined #ocaml
sam_ has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
SpaceSheep has quit [Quit: WeeChat 1.0.1]
sam_ has quit [Ping timeout: 248 seconds]
ziyourenxiang has joined #ocaml
ShalokShalom_ has joined #ocaml
ShalokShalom has quit [Ping timeout: 240 seconds]
ShalokShalom_ is now known as ShalokShalom
jnavila has joined #ocaml
dhil has joined #ocaml
samrat_ has quit [Ping timeout: 240 seconds]
TheLemonMan has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 248 seconds]
nahra` has quit [Remote host closed the connection]
kakadu has joined #ocaml
al-damiri has joined #ocaml
keep_learning has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
kakadu has quit [Quit: Konversation terminated!]
kakadu has joined #ocaml
kakadu has quit [Client Quit]
kakadu has joined #ocaml
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]