echo-area has quit [Remote host closed the connection]
toolslive has joined #ocaml
tg has quit [Ping timeout: 268 seconds]
echo-area has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 272 seconds]
toolslive has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
segmond has quit [Ping timeout: 246 seconds]
rgrinberg has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
emaphis has quit [Ping timeout: 250 seconds]
malc_ has joined #ocaml
segmond has joined #ocaml
rgrinberg has quit [Ping timeout: 265 seconds]
Haudegen has joined #ocaml
mcmillhj has quit [Ping timeout: 264 seconds]
mcmillhj has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
ely-se has joined #ocaml
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
prepor has joined #ocaml
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 240 seconds]
sternenseemann has quit [Quit: Changing server]
sternenseemann has joined #ocaml
sternenseemann has quit [Client Quit]
pyon has quit [Quit: Angels fall, all for you, heretic! Demon heart, bleed for us! (My soul is yours, Dark Master. I will fight for you.)]
sternenseemann has joined #ocaml
sternenseemann has quit [Client Quit]
pyon has joined #ocaml
uggwar_ has joined #ocaml
sternenseemann has joined #ocaml
freehck has joined #ocaml
ollehar has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
prepor has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
prepor has joined #ocaml
ril has joined #ocaml
ril is now known as ril[away]
ril[away] is now known as ril
kushal has quit [Quit: Leaving]
Kakadu has joined #ocaml
sternenseemann has left #ocaml [#ocaml]
larhat1 has quit [Quit: Leaving.]
mort___ has joined #ocaml
rand has joined #ocaml
ia0 has quit [Quit: leaving]
jonludlam has joined #ocaml
ia0 has joined #ocaml
FreeBird_ has joined #ocaml
rgrinberg has joined #ocaml
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
FreeBird_ has quit [Ping timeout: 272 seconds]
rgrinberg has quit [Ping timeout: 264 seconds]
jwatzman|work has joined #ocaml
_andre has joined #ocaml
libertas has joined #ocaml
prepor has quit [Ping timeout: 246 seconds]
echo-area has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
NitroGL has quit [Ping timeout: 260 seconds]
sepp2k has joined #ocaml
jonludlam has quit [Ping timeout: 260 seconds]
AlexRussia has joined #ocaml
pyon has quit [Quit: fix config]
pyon has joined #ocaml
jonludlam has joined #ocaml
Simn has joined #ocaml
Haudegen has quit [Ping timeout: 252 seconds]
emaphis has joined #ocaml
darkf_ is now known as darkf
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
Haudegen has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
freehck has quit [Ping timeout: 240 seconds]
echo-area has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 246 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
igoroliveira has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
freehck has joined #ocaml
ohama has quit [Ping timeout: 265 seconds]
ohama has joined #ocaml
MercurialAlchemi has joined #ocaml
NingaLeaf has quit [Quit: Leaving]
FreeBirdLjj has joined #ocaml
rand has quit [Ping timeout: 264 seconds]
rand has joined #ocaml
octachron has joined #ocaml
rgrinberg has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
tmtwd has joined #ocaml
echo-are` has joined #ocaml
python476 has quit [Ping timeout: 246 seconds]
struk|work has quit [Ping timeout: 246 seconds]
luigy has quit [Ping timeout: 250 seconds]
kandu has joined #ocaml
orbitz has joined #ocaml
ncthom91 has joined #ocaml
echo-area has quit [Ping timeout: 250 seconds]
low-prof1 has quit [Ping timeout: 250 seconds]
kandu is now known as Guest65722
jonludlam has quit [Ping timeout: 250 seconds]
luigy has joined #ocaml
orbitz_ has quit [Ping timeout: 250 seconds]
cschneid has quit [Ping timeout: 250 seconds]
jonludlam has joined #ocaml
cschneid has joined #ocaml
shinnya has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jonh has joined #ocaml
mort___ has quit [Quit: Leaving.]
<jonh>
hi
mort___ has joined #ocaml
Guest58 has joined #ocaml
tg has joined #ocaml
<orbitz>
jonh: hi
pierpa has joined #ocaml
slash^ has joined #ocaml
libertas has quit [Ping timeout: 260 seconds]
<companion_cube>
hoy
mort___ has quit [Quit: Leaving.]
Algebr has joined #ocaml
libertas has joined #ocaml
mort___ has joined #ocaml
kushal has joined #ocaml
Guest58 has quit [Ping timeout: 244 seconds]
rgrinberg has quit [Ping timeout: 260 seconds]
jeffmo has joined #ocaml
rgrinberg has joined #ocaml
<orbitz>
Anyone playing with the effects types stuff?
<companion_cube>
I'm interested, but it's too early for me
struk|desk has quit [Remote host closed the connection]
rand has quit [Quit: leaving]
struk|desk has joined #ocaml
ncthom91 has joined #ocaml
<orbitz>
companion_cube: Unfortuantely. I want to get away from the lwt/async question.
Algebr has quit [Ping timeout: 246 seconds]
<companion_cube>
yeah, it would also avoid rewriting Lwt_list and the likes
<Drup>
orbitz: then functorize
<Drup>
(or don't, and use one of themà
<Drup>
the other solutions are basically shot in the dark at this point
<orbitz>
Drup: which is still a pain in the ass given teh semantics aren't quit equal acros them.
<Drup>
that's why I said "don't"
<orbitz>
And given that the surface area of said lirbaries is large
<Drup>
I mean, do your intended use case really need to support both ?
<orbitz>
If I'm making generic software, it's not just about my usecase
<orbitz>
The other issue is I don't really like Lwt or Async that much so I'm ready to move onto something else :)
shinnya has quit [Ping timeout: 240 seconds]
mort___ has quit [Quit: Leaving.]
mort___ has joined #ocaml
ely-se has quit [Quit: leaving]
<jonh>
(new to ocaml) are there any community websites that would hold value to someone starting out like "these are popular useful libraries for doing thing X" and such
FreeBird_ has quit [Remote host closed the connection]
netrobyatmobile has quit [Quit: Connection closed for inactivity]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zpe has quit [Remote host closed the connection]
python476 has joined #ocaml
low-prof1 has joined #ocaml
rand has joined #ocaml
jave_ has joined #ocaml
malex has quit [Disconnected by services]
malex_ has joined #ocaml
malex_ is now known as malex
Mercuria1Alchemi has joined #ocaml
Cypi_ has joined #ocaml
dmbaturin_ has joined #ocaml
cross_ has joined #ocaml
jrslepak_ has joined #ocaml
bugabinga has joined #ocaml
Leonidas_ has joined #ocaml
Leonidas has quit [Disconnected by services]
Leonidas_ is now known as Leonidas
darkf_ has joined #ocaml
pacmann has joined #ocaml
fds_ has joined #ocaml
adrien_z- has joined #ocaml
Asmadeus has quit [Ping timeout: 264 seconds]
fluter has quit [Ping timeout: 264 seconds]
strmpnk_ has joined #ocaml
i0sys has joined #ocaml
Fleurety_ has joined #ocaml
darkf has quit [Ping timeout: 240 seconds]
fluter has joined #ocaml
Guest38 has joined #ocaml
MercurialAlchemi has quit [*.net *.split]
flasheater has quit [*.net *.split]
cross has quit [*.net *.split]
strmpnk has quit [*.net *.split]
jave has quit [*.net *.split]
sspi has quit [*.net *.split]
adrien_znc has quit [*.net *.split]
andreypopp has quit [*.net *.split]
iosys has quit [*.net *.split]
Cypi has quit [*.net *.split]
Fleurety has quit [*.net *.split]
jrslepak has quit [*.net *.split]
schoppenhauer has quit [*.net *.split]
dmbaturin has quit [*.net *.split]
cantstanya has quit [*.net *.split]
fds has quit [*.net *.split]
lpaste has quit [*.net *.split]
i0sys is now known as iosys
lpaste_ has joined #ocaml
Asmadeus has joined #ocaml
cantstanya has joined #ocaml
Guest38 has quit [Read error: Connection reset by peer]
schoppenhauer has joined #ocaml
strmpnk_ is now known as strmpnk
jrslepak_ is now known as jrslepak
sspi has joined #ocaml
andreypopp has joined #ocaml
Fleurety_ is now known as Fleurety
jwatzman|work has quit [Quit: jwatzman|work]
mort___ has quit [Ping timeout: 246 seconds]
ril has joined #ocaml
Guest58 has joined #ocaml
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Algebr has joined #ocaml
luzie has quit [Remote host closed the connection]
ollehar1 has joined #ocaml
luzie has joined #ocaml
kushal has quit [Ping timeout: 240 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
jonludlam has quit [Ping timeout: 255 seconds]
kdas_ has joined #ocaml
dhil has joined #ocaml
zpe has joined #ocaml
kdas_ has quit [Ping timeout: 252 seconds]
zpe has quit [Remote host closed the connection]
darkf_ has quit [Quit: Leaving]
emaphis has quit [Ping timeout: 252 seconds]
emaphis has joined #ocaml
luzie has quit [Remote host closed the connection]
luzie has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
shinnya has joined #ocaml
Kakadu has quit [Quit: Page closed]
<companion_cube>
today I got really frustrated by the type system limitations :(
<companion_cube>
especially the lack of row variables, and the lack of HKT
<thizanne>
last time I got frustrated by the lack of HKT, I had to split a menhir file in several ones
<thizanne>
never again.
Guest58 has quit [Ping timeout: 240 seconds]
<ia0>
HKT is the reason why I switched to Haskell
<ia0>
row variables I never felt the need, do you have an example of what you want to achieve?
ollehar1 has quit [Ping timeout: 252 seconds]
ygrek_ has joined #ocaml
srax has quit [Ping timeout: 272 seconds]
srax has joined #ocaml
<companion_cube>
well, mostly using object or poly variants in phantom types
<companion_cube>
and I don't want to switch to haskell: packaging hell, lazyness, 800MB distribution...
<companion_cube>
and idris isn't really stable — not bootstraping — yet
Haudegen has quit [Ping timeout: 246 seconds]
rgrinberg has joined #ocaml
tmtwd has quit [Ping timeout: 252 seconds]
slash^ has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
dmbaturin_ is now known as dmbaturin
Guest58 has joined #ocaml
Kakadu has joined #ocaml
spip has joined #ocaml
spip has left #ocaml ["Konversation terminated!"]
<sgeisenh>
companion_cube: what do you mean by the lack of row variables? I haven't heard of this issue before. I thought that OCaml was lauded for handling row types correctly.
pyon has quit [Quit: Angels fall, all for you, heretic! Demon heart, bleed for us! (My soul is yours, Dark Master. I will fight for you.)]
pyon has joined #ocaml
_andre has quit [Quit: leaving]
hugomg has joined #ocaml
<S11001001>
sgeisenh: I'm not sure how to do them correctly is known yet
<companion_cube>
sgeisenh: it does, but you cannot manipulate row variables
<sgeisenh>
ah, I see what you're saying, now.
freehck has quit [Remote host closed the connection]
Lis has joined #ocaml
luzie has quit [Quit: WeeChat 1.4-dev]
luzie has joined #ocaml
luzie has quit [Client Quit]
demonimin has quit [Ping timeout: 240 seconds]
luzie has joined #ocaml
sgnb has quit [Ping timeout: 246 seconds]
sgnb` has joined #ocaml
dhil has quit [Ping timeout: 260 seconds]
ncthom91 has joined #ocaml
larhat1 has joined #ocaml
rgrinberg has quit [Ping timeout: 246 seconds]
tautologico has quit [Quit: Connection closed for inactivity]
ril has joined #ocaml
hugomg has quit [Quit: Leaving]
Guest58 has quit [Ping timeout: 255 seconds]
Guest58 has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jonludlam has joined #ocaml
JuggleTux has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 244 seconds]
^elyse^ has joined #ocaml
f[x] has joined #ocaml
ygrek_ has quit [Ping timeout: 260 seconds]
ollehar1 has joined #ocaml
<ollehar1>
test
<ollehar1>
can someone explain this type variable in a type-inference algorithm?
<ollehar1>
(** Type variable *)
<ollehar1>
and tvar =
<ollehar1>
| Unbound of id * level
<ollehar1>
| Link of ty
<ollehar1>
| Generic of id
<ollehar1>
what's link?
<Drup>
It's an alias
<ollehar1>
hm
<ollehar1>
type alias?
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ril has joined #ocaml
lobo has joined #ocaml
orbifx has joined #ocaml
<orbifx>
greetings all
jgjl has joined #ocaml
<^elyse^>
greetings orbifx
dhil has joined #ocaml
<orbifx>
hey ^elyse^
dhil has quit [Read error: Connection reset by peer]
<Kakadu>
orbifx: btw, have you tryed to compile latest lablqt from master? I got some strange errors and needed to reexecute oasis to update files and fix it....
<Kakadu>
No idea why it happens yet
Simn has quit [Quit: Leaving]
<orbifx>
kakadu: i need to figure out what the best way to build lablqt project is in general first. Need to make some progress with the project. Why do you have a separate `build` script next to the Makefile and not put it in there?
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<Kakadu>
I like Makefiles but most people don't
sepp2k has quit [Quit: Leaving.]
Guest58 has quit [Ping timeout: 240 seconds]
fluter has joined #ocaml
cschneid has joined #ocaml
jonludlam has quit [Remote host closed the connection]
<orbifx>
kakadu: is it mandatory to have ApplicationWindow in the QML? My app is segfaulting at caml_run_QQmlApplicationEngine
rand has quit [Quit: leaving]
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<Kakadu>
yeah, caml_run_QQmlApplicationEngine requires QQuickWindow to be root object..
mac10688 has joined #ocaml
<Kakadu>
caml_loadQml should check which root object is loaded and return QQuickWindow for ApplicationWindow and QQuickView for Items
<orbifx>
where does this dependency stem from? some properties maybe?
<Kakadu>
> Unlike QQuickView, QQmlApplicationEngine does not automatically create a root window. If you are using visual items from Qt Quick, you will need to place them inside of a Window.