<kakadu>
And in the target language with GADTs and without copatterns this assign polymiorphic type scheme to constructors
<kakadu>
And it seems that there is not obvious reason why they are doing that.
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 has quit [Killed (hitchcock.freenode.net (Nickname regained by services))]
infinity0 has joined #ocaml
<bartholin>
for polymorphism
barcabuona has quit [Ping timeout: 256 seconds]
<kakadu>
But polymorphich without so-called polymorphic recursion is still a polymoirphism. We kind of don't need in presense of GADTs to take a value from the environment, shrink the type and use the value. Or do we?
* kakadu
probably doesn't know what β#Γ in typing rules means...
* kakadu
sees its using as K::∀β.σ → something
mengu has joined #ocaml
mengu has quit [Remote host closed the connection]
barcabuona has joined #ocaml
tarptaeya has quit [Quit: Leaving]
TarVanimelde has joined #ocaml
mfp has joined #ocaml
maattdd has quit [Ping timeout: 248 seconds]
silver has joined #ocaml
jimmyrcom has quit [Ping timeout: 248 seconds]
Guest11776 has joined #ocaml
slash^ has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
sz0 has joined #ocaml
leah2 has quit [Ping timeout: 260 seconds]
leah2 has joined #ocaml
shinnya has quit [Ping timeout: 256 seconds]
lopex has joined #ocaml
orbifx1 has joined #ocaml
tane_ has joined #ocaml
tarptaeya has joined #ocaml
gikiam has joined #ocaml
<gikiam>
Hey hey
orbifx1 has quit [Ping timeout: 240 seconds]
zolk3ri has joined #ocaml
leah2 has quit [Ping timeout: 256 seconds]
leah2 has joined #ocaml
gems has joined #ocaml
<gems>
Hey!
jnavila has quit [Ping timeout: 268 seconds]
xfbs has joined #ocaml
tarptaeya has quit [Quit: Leaving]
jnavila has joined #ocaml
xfbs has quit []
gems has quit [Quit: Page closed]
nomicflux has joined #ocaml
letoh has quit [Ping timeout: 256 seconds]
tarptaeya has joined #ocaml
Guest11776 is now known as Haudegen
nomicflux has quit [Quit: nomicflux]
jnavila has quit [Ping timeout: 248 seconds]
spew has joined #ocaml
spew has quit [Ping timeout: 256 seconds]
nomicflux has joined #ocaml
jnavila has joined #ocaml
webshinra has quit [Remote host closed the connection]
spew has joined #ocaml
webshinra has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
nomicflux has quit [Quit: nomicflux]
nomicflux has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
spew has joined #ocaml
nomicflux has quit [Quit: nomicflux]
slash^ has quit [Ping timeout: 265 seconds]
letoh has joined #ocaml
nomicflux has joined #ocaml
tarptaeya has quit [Quit: Leaving]
<aantron>
dmbaturin: Lwt stack traces used to work with the PPX, not sure about now. i'm actually working on this this weekend or at the beginning of next week. it's the most requested Lwt feature at this point
cranmax has joined #ocaml
jnavila has joined #ocaml
nomicflux has quit [Quit: nomicflux]
govg has quit [Ping timeout: 256 seconds]
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
ziyourenxiang has quit [Ping timeout: 264 seconds]
nomicflux has joined #ocaml
<cranmax>
Hi every one, I have some python code that uses arrays to do the same numerical calculations that I do in an excel Spreadsheet. I want to rewrite the code in OCaml, What container I may use? Arrays, bigarrays, lists... Or maybe using Lacaml library. Thanks in advance
<companion_cube>
maybe give a try to Owl
<companion_cube>
it's higher level than lacaml I think
<companion_cube>
numerical libs all use bigarrays underneath
<octachron>
but then it depends a lot on what numerical computation means, if you need linear algebra Owl is probably a good idea, if you are doing "simple" computation, array might be enough
Anarchos has joined #ocaml
<cranmax>
I do simple computations
<octachron>
If you were not using numpy in python, array may be a good start
nomicflux has quit [Quit: nomicflux]
<cranmax>
Yes I use it, because the majority of stackoverflow questions are solved in numpy
<octachron>
then Owl will be closer to numpy than raw array in term of features and interface
<cranmax>
Ok Thanks companion_cube, octachron
zolk3ri has quit [Ping timeout: 248 seconds]
silver has quit [Read error: Connection reset by peer]
zolk3ri has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
nylar has joined #ocaml
nylar has quit [Quit: Lost terminal]
mbuf has joined #ocaml
Anarchos has joined #ocaml
sh0t has joined #ocaml
mbuf has quit [Quit: Leaving]
sz0 has quit [Quit: Connection closed for inactivity]
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
nomicflux has joined #ocaml
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
sonologico has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
nomicflux has quit [Quit: nomicflux]
mk9 has joined #ocaml
jack5638 has quit [Ping timeout: 260 seconds]
jack5638 has joined #ocaml
Haudegen has joined #ocaml
nomicflux has joined #ocaml
nomicflux has quit [Quit: nomicflux]
nomicflux has joined #ocaml
isd has joined #ocaml
nomicflux has quit [Client Quit]
tane_ has quit [Quit: Leaving]
webshinra has quit [Ping timeout: 255 seconds]
webshinra has joined #ocaml
argent_smith has quit [Quit: Leaving.]
argent_smith has joined #ocaml
BitPuffin has quit [Remote host closed the connection]
cranmax has quit [Quit: Connection closed for inactivity]
ygrek has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
gem has joined #ocaml
argent_smith has quit [Quit: Leaving.]
moei has joined #ocaml
gem has quit [Remote host closed the connection]
bmgxc9 has joined #ocaml
bmgxc9 has quit [Max SendQ exceeded]
ygrek has quit [Ping timeout: 256 seconds]
cbot has joined #ocaml
jimmyrcom has joined #ocaml
bmgxc9 has joined #ocaml
bmgxc9 has quit [Max SendQ exceeded]
clog has quit [Ping timeout: 248 seconds]
dedgrant has quit [Ping timeout: 256 seconds]
jnavila has quit [Ping timeout: 276 seconds]
demonimin has quit [Ping timeout: 256 seconds]
pierpa has joined #ocaml
ome has joined #ocaml
shinnya has joined #ocaml
Haudegen has quit [Remote host closed the connection]