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 joined #ocaml
KeyJoo has quit [Ping timeout: 248 seconds]
zv has joined #ocaml
tautologico has quit [Quit: Connection closed for inactivity]
teknozulu has joined #ocaml
sam____ has joined #ocaml
sam____ has quit [Ping timeout: 255 seconds]
mfp__ has quit [Ping timeout: 240 seconds]
cbot has quit [Ping timeout: 258 seconds]
sam____ has joined #ocaml
sam____ has quit [Ping timeout: 240 seconds]
govg has quit [Ping timeout: 260 seconds]
govg has joined #ocaml
govg has quit [Ping timeout: 255 seconds]
zv has quit [Ping timeout: 255 seconds]
sam____ has joined #ocaml
johnelse_ has joined #ocaml
zv has joined #ocaml
tokomak_ has joined #ocaml
vramana_ has joined #ocaml
sam_____ has joined #ocaml
tokomak has quit [Quit: No Ping reply in 180 seconds.]
leah2 has quit [Ping timeout: 260 seconds]
johnelse has quit [Ping timeout: 260 seconds]
lucybun has quit [Ping timeout: 260 seconds]
Orion3k has quit [Ping timeout: 260 seconds]
sam____ has quit [Ping timeout: 260 seconds]
vramana has quit [Ping timeout: 260 seconds]
Fardale has quit [Ping timeout: 260 seconds]
jmiven has quit [Ping timeout: 260 seconds]
xvilka has quit [Ping timeout: 260 seconds]
Lightsephi has quit [Remote host closed the connection]
xvilka has joined #ocaml
Lightsephi has joined #ocaml
lucybun has joined #ocaml
demonimin_ has joined #ocaml
demonimin_ has joined #ocaml
demonimin_ has quit [Changing host]
john51 has quit [Read error: Connection reset by peer]
john51 has joined #ocaml
xvilka_ has joined #ocaml
xuanrui has joined #ocaml
fraggle-boate_ has joined #ocaml
leah2 has joined #ocaml
demonimin has quit [Ping timeout: 260 seconds]
dakk has quit [Ping timeout: 260 seconds]
xvilka has quit [Ping timeout: 260 seconds]
sh0t has quit [Ping timeout: 260 seconds]
fraggle-boate has quit [Ping timeout: 260 seconds]
Orion3k has joined #ocaml
sh0t has joined #ocaml
spion has quit [Ping timeout: 240 seconds]
jmiven has joined #ocaml
dakk has joined #ocaml
Fardale has joined #ocaml
spion has joined #ocaml
mbuf has joined #ocaml
sh0t has quit [Remote host closed the connection]
sam_____ has quit [Ping timeout: 255 seconds]
sam____ has joined #ocaml
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
alexelcu has quit [Remote host closed the connection]
govg has joined #ocaml
alexelcu has joined #ocaml
zv has quit [Ping timeout: 255 seconds]
MercurialAlchemi has joined #ocaml
malina has quit [Ping timeout: 276 seconds]
sam____ has quit [Ping timeout: 255 seconds]
zv has joined #ocaml
Soni has quit [Excess Flood]
sam____ has joined #ocaml
Soni has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
iitalics has joined #ocaml
sam____ has quit [Ping timeout: 255 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
teknozulu has quit [Ping timeout: 258 seconds]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 258 seconds]
raphaelss has quit [Ping timeout: 255 seconds]
MercurialAlchemi has joined #ocaml
mbuf has quit [Ping timeout: 258 seconds]
mbuf has joined #ocaml
sam____ has joined #ocaml
jlam_ has quit [Quit: jlam_]
jlam_ has joined #ocaml
sam____ has quit [Ping timeout: 248 seconds]
cbot has joined #ocaml
xuanrui has quit [Remote host closed the connection]
cbot has quit [Quit: Leaving]
ShalokShalom has joined #ocaml
peterpp has joined #ocaml
TheLemonMan has joined #ocaml
iitalics has quit [Quit: /thread]
g0d355__ has quit [Ping timeout: 248 seconds]
peterpp has quit [Ping timeout: 260 seconds]
mks11 has joined #ocaml
jagare__ has joined #ocaml
<mks11> hi guys, I am a beginner. How do I compile this standalone file with the content `let start = Time.now()`?
<mks11> using ocamlopt
KeyJoo has joined #ocaml
malina has joined #ocaml
andreas__ has joined #ocaml
zv has quit [Quit: WeeChat 1.7.1]
sam____ has joined #ocaml
zv has joined #ocaml
zv has quit [Quit: WeeChat 1.7.1]
Orion3k has quit [Quit: Leaving]
mfp__ has joined #ocaml
ia0 has quit [Quit: reboot]
ia0 has joined #ocaml
jagare__ has quit [Remote host closed the connection]
sam____ has quit [Ping timeout: 240 seconds]
malina is now known as rx
rx is now known as malina
vramana_ has quit [Remote host closed the connection]
vramana_ has joined #ocaml
<johnelse_> mks11: Hi, are you trying to use Time.now from core? i.e. https://ocaml.janestreet.com/ocaml-core/109.31.00/doc/core/Time.html#VALnow ?
johnelse_ is now known as johnelse
<johnelse> Also, do you have ocamlfind available?
<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]
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
ziyourenxiang has joined #ocaml
KeyJoo has quit [Ping timeout: 240 seconds]
sh0t has joined #ocaml