<Leonidas>
mks11: I think you need to `open Core` first and call `corebuild filename.native`
<mbuf>
Between "Real World OCaml" and "Ocaml from the beginning", which is recommended?
sam___ has joined #ocaml
copy_ has joined #ocaml
<Leonidas>
mbuf: Depends for whom.
<Leonidas>
I much prefer RWO because it goes much more into depth and is really well written in my opinion. "OCaml from the beginning" is very basic, but I guess it is ok if you're just starting out with functional programming.
<Leonidas>
I haven't read "More OCaml", though but also I don't really feel like I want to.
freusque has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
<mbuf>
Leonidas, I see
<Leonidas>
mbuf: just my 2 centimes though, YMMV ;)
<mks11>
@mbuf in my opinion "OCaml from the beginning" strips of all the complexities and focuses on functional programming which is great to start. You can finish it 3-4 days, and then you can go to RWO
<mks11>
@mbuf strips *off
mks11 has quit [Quit: Page closed]
kakadu has joined #ocaml
ziyourenxiang has joined #ocaml
<mbuf>
who is the contact here for testing OCaml multi-core implementation?
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
sz0 has joined #ocaml
sam___ has joined #ocaml
sepp2k has joined #ocaml
<orbifx[m]>
Dunno if there is a "contact here"
<mbuf>
orbifx[m], okay
ShalokShalom has quit [Quit: No Ping reply in 180 seconds.]
ShalokShalom has joined #ocaml
TheLemonMan has quit [Ping timeout: 260 seconds]
<orbifx[m]>
There might be people involved. What are you after? Ask anyone, someone might know
ziyourenxiang has quit [*.net *.split]
ia0 has quit [*.net *.split]
mbuf has quit [*.net *.split]
mbuf has joined #ocaml
_andre has joined #ocaml
mbuf has quit [Quit: Leaving]
freusque has quit [Ping timeout: 248 seconds]
ayxih has joined #ocaml
ia0 has joined #ocaml
freusque has joined #ocaml
jimmyrcom_ has joined #ocaml
copy[m] has quit [*.net *.split]
smondet[m] has quit [*.net *.split]
Armael has quit [*.net *.split]
srax has quit [*.net *.split]
Merv has quit [*.net *.split]
adi_____ has quit [*.net *.split]
JSharp has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
cbarrett has quit [*.net *.split]
metadave has quit [*.net *.split]
Armael has joined #ocaml
adi_____ has joined #ocaml
srax has joined #ocaml
metadave has joined #ocaml
JSharp has joined #ocaml
cbarrett has joined #ocaml
rgrinberg has joined #ocaml
Merv has joined #ocaml
smondet[m] has joined #ocaml
copy[m] has joined #ocaml
mbuf has joined #ocaml
metadave has left #ocaml [#ocaml]
malina has quit [Remote host closed the connection]
BitPuffin|osx has joined #ocaml
KeyJoo has quit [Ping timeout: 246 seconds]
KeyJoo has joined #ocaml
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 240 seconds]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 240 seconds]
ristos has joined #ocaml
freusque has quit [Ping timeout: 240 seconds]
nicooo is now known as nicoo
jlam_ has quit [Read error: Connection reset by peer]
copy_ has quit [Quit: Connection closed for inactivity]
KeyJoo has quit [Ping timeout: 240 seconds]
sh0t has joined #ocaml
govg has quit [Ping timeout: 255 seconds]
ziyourenxiang has joined #ocaml
jimmyrcom_ has quit [Read error: Connection reset by peer]
copy_ has joined #ocaml
freusque has joined #ocaml
sam___ has quit [Ping timeout: 258 seconds]
mbuf has quit [Quit: Leaving]
KeyJoo has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 255 seconds]
sam___ has joined #ocaml
freusque has quit [Read error: Connection reset by peer]
snowcrshd has joined #ocaml
k1000 has joined #ocaml
al-damiri has joined #ocaml
johnelse is now known as johnel_away
johnel_away is now known as johnelse
govg has joined #ocaml
MercurialAlchemi has joined #ocaml
snowcrshd has quit [Remote host closed the connection]
snowcrshd has joined #ocaml
teknozulu has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 255 seconds]
snowcrshd has quit [Remote host closed the connection]
oriba has joined #ocaml
snowcrshd has joined #ocaml
oriba has quit [Quit: WeeChat 1.9]
sam___ has quit [Ping timeout: 276 seconds]
sam___ has joined #ocaml
snowcrshd has quit [Remote host closed the connection]
slash^ has joined #ocaml
ostera has joined #ocaml
ostera has quit [Client Quit]
sam___ has quit [Ping timeout: 255 seconds]
mengu has joined #ocaml
FreeBirdLjj has joined #ocaml
snowcrshd has joined #ocaml
sam___ has joined #ocaml
BitPuffin|osx has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
jagare has joined #ocaml
jagare_ has joined #ocaml
sam____ has joined #ocaml
sam____ has quit [Ping timeout: 240 seconds]
tokomak_ has quit [Remote host closed the connection]
teknozulu has quit [Ping timeout: 255 seconds]
tokomak has joined #ocaml
zv has joined #ocaml
zv has quit [Client Quit]
jagare has quit [Remote host closed the connection]
jagare_ has quit [Remote host closed the connection]
jagare_ has joined #ocaml
jagare has joined #ocaml
jagare has quit [Client Quit]
jagare_ has quit [Client Quit]
zv has joined #ocaml
teknozulu has joined #ocaml
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 246 seconds]
raphaelss has joined #ocaml
ziyourenxiang has quit [Ping timeout: 260 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 255 seconds]
dejanr has quit []
sam___ has joined #ocaml
KeyJoo has quit [Read error: Connection reset by peer]
sam___ has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
mal`` has quit [Quit: Leaving]
copy[m] has quit [Remote host closed the connection]
yetanotherion[m] has quit [Read error: Connection reset by peer]
hdurer[m] has quit [Read error: Connection reset by peer]
timclassic has quit [Read error: Connection reset by peer]
regnat[m] has quit [Read error: Connection reset by peer]
smondet[m] has quit [Remote host closed the connection]
orbifx[m] has quit [Read error: Connection reset by peer]
Bluddy[m] has quit [Read error: Connection reset by peer]
srenatus[m] has quit [Read error: Connection reset by peer]
isaachodes[m] has quit [Remote host closed the connection]
aspiwack[m] has quit [Remote host closed the connection]
M-martinklepsch has quit [Write error: Connection reset by peer]
samrat[m] has quit [Read error: Connection reset by peer]
M-ErkkiSeppl has quit [Read error: Connection reset by peer]
M-jimt has quit [Read error: Connection reset by peer]
tane has joined #ocaml
isaachodes[m] has joined #ocaml
mal`` has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
peterpp has joined #ocaml
fraggle_ has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
snowcrshd has quit [Remote host closed the connection]
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 276 seconds]
srenatus[m] has joined #ocaml
regnat[m] has joined #ocaml
aspiwack[m] has joined #ocaml
timclassic has joined #ocaml
M-martinklepsch has joined #ocaml
M-jimt has joined #ocaml
samrat[m] has joined #ocaml
Bluddy[m] has joined #ocaml
yetanotherion[m] has joined #ocaml
smondet[m] has joined #ocaml
orbifx[m] has joined #ocaml
hdurer[m] has joined #ocaml
copy[m] has joined #ocaml
M-ErkkiSeppl has joined #ocaml
<orbitz>
What is the type ()? I can do type = (), but I cannot do #show_type ();;
<flux>
it is unit..
<flux>
and () is its constructor
<flux>
when doing type foo = (), it's the same as type foo = Hello, but the constructor is called ()
<flux>
so basically somewhere inside the compiler there is type unit = ()
<flux>
so the same as you cannot do #show_type None;; yo cannot do #show_type ();;
<Armael>
aha, indeed, type t = () defines a new type isomorphic to (but different from) unit
dakk has quit [Ping timeout: 240 seconds]
mengu has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
MercurialAlchemi has joined #ocaml
<ayxih>
no it's the same type
<ayxih>
oops sorry
<Armael>
umm, type t = ();; let x : t = (() : unit);;
<Armael>
Error: This expression has type unit but an expression was expected of type t
FreeBirdLjj has quit [Ping timeout: 260 seconds]
<ayxih>
I said that I was sorry. YOu're right, those are not the same types.
sam___ has joined #ocaml
<Armael>
ok :)
sam___ has quit [Ping timeout: 240 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
<lyxia>
ayxih: almost an anagram...
<ayxih>
yes, next time try to not do a mistake when copying my nick
<lyxia>
:( sorry
slash^ has quit [Read error: Connection reset by peer]
M-martinklepsch has quit [Ping timeout: 246 seconds]
isaachodes[m] has quit [Ping timeout: 240 seconds]
M-ErkkiSeppl has quit [Read error: Connection reset by peer]
copy[m] has quit [Read error: Connection reset by peer]
regnat[m] has quit [Write error: Connection reset by peer]
yetanotherion[m] has quit [Read error: Connection reset by peer]
Bluddy[m] has quit [Read error: Connection reset by peer]
hdurer[m] has quit [Read error: Connection reset by peer]
M-jimt has quit [Read error: Connection reset by peer]
smondet[m] has quit [Read error: Connection reset by peer]
srenatus[m] has quit [Read error: Connection reset by peer]
orbifx[m] has quit [Read error: Connection reset by peer]
samrat[m] has quit [Read error: Connection reset by peer]
timclassic has quit [Read error: Connection reset by peer]
aspiwack[m] has quit [Read error: Connection reset by peer]
isaachodes[m] has joined #ocaml
ygrek has quit [Remote host closed the connection]
tane has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
tane has joined #ocaml
sam___ has joined #ocaml
FreeBirdLjj has joined #ocaml
sam___ has quit [Ping timeout: 246 seconds]
sh0t has quit [Ping timeout: 260 seconds]
sam___ has joined #ocaml
regnat[m] has joined #ocaml
srenatus[m] has joined #ocaml
timclassic has joined #ocaml
samrat[m] has joined #ocaml
aspiwack[m] has joined #ocaml
M-jimt has joined #ocaml
M-martinklepsch has joined #ocaml
yetanotherion[m] has joined #ocaml
smondet[m] has joined #ocaml
orbifx[m] has joined #ocaml
hdurer[m] has joined #ocaml
Bluddy[m] has joined #ocaml
copy[m] has joined #ocaml
M-ErkkiSeppl has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
sh0t has joined #ocaml
sam___ has quit [Ping timeout: 255 seconds]
snowcrshd has joined #ocaml
snowcrshd has quit [Client Quit]
kakadu has joined #ocaml
kakadu has quit [Ping timeout: 240 seconds]
kakadu_ has joined #ocaml
iitalics has joined #ocaml
sam___ has joined #ocaml
KeyJoo has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 248 seconds]
ygrek has quit [Ping timeout: 246 seconds]
iitalics has quit [Quit: /thread]
sam___ has joined #ocaml
infinity0 has quit [Ping timeout: 240 seconds]
infinity0 has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
sz0 has joined #ocaml
sepp2k has quit [Quit: Leaving.]
sam___ has joined #ocaml
tane has quit [Quit: Leaving]
sam___ has quit [Ping timeout: 240 seconds]
copy_ has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 260 seconds]
malina has joined #ocaml
mengu has joined #ocaml
FreeBirdLjj has joined #ocaml
ayxih has quit [Quit: Leaving]
FreeBirdLjj has quit [Ping timeout: 246 seconds]
peterpp has quit [Ping timeout: 248 seconds]
sam___ has joined #ocaml
pierpa has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
sh0t has quit [Remote host closed the connection]
tokomak has quit [Remote host closed the connection]
kakadu_ has quit [Remote host closed the connection]