<
dtornabene>
orbitfx: Pierce Types and Programming Languages might be of some help
<
dtornabene>
it also has the benefit of having full implemented examples in OCaml, which can still be run, shockingly
<
Drup>
dtornabene: that doesn't help on how to use types do write good OCaml programs, which is what orbifx[m] is really after
<
dtornabene>
ah, my apologies
<
dtornabene>
actually...
<
dtornabene>
i mean, in a way thats exactly what it does
jao has quit [Ping timeout: 252 seconds]
<
dtornabene>
just a fairly circuitous route, ingrains intuition about types
nomicflux has joined #ocaml
<
jor_>
(I ended up install opam1 first and then opam2 using opam1, in case someone is interested)
nomicflux has quit [Quit: nomicflux]
nomicflux has joined #ocaml
shinnya has quit [Ping timeout: 248 seconds]
<
zozozo>
jor_: iirc, opam2 pre-compiled bianries are available as part of beta releases
<
jor_>
Oh, it's on github actually
nomicflux has quit [Quit: nomicflux]
lgd has quit [Ping timeout: 240 seconds]
nomicflux has joined #ocaml
lgd has joined #ocaml
dtornabene has quit [Quit: Leaving]
FreeBirdLjj_ has joined #ocaml
FreeBirdLjj_ has quit [Client Quit]
jor_ has quit [Quit: Page closed]
theglass has quit [Ping timeout: 252 seconds]
theglass has joined #ocaml
theglass has quit [Changing host]
theglass has joined #ocaml
cthuluh has quit [Ping timeout: 255 seconds]
cthuluh has joined #ocaml
nomicflux has quit [Quit: nomicflux]
h-michael has joined #ocaml
enterprisey has joined #ocaml
h-michael has quit [Remote host closed the connection]
parataxis_ has quit [Quit: Connection closed for inactivity]
noddy has quit [Ping timeout: 248 seconds]
mfp has quit [Ping timeout: 240 seconds]
wtetzner has quit [Ping timeout: 240 seconds]
lgd has quit [Read error: Connection reset by peer]
nicoo has quit [Ping timeout: 248 seconds]
lgd has joined #ocaml
nicoo has joined #ocaml
noddy has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
pierpa has quit [Quit: Page closed]
nomicflux has joined #ocaml
lgd_ has joined #ocaml
lgd has quit [Ping timeout: 258 seconds]
nomicflux has quit [Quit: nomicflux]
nicooo has joined #ocaml
lgd_ has quit [Ping timeout: 258 seconds]
nicoo has quit [Ping timeout: 248 seconds]
lgd_ has joined #ocaml
groovy2shoes has quit [Ping timeout: 252 seconds]
mrvn has quit [Ping timeout: 240 seconds]
mrvn has joined #ocaml
bramford has quit [Quit: leaving]
lgd_ has quit [Remote host closed the connection]
lgd_ has joined #ocaml
govg has joined #ocaml
groovy2shoes has joined #ocaml
lgd_ has quit [Remote host closed the connection]
lgd_ has joined #ocaml
lgd has joined #ocaml
lgd_ has quit [Ping timeout: 240 seconds]
zmt01 has joined #ocaml
zmt01 has quit [Remote host closed the connection]
zmt00 has quit [Ping timeout: 258 seconds]
mbuf has joined #ocaml
cbot has quit [Quit: Leaving]
ygrek_ has joined #ocaml
mnemem has quit [Ping timeout: 248 seconds]
infinity0_ has joined #ocaml
infinity0 is now known as Guest30381
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
Guest30381 has quit [Killed (card.freenode.net (Nickname regained by services))]
infinity0_ is now known as infinity0
ygrek_ has quit [Ping timeout: 258 seconds]
rossberg has quit [Ping timeout: 264 seconds]
lgd has quit [Remote host closed the connection]
lgd has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
mnemem has joined #ocaml
rossberg has joined #ocaml
enterprisey has quit [Remote host closed the connection]
jimt has quit [Quit: leaving]
jimt has joined #ocaml
noddy has quit [Ping timeout: 240 seconds]
freyr has joined #ocaml
<
orbifx[m]>
dtornabene: thanks I'll take note.
MercurialAlchemi has joined #ocaml
MrBusiness has joined #ocaml
TheLemonMan has joined #ocaml
jnavila has joined #ocaml
lgd has quit [Read error: Connection reset by peer]
lgd has joined #ocaml
nopf has joined #ocaml
ygrek_ has joined #ocaml
AltGr has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
jnavila has quit [Ping timeout: 248 seconds]
mfp has joined #ocaml
zolk3ri has joined #ocaml
andreas__ has joined #ocaml
freusque has quit [Quit: WeeChat 1.7.1]
<
Leonidas>
can I match on bigint literals somehow?
JeanMax has joined #ocaml
freusque has joined #ocaml
shiyaz has joined #ocaml
webshinra has joined #ocaml
sillyotter has joined #ocaml
lgd has quit [Read error: No route to host]
lgd has joined #ocaml
dtornabene has joined #ocaml
sillyotter has quit [Quit: WeeChat 1.4]
jnavila has joined #ocaml
kakadu has joined #ocaml
lgd_ has joined #ocaml
lgd has quit [Remote host closed the connection]
jnavila has quit [Ping timeout: 240 seconds]
lgd__ has joined #ocaml
lgd_ has quit [Read error: Connection reset by peer]
nomicflux has joined #ocaml
nomicflux has quit [Quit: nomicflux]
lgd__ has quit [Ping timeout: 240 seconds]
lgd has joined #ocaml
nomicflux has joined #ocaml
sepp2k has joined #ocaml
luukAntwerp has quit [Quit: Konversation terminated!]
luukAntwerp has joined #ocaml
mbuf has quit [Quit: Leaving]
mrvn has quit [Ping timeout: 240 seconds]
mrvn has joined #ocaml
ziyourenxiang has joined #ocaml
nomicflux has quit [Quit: nomicflux]
shinnya has joined #ocaml
jnavila has joined #ocaml
argent_smith has quit [Quit: Leaving.]
argent_smith has joined #ocaml
dtornabene has quit [Ping timeout: 252 seconds]
Exagone313 has quit [Quit: see ya!]
Exagone313 has joined #ocaml
jbrown has joined #ocaml
<
JeanMax>
I've seen in a few tutorials the "#man" directive... but it seems unknown in my repl :/
<
JeanMax>
is there any other way to get an interactive help?
<
JeanMax>
(or maybe I need an extra package?)
Nephe has quit [Quit: Nephe]
Nephe has joined #ocaml
<
reynir>
JeanMax: I never heard of a #man directive. But maybe check out ocp-index-top. It provides a #doc directive. It has some issues though...
jao has joined #ocaml
<
reynir>
Ah, it seems #man was (is?) from batteries
lgd_ has joined #ocaml
lgd has quit [Read error: Connection reset by peer]
dtornabene has joined #ocaml
sh0t has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
<
JeanMax>
I'd say "was", it's still unknow with batteries :)
<
JeanMax>
that's a nice feature in a repl, too bad
govg has quit [Ping timeout: 248 seconds]
zmt00 has joined #ocaml
ziyourenxiang has quit [Ping timeout: 248 seconds]
ziyourenxiang has joined #ocaml
webshinra has quit [Read error: Connection reset by peer]
webshinra has joined #ocaml
Nephe has quit [Quit: Nephe]
Nephe has joined #ocaml
Orion3k has quit [Quit: Leaving]
freyr has quit [Remote host closed the connection]
MercurialAlchemi has quit [Ping timeout: 246 seconds]
ousado_ has quit [Remote host closed the connection]
ousado_ has joined #ocaml
jao has quit [Ping timeout: 248 seconds]
johnelse is now known as johnel_away
johnel_away is now known as johnelse
FreeBirdLjj has joined #ocaml
ygrek_ has quit [Ping timeout: 264 seconds]
shinnya has quit [Ping timeout: 248 seconds]
<
Leonidas>
is there a way to call a optional argument with the option set to None?
<
Leonidas>
let baz ?z () = z
<
thizanne>
baz ?z:None ()
<
Leonidas>
I used ~z
<
thizanne>
baz ~z:foo () is equivalent to baz ?z:(Some foo) ()
<
Leonidas>
yep, thanks
<
Leonidas>
labeled arguments are surprisingly tricky
<
companion_cube>
but surprisingly convenient
freusque has quit [Quit: WeeChat 1.7.1]
govg has joined #ocaml
mnemem has quit [Quit: WeeChat 1.9.1]
tane has joined #ocaml
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
slash^ has joined #ocaml
ziyourenxiang has quit [Ping timeout: 240 seconds]
sapristi has joined #ocaml
zolk3ri has quit [Ping timeout: 246 seconds]
zolk3ri has joined #ocaml
sapristi has quit [Quit: Leaving]
AltGr has left #ocaml [#ocaml]
Algebr has joined #ocaml
noddy has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
jnavila has joined #ocaml
lgd_ has quit [Remote host closed the connection]
lgd_ has joined #ocaml
malina has joined #ocaml
andreas__ has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
JeanMax` has joined #ocaml
JeanMax has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
jnavila has joined #ocaml
jbrown has quit [Ping timeout: 258 seconds]
dtornabene has quit [Remote host closed the connection]
zmt00 has quit [Ping timeout: 260 seconds]
zmt01 has joined #ocaml
zmt01 has quit [Remote host closed the connection]
luukAntwerp has quit [Quit: Konversation terminated!]
jnavila has quit [Ping timeout: 240 seconds]
kakadu has quit [Quit: Konversation terminated!]
jnavila has joined #ocaml
zmt00 has joined #ocaml
shiyaz has quit [Ping timeout: 258 seconds]
ln5 has joined #ocaml
kakadu has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 248 seconds]
Algebr has quit [Remote host closed the connection]
JeanMax` has quit [Remote host closed the connection]
aciniglio has joined #ocaml
shinnya has joined #ocaml
noddy has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 252 seconds]
kakadu has quit [Ping timeout: 248 seconds]
kakadu_ has joined #ocaml
kakadu_ has quit [Ping timeout: 255 seconds]
kakadu_ has joined #ocaml
mayhew has joined #ocaml
shiyaz has joined #ocaml
kakadu_ has quit [Read error: Connection reset by peer]
jnavila has quit [Ping timeout: 240 seconds]
kakadu_ has joined #ocaml
jbrown has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
lgd_ has quit [Remote host closed the connection]
lgd_ has joined #ocaml
kakadu_ has quit [Ping timeout: 248 seconds]
kakadu_ has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
malina has quit [Quit: Throwing apples of Montserrat]
kakadu_ has quit [Read error: Connection reset by peer]
kakadu_ has joined #ocaml
Algebr has joined #ocaml
noddy has joined #ocaml
jnavila has joined #ocaml
tane has quit [Quit: Leaving]
jnavila has quit [Ping timeout: 240 seconds]
zolk3ri has quit [Quit: leaving]
argent_smith has quit [Quit: Leaving.]
Algebr has quit [Ping timeout: 248 seconds]
<
orbifx[m]>
rgrinberg: in Opium, where is the best function to catch the address in use exception?
parataxis_ has joined #ocaml
aciniglio has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
nomicflux has joined #ocaml
jnavila has quit [Remote host closed the connection]
shiyaz has quit [Ping timeout: 260 seconds]
kakadu_ has quit [Remote host closed the connection]
gpietro has joined #ocaml
noddy has quit [Ping timeout: 255 seconds]
sh0t has quit [Read error: Connection reset by peer]
cbot has joined #ocaml
noddy has joined #ocaml