wtetzner has quit [Remote host closed the connection]
zirman has joined #ocaml
ryanartecona has joined #ocaml
zirman has quit [Ping timeout: 250 seconds]
ryanartecona has quit [Ping timeout: 268 seconds]
fraggle_ has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
fraggle_ has joined #ocaml
trepta has quit [Ping timeout: 258 seconds]
<Drup>
In the category "wow, that's a thing": Roberto Di Cosmo wrote a book about type isomorphism which gives an efficient algorithm to find out if an ML type matches another one up to unification and some simple isomorphism (swap arguments, etc), and Jérôme Vouillon implemented that for Caml Light. The book was published in 1995.
<Drup>
So, the solution to the crappy matching algorithm in OCamlOScope was written 20 years ago =')
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
nomicflux has quit [Quit: nomicflux]
malc_ has joined #ocaml
Algebr` has quit [Ping timeout: 265 seconds]
mfp has quit [Ping timeout: 250 seconds]
moei has quit [Quit: Leaving...]
jao has joined #ocaml
moei has joined #ocaml
wtetzner has joined #ocaml
zirman has joined #ocaml
zirman has quit [Client Quit]
zirman has joined #ocaml
zirman has quit [Changing host]
zirman has joined #ocaml
yegods has quit [Remote host closed the connection]
zirman has quit [Remote host closed the connection]
noddy has joined #ocaml
mcc has quit [Quit: Connection closed for inactivity]
maattdd has joined #ocaml
maattdd has quit [Ping timeout: 246 seconds]
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Remote host closed the connection]
nomicflux has joined #ocaml
wtetzner has quit [Remote host closed the connection]
jao has quit [Ping timeout: 250 seconds]
noddy has quit [Ping timeout: 268 seconds]
nomicflux has quit [Quit: nomicflux]
ziyourenxiang has joined #ocaml
zirman has joined #ocaml
nomicflux has joined #ocaml
zirman has quit [Ping timeout: 265 seconds]
nomicflux has quit [Quit: nomicflux]
pierpa has quit [Ping timeout: 248 seconds]
Sorella has quit [Quit: Connection closed for inactivity]
tmtwd has joined #ocaml
scitesy has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 260 seconds]
danieltornabene has joined #ocaml
ryanartecona has joined #ocaml
ryanartecona has quit [Ping timeout: 256 seconds]
larhat has joined #ocaml
demonimin has joined #ocaml
ygrek_ has quit [Ping timeout: 250 seconds]
ra4king has left #ocaml ["Leaving"]
yaewa has joined #ocaml
moei has quit [Ping timeout: 250 seconds]
<jerith>
For the first time in *ages* I the time to write some OCaml code and a suitable excuse.
<adrien>
ygrek_: I just saw your work on ocaml for termux, it's really a great thing :)
<adrien>
ygrek_: I'm also curious as to the phone you use since you seem to be able to use aarch64
<adrien>
(I am able to use it too btw: oneplus 3t)
<flux>
oh there's ocaml for termux?
<dmbaturin>
What's termux?
<flux>
a debian environment for Android with a terminal
demonimin_ has joined #ocaml
<dmbaturin>
Interesting.
<flux>
I usually use sshd there in my sorry non-jailbroken android.
<dmbaturin>
My phone can't even be rooted. If anyone knows about it, my nerd cred will be ruined. ;)
<flux>
which phone is that?
<flux>
"nokia 5510"
<dmbaturin>
Some cheap samsung. I needed emergency replacement when my symbian phone died beyond repair, and I went for the only thing in the store that could fit in my pocket because I seriously don't feel like hacking my pants or jackets to make room for a typical oversized phone of these days.
demonimin has quit [Ping timeout: 265 seconds]
<ygrek_>
adrien, it is nexus 5x
zirman has quit [Remote host closed the connection]
<adrien>
ok, thanks :)
<adrien>
and re termux, my use for it has mostly been to rsync music to the phone over wifi since MTP is too painful for file transfers
<adrien>
at which point a colleague told me he was sad not to be able to install unison
<dmbaturin>
Anyway, if I want to use ocaml-protoc for compiling protobuf a schema, what's the best way to add it to oasis/ocamlbuild as a build step?
jnavila has quit [Ping timeout: 260 seconds]
ygrek_ has quit [Ping timeout: 265 seconds]
yegods has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
tmtwd has joined #ocaml
maattdd has joined #ocaml
infinity0 has quit [Remote host closed the connection]
malina has joined #ocaml
maattdd has quit [Ping timeout: 260 seconds]
wtetzner has joined #ocaml
infinity0 has joined #ocaml
jnavila has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
infinity0 has quit [Remote host closed the connection]
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
infinity0 has joined #ocaml
yegods has quit [Remote host closed the connection]
noddy has quit [Ping timeout: 248 seconds]
infinity0 has quit [Remote host closed the connection]
yegods has joined #ocaml
infinity0 has joined #ocaml
malina has quit [Ping timeout: 258 seconds]
yegods has quit [Remote host closed the connection]
kakadu has joined #ocaml
jnavila has quit [Ping timeout: 256 seconds]
nomicflux has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
yegods has joined #ocaml
yegods has quit [Client Quit]
malina has joined #ocaml
noddy has joined #ocaml
demonimin_ has quit [Quit: No Ping reply in 180 seconds.]
demonimin has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
lopex has joined #ocaml
jao has quit [Ping timeout: 265 seconds]
_whitelogger has joined #ocaml
rgrinberg has joined #ocaml
infinity0 has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
malina has quit [Ping timeout: 260 seconds]
infinity0 has joined #ocaml
trepta has quit [Ping timeout: 256 seconds]
noddy has quit [Ping timeout: 268 seconds]
tmtwd has quit [Ping timeout: 264 seconds]
<ygrek_>
adrien, lwt doesn't function properly there so it needs more work
<rgrinberg>
Is there a quick and easy way to lex ocaml source? I tried using Genlex but it doesn't work on type signatures.
<Drup>
rgrinberg: use the ocaml lexer ?
<rgrinberg>
Is that available as a library?
<Drup>
sure, compiler-libs, as usual
jao has joined #ocaml
<adrien>
ygrek_: the nice thing is that the work is probably the same as plain android would require
<rgrinberg>
Oh yes. I always forget about that one :P
freusque has quit [Ping timeout: 260 seconds]
<Drup>
(the module is called "Lexer", very originally)
<rgrinberg>
compiler-libs is the only lib that's allowed these intrusive names :)
<rgrinberg>
Drup: are you excited to see jsc's web stack in 2017?
<dmbaturin>
ygrek_: Would you mind merging a patch for getgrouplist() support into extunix Specific?
<Drup>
rgrinberg: woaw, I have absolutely no idea
<Drup>
I wasn't even aware we had one
<Drup>
oh, that's probably danny then
<dmbaturin>
It should be outsourced to an AI app running in ocsigen. ;)
<ygrek_>
dmbaturin, of course
malina has joined #ocaml
<dmbaturin>
ygrek_: Ok, I'll proceed with it then. I only really care about linux and freebsd myself, though I should check if netbsd and openbsd have it the same. Solaris got it recently but opensolaris did not.
<dmbaturin>
I'm also a bit bothered by the gid_t vs int distinction, do you think the gid should just be int in the ocaml type signature?
<rgrinberg>
Drup: did you end up reaching an understanding about incremental vs react with yminsky?
<rgrinberg>
I recall you had some discussion on slack
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
ygrek_ has quit [Ping timeout: 246 seconds]
<Drup>
rgrinberg: we agree that the two are different and are appropriate for different things. And by "we agree", I mean that he never looked at eliom's reactive dom closely and never tried it, and I consider the shortcommings of incremental (hi dependency towards core non-kernel) not even worth bothering with
gpietro has quit [Ping timeout: 268 seconds]
<Drup>
the two approaches consider modularity in a diametraly different way, though.
average has quit [Remote host closed the connection]
gpietro has joined #ocaml
<Drup>
(with eliom, you get encapsulation of signals inside your GUI elements, so that you can reason about each GUI elements with their own reactivity independently. With incremental, you write your rendering in a pure way and the embed your whole code in a monad and)
<rgrinberg>
I think incremental depends on core_kernel now. I'd hope that switches over to base eventually... Although if I'm looking for small binaries I wouldn't deal with that stuff.
<rgrinberg>
I thought yaaron had a point with reactivity being a separate layer. But it seems like you've said that doesn't end up as more modular