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
MercurialAlchemi has quit [Ping timeout: 258 seconds]
sam___ has joined #ocaml
FreeBirdLjj has joined #ocaml
malina has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
sam___ has quit [Ping timeout: 240 seconds]
pierpa has quit [Quit: Page closed]
mfp__ has quit [Ping timeout: 255 seconds]
sam___ has joined #ocaml
malina has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
ristos has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 255 seconds]
ahf has quit [Ping timeout: 255 seconds]
jlouis has quit [Ping timeout: 240 seconds]
ahf has joined #ocaml
sh0t has quit [Remote host closed the connection]
<sam___> companion_cube: https://github.com/c-cube/qcheck/issues/46 if you have time, could you check this out.
_whitelogger has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
<companion_cube> I will, once I'm back from travel
<sam___> companion_cube: ah ok!
<sam___> enjoy!
<sam___> wherever you are
<companion_cube> thx
xvilka_ has quit [Ping timeout: 255 seconds]
xvilka has joined #ocaml
teknozulu has quit [Ping timeout: 240 seconds]
sam___ has quit [Ping timeout: 240 seconds]
mengu has quit [Remote host closed the connection]
pyx has joined #ocaml
pyx has quit [Client Quit]
sam___ has joined #ocaml
mengu has joined #ocaml
andreas__ has quit [Quit: Connection closed for inactivity]
mengu has quit [Ping timeout: 240 seconds]
KeyJoo has joined #ocaml
sam___ has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
cbot has joined #ocaml
ShalokShalom_ has joined #ocaml
ShalokShalom has quit [Ping timeout: 240 seconds]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
TheLemonMan has joined #ocaml
slash^ has joined #ocaml
Soni has quit [Excess Flood]
Soni has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
cbot has quit [Quit: Leaving]
ski has joined #ocaml
sam___ has joined #ocaml
xuanrui has joined #ocaml
mengu has joined #ocaml
sam___ has quit [Ping timeout: 260 seconds]
mengu has quit [Ping timeout: 240 seconds]
ShalokShalom_ is now known as ShalokShalom
sam___ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 260 seconds]
jimmyrcom has quit [Ping timeout: 240 seconds]
peterpp has joined #ocaml
mfp__ has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
Puck` has joined #ocaml
<Puck`> good morning
<peterpp> hi
Lightsephi has quit [Ping timeout: 255 seconds]
tane has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
<orbifx[m]> rgrinberg: here?
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 246 seconds]
<rgrinberg> orbifx[m]: yeah
<orbifx[m]> just want to confirm, a middleware in opium runs for all requests and can reject them? So I could make an authentication system based on it?
<rgrinberg> Yes, although rejection occurs by immediately returning the response rather than letting the middleware chain proceed
vramana has joined #ocaml
vramana_ has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
<orbifx[m]> Understood, what i thought
<orbifx[m]> Thanks rgrinberg
FreeBirdLjj has quit [Ping timeout: 246 seconds]
malina has quit [Ping timeout: 240 seconds]
malina has joined #ocaml
ShalokShalom has joined #ocaml
sam___ has joined #ocaml
malina has quit [Quit: Throwing apples of Montserrat]
Puck` has quit [Quit: Lost terminal]
sam___ has quit [Ping timeout: 240 seconds]
BitPuffin|osx has joined #ocaml
soupault has joined #ocaml
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 246 seconds]
ShalokShalom has quit [Ping timeout: 255 seconds]
jlouis has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 246 seconds]
BitPuffin|osx has joined #ocaml
soupault has quit [Remote host closed the connection]
soupault has joined #ocaml
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 246 seconds]
HTTP_____GK1wmSU has joined #ocaml
sam___ has joined #ocaml
HTTP_____GK1wmSU has left #ocaml [#ocaml]
copy_ has joined #ocaml
sam___ has quit [Ping timeout: 246 seconds]
sam___ has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
ayxih has joined #ocaml
sam___ has quit [Ping timeout: 255 seconds]
sam___ has joined #ocaml
teknozulu has joined #ocaml
ShalokShalom has joined #ocaml
ziyourenxiang has quit [Ping timeout: 255 seconds]
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
KeyJoo has quit [Read error: Connection reset by peer]
KeyJoo has joined #ocaml
mengu has joined #ocaml
mamazirh has joined #ocaml
mrsmkl has joined #ocaml
mengu has quit [Quit: Leaving...]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
regnat[m] has quit [Ping timeout: 240 seconds]
srenatus[m] has quit [Ping timeout: 246 seconds]
samrat[m] has quit [Ping timeout: 246 seconds]
aspiwack[m] has quit [Ping timeout: 246 seconds]
M-ErkkiSeppl has quit [Ping timeout: 240 seconds]
yetanotherion[m] has quit [Ping timeout: 240 seconds]
orbifx[m] has quit [Ping timeout: 255 seconds]
hdurer[m] has quit [Ping timeout: 246 seconds]
smondet[m] has quit [Ping timeout: 258 seconds]
timclassic has quit [Ping timeout: 240 seconds]
Bluddy[m] has quit [Ping timeout: 264 seconds]
copy[m] has quit [Ping timeout: 276 seconds]
M-martinklepsch has quit [Ping timeout: 276 seconds]
M-jimt has quit [Ping timeout: 276 seconds]
isaachodes[m] has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
sam___ has quit [Ping timeout: 255 seconds]
Hannibal_Smith has joined #ocaml
mamazirh has quit [Quit: Page closed]
copy_ has quit [Quit: Connection closed for inactivity]
jimmyrcom has joined #ocaml
mbuf has joined #ocaml
cbot has joined #ocaml
teknozulu has quit [Ping timeout: 255 seconds]
Hannibal_Smith has quit [Read error: Connection reset by peer]
groovy2shoes has quit [Ping timeout: 240 seconds]
samrat[m] has joined #ocaml
srenatus[m] has joined #ocaml
smondet[m] has joined #ocaml
M-jimt has joined #ocaml
timclassic has joined #ocaml
aspiwack[m] has joined #ocaml
Bluddy[m] has joined #ocaml
M-martinklepsch has joined #ocaml
hdurer[m] has joined #ocaml
M-ErkkiSeppl has joined #ocaml
yetanotherion[m] has joined #ocaml
isaachodes[m] has joined #ocaml
regnat[m] has joined #ocaml
copy[m] has joined #ocaml
orbifx[m] has joined #ocaml
kolko has quit [Ping timeout: 258 seconds]
KV_ has joined #ocaml
nicoo has quit [Ping timeout: 248 seconds]
kolko has joined #ocaml
nicoo has joined #ocaml
mbuf has quit [Quit: Leaving]
ayxih2 has joined #ocaml
ayxih has quit [Read error: No route to host]
KV_ has quit [Read error: Connection reset by peer]
teknozulu has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 246 seconds]
KV_ has joined #ocaml
groovy2shoes has joined #ocaml
KV_ has quit [Quit: leaving]
soupault has quit [Remote host closed the connection]
ayxih2 has quit [Ping timeout: 246 seconds]
ayxih has joined #ocaml
D33P-B00K has joined #ocaml
cbot_ has joined #ocaml
cbot has quit [Ping timeout: 246 seconds]
D33P-B00K has left #ocaml [#ocaml]
sz0 has quit []
wagle has quit [Remote host closed the connection]
wagle has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
copy_ has joined #ocaml
kakadu has joined #ocaml
kakadu has quit [Ping timeout: 248 seconds]
kakadu has joined #ocaml
peterpp has quit [Ping timeout: 248 seconds]
peterpp has joined #ocaml
peterpp has quit [Ping timeout: 248 seconds]
jnavila has joined #ocaml
ristos has joined #ocaml
jnavila has quit [Remote host closed the connection]
ayxih has quit [Quit: AtomicIRC: The nuclear option.]
aggelos_ has quit [Ping timeout: 240 seconds]
aggelos_ has joined #ocaml
cbot_ has quit [Ping timeout: 260 seconds]
cbot_ has joined #ocaml
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 has quit [Killed (hobana.freenode.net (Nickname regained by services))]
infinity0 has joined #ocaml
raphaelss has quit [Ping timeout: 260 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
raphaelss has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
mengu has joined #ocaml
tane has quit [Quit: Leaving]
zlsyx has joined #ocaml
mrsmkl has quit [Ping timeout: 260 seconds]
bjs has joined #ocaml
malina has joined #ocaml
orbifx[m] has quit [Ping timeout: 240 seconds]
M-ErkkiSeppl has quit [Ping timeout: 240 seconds]
samrat[m] has quit [Ping timeout: 240 seconds]
cbot_ has quit [Quit: Leaving]
hdurer[m] has quit [Ping timeout: 240 seconds]
isaachodes[m] has quit [Ping timeout: 246 seconds]
M-jimt has quit [Ping timeout: 246 seconds]
M-martinklepsch has quit [Ping timeout: 258 seconds]
yetanotherion[m] has quit [Ping timeout: 264 seconds]
Bluddy[m] has quit [Ping timeout: 264 seconds]
copy[m] has quit [Ping timeout: 276 seconds]
smondet[m] has quit [Ping timeout: 258 seconds]
srenatus[m] has quit [Ping timeout: 255 seconds]
regnat[m] has quit [Ping timeout: 255 seconds]
coventry has joined #ocaml
octachron has quit [Ping timeout: 260 seconds]
<coventry> Is there a good reason for using strings of subordinate (let fn = ... in ...) definitions for auxilliary functions, instead of defining the auxilliaries at the top level? Top level makes REPL development much simpler.
<coventry> Other than namespace pollution, I guess, which doesn't seem that compelling, coming from python / clojure.
octachron has joined #ocaml
timclassic has quit [Ping timeout: 276 seconds]
aspiwack[m] has quit [Ping timeout: 276 seconds]
raphaelss has quit [Ping timeout: 240 seconds]
zlsyx has quit [Quit: Leaving...]
espinoza has joined #ocaml
kakadu has quit [Remote host closed the connection]
<espinoza> hi all! I've got a type-related thing that I'm wondering about. say I had a type like `type natural = Zero | Successor of natural` for expressing the natural numbers (not that something like this should be used in practice) but I wanted to express the concept of a positive natural number at the type level. I tried doing `type positive = Successor of natural` but realized that it was shadowing the old `Successor` constructor, not actu
<espinoza> so, I'm wondering if anyone can think of a way to encode such constraints at the type level. more generally, this would mean only allowing some "branches" of a union type
<espinoza> thanks for any thoughts / reading!
sam___ has joined #ocaml
ziyourenxiang has joined #ocaml
sam___ has quit [Ping timeout: 246 seconds]
aspiwack[m] has joined #ocaml
timclassic has joined #ocaml
srenatus[m] has joined #ocaml
smondet[m] has joined #ocaml
hdurer[m] has joined #ocaml
M-jimt has joined #ocaml
M-ErkkiSeppl has joined #ocaml
yetanotherion[m] has joined #ocaml
regnat[m] has joined #ocaml
copy[m] has joined #ocaml
isaachodes[m] has joined #ocaml
Bluddy[m] has joined #ocaml
M-martinklepsch has joined #ocaml
samrat[m] has joined #ocaml
orbifx[m] has joined #ocaml
espinoza has quit [Quit: Page closed]
sh0t has joined #ocaml