adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
ryanartecona has joined #ocaml
Simn has quit [Quit: Leaving]
ryanartecona has quit [Ping timeout: 264 seconds]
mcc has joined #ocaml
zirman has joined #ocaml
zirman has quit [Ping timeout: 258 seconds]
clockish has quit [Quit: bye]
clockish has joined #ocaml
johnelse has quit [Quit: leaving]
silver has quit [Quit: rakede]
ziyourenxiang has quit [Quit: Leaving]
wtetzner has joined #ocaml
rgrinberg has joined #ocaml
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.
nullcatxxx_ has joined #ocaml
yaewa has quit [Quit: Leaving...]
moei has joined #ocaml
Simn has joined #ocaml
zirman has joined #ocaml
<danieltornabene> tough crowd
<danieltornabene> it is christmas though, so *shrug*
* jeroud grins.
<jeroud> I wasn't expecting any kind of response at all. Since I so rarely do anything in OCaml, I tend to mention all of it in here.
zirman has quit [Ping timeout: 250 seconds]
<jeroud> (I'm jerith from my phone's IRC client.)
danieltornabene has quit [Quit: Page closed]
nullcatxxx_ has quit [Ping timeout: 265 seconds]
demonimin has quit [Ping timeout: 245 seconds]
freusque has joined #ocaml
tmtwd has quit [Ping timeout: 250 seconds]
ryanartecona has joined #ocaml
nullcatxxx_ has joined #ocaml
tmtwd has joined #ocaml
ryanartecona has quit [Ping timeout: 256 seconds]
nullcatxxx_ has quit [Ping timeout: 264 seconds]
maattdd has joined #ocaml
tmtwd has quit [Ping timeout: 264 seconds]
ygrek_ has joined #ocaml
nullcatxxx_ has joined #ocaml
jbrown has quit [Ping timeout: 256 seconds]
ygrek_ has quit [Ping timeout: 268 seconds]
nullcatxxx_ has quit [Ping timeout: 265 seconds]
nullcatxxx_ has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
malina has joined #ocaml
nullcatxxx_ has quit [Ping timeout: 260 seconds]
malina has quit [Ping timeout: 258 seconds]
maattdd has quit [Ping timeout: 256 seconds]
mfp has joined #ocaml
scitesy has quit [Ping timeout: 265 seconds]
<Leonidas> yes, AoC has triggered multiple solutions in OCaml
<Leonidas> it's good to see.
<Leonidas> I wanted to do a bit of code reviews, but unfortunately GitHub does not allow it that easily
snhmib has joined #ocaml
nullcatxxx_ has joined #ocaml
djellemah has quit [Ping timeout: 245 seconds]
silver has joined #ocaml
d0nn1e has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
d0nn1e has joined #ocaml
bluebell_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
ryanartecona has joined #ocaml
jbrown has joined #ocaml
larhat1 has joined #ocaml
ryanartecona has quit [Ping timeout: 264 seconds]
nullcatxxx_ has quit [Ping timeout: 248 seconds]
nullcatxxx_ has joined #ocaml
larhat1 has quit [Quit: Leaving.]
nullcatxxx_ has quit [Ping timeout: 268 seconds]
nullcatx_ has joined #ocaml
nullcatx_ has quit [Client Quit]
<jerith> Leonidas: I'd very much appreciate some review on mine if you're interested.
bluebell_ has left #ocaml [#ocaml]
<jerith> I think the best way to do it would be for me to make a new branch and open a pull request from master into that branch.
myst|fon has joined #ocaml
maattdd has joined #ocaml
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
maattdd has quit [Ping timeout: 248 seconds]
ryanartecona has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
ryanartecona has quit [Ping timeout: 268 seconds]
<jerith> Leonidas: https://github.com/jerith/adventofcode-2016/pull/1 should be about as easy to review as any biggish chunk of code in github.
<jerith> Assuming you wish to do so. I'd very much appreciate it, but you're under no obligation. :-)
jbrown has quit [Ping timeout: 260 seconds]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
djellemah has joined #ocaml
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
malina has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 258 seconds]
shinnya has joined #ocaml
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
malina has quit [Ping timeout: 268 seconds]
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
Sorella has joined #ocaml
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
zirman has quit [Remote host closed the connection]
<Leonidas> jerith: that's a good idea. from a first glance it looks pretty good :-)
zirman has joined #ocaml
<jerith> Thanks. :-)
ryanartecona has joined #ocaml
infinity0_ has joined #ocaml
infinity0_ has joined #ocaml
infinity0 is now known as Guest56738
infinity0_ is now known as infinity0
Guest56738 has quit [Killed (karatkievich.freenode.net (Nickname regained by services))]
ryanartecona has quit [Ping timeout: 245 seconds]
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
infinity0 has quit [Remote host closed the connection]
yegods has joined #ocaml
infinity0 has joined #ocaml
yegods has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
nomicflux has joined #ocaml
nomicflux has quit [Quit: nomicflux]
noddy has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
wtetzner has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
averell has quit [Quit: .]
pierpa has joined #ocaml
maattdd has joined #ocaml
averell has joined #ocaml
wtetzner has quit [Remote host closed the connection]
jao has joined #ocaml
ziyourenxiang has quit [Quit: Leaving]
maattdd has quit [Ping timeout: 265 seconds]
trepta has joined #ocaml
nomicflux has joined #ocaml
malina has joined #ocaml
gpietro has joined #ocaml
djellemah has quit [Ping timeout: 264 seconds]
sh0t has quit [Ping timeout: 252 seconds]
malina has quit [Ping timeout: 248 seconds]
infinity0 has quit [Remote host closed the connection]
larhat has quit [Quit: Leaving.]
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
infinity0 has joined #ocaml
rgrinberg has joined #ocaml
jbrown has joined #ocaml
ygrek_ has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
nomicflux has quit [Quit: nomicflux]
ansiwen has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
ansiwen has joined #ocaml
jnavila has joined #ocaml
larhat has joined #ocaml
demonimin has joined #ocaml
jnavila has quit [Ping timeout: 256 seconds]
jnavila has joined #ocaml
<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?
<Drup> ?
larhat has quit [Quit: Leaving.]
<rgrinberg> who runs ocsigen's twitter btw?
freusque has joined #ocaml
<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
<Drup> rgrinberg: it doesn't in the opam repo
<rgrinberg> did you look at incremental_kernel? https://github.com/janestreet/incremental_kernel
average has joined #ocaml
<Drup> oh, better. Still to big, but better
malina has quit [Ping timeout: 250 seconds]
ryanartecona has joined #ocaml
ryanartecona has quit [Ping timeout: 265 seconds]
malina has joined #ocaml
tmtwd has joined #ocaml
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
tmtwd has quit [Quit: Leaving]
ygrek_ has joined #ocaml
<companion_cube> o/
nomicflux has quit [Quit: nomicflux]
infinity0 has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]
<vramana> Does anybody use spacemacs here? I have some syntax highlighting issues.
infinity0 has joined #ocaml
malina has quit [Quit: Throwing apples of Montserrat]
<ygrek_> dmbaturin, gid is int in Unix so should be the same
<ygrek_> and you don't need to check each OS manually, configure will take care of it
zirman has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 250 seconds]
zirman has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
rgrinberg has joined #ocaml
nomicflux has joined #ocaml
zirman has quit [Remote host closed the connection]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
<dmbaturin> ygrek_: I need to add it to discover.ml I suppose?
<dmbaturin> Just checked out the source and getting into it.
infinity0 has quit [Remote host closed the connection]
<ygrek_> yes, README has a checklist
infinity0 has joined #ocaml
<companion_cube> Drup: how about react vs vdom?