Algebr` has quit [Remote host closed the connection]
mbuf has quit [Ping timeout: 240 seconds]
shiyaz has quit [Ping timeout: 240 seconds]
kakadu has quit [Quit: Konversation terminated!]
mnemem has quit [Read error: Connection reset by peer]
mnemem has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
luukAntwerp has joined #ocaml
bramford has quit [Ping timeout: 240 seconds]
bramford has joined #ocaml
samrat_ has quit [Ping timeout: 248 seconds]
lgd_ has quit [Read error: Connection reset by peer]
sh0t has quit [Ping timeout: 252 seconds]
kakadu has joined #ocaml
lgd_ has joined #ocaml
sh0t has joined #ocaml
enterprisey has joined #ocaml
dtornabene has joined #ocaml
nullifidian_ is now known as nullifidian
lgd__ has joined #ocaml
lgd_ has quit [Read error: Connection reset by peer]
mnemem has quit [Read error: Connection reset by peer]
noddy has quit [Ping timeout: 240 seconds]
_andre has quit [Quit: leaving]
mnemem has joined #ocaml
sz0 has joined #ocaml
<octachron>
orbifx[m], there are whole books on type theory and lambda calculus. I am not the best source for a reference in this domain
<Drup>
orbifx[m]: what do you mean by "native" here ?
<Drup>
and also, which part of type system, and what's you knowledge ?
parataxis_ has joined #ocaml
ygrek_ has joined #ocaml
<orbifx[m]>
Drup: instead of native I meant to say primitive, built-in the language
argent_smith has joined #ocaml
<orbifx[m]>
I haven't studied type systems. What I know is because of experience
demonimin has quit [Read error: Connection reset by peer]
demonimin has joined #ocaml
<Drup>
orbifx[m]: A good introduction is Wright&Felleisen, "A syntactic aproach to type soundness"
aciniglio has quit [Ping timeout: 248 seconds]
<Drup>
then, after that, it depends a lot where you want to go
<orbifx[m]>
Who knows :)
<orbifx[m]>
I knew that tuples are products but for some reason I got mixed up after a while about what records are and what role they play in functional interface design
<Drup>
Honestly, that doesn't have much to do with the study of type systems
<orbifx[m]>
I suspect so. I've read a bit of lambda calculus and that's the impression I was getting
<orbifx[m]>
anyway I noticed that I was arbitrary about creating record types and some times my records were growing into weird amalgamations. So that's why I wanted to take it back to the basics
<orbifx[m]>
Would the book you suggested help on that side?
lgd has joined #ocaml
lgd__ has quit [Ping timeout: 252 seconds]
jnavila has quit [Ping timeout: 248 seconds]
noddy has joined #ocaml
<orbifx[m]>
Drup: ?
sh0t has quit [Remote host closed the connection]
Associat0r has quit [Read error: Connection reset by peer]
ygrek_ has quit [Ping timeout: 240 seconds]
mnemem has quit [Ping timeout: 240 seconds]
mnemem has joined #ocaml
cbot has joined #ocaml
shinnya has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
<Drup>
orbifx[m]: No, it wouldn't
kakadu has quit [Remote host closed the connection]
sepp2k has quit [Quit: Leaving.]
wtetzner has joined #ocaml
enterprisey has quit [Remote host closed the connection]
pierpa has joined #ocaml
parataxis_ has quit [Quit: Connection closed for inactivity]
parataxis_ has joined #ocaml
jor_ has joined #ocaml
<jor_>
Is there an installer for opam 2, or should I build it from source? Or can I install opam2 from opam 1?
andreas__ has quit [Quit: Connection closed for inactivity]