adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
oni-on-ion has quit [Ping timeout: 245 seconds]
oni-on-ion has joined #ocaml
jao has quit [Remote host closed the connection]
jao has joined #ocaml
jao has quit [Ping timeout: 258 seconds]
nullifidian_ has joined #ocaml
nullifidian has quit [Ping timeout: 265 seconds]
_whitelogger has joined #ocaml
slash has quit [Ping timeout: 240 seconds]
mahmudov has quit [Remote host closed the connection]
Hrundi_V_Bakshi has quit [Ping timeout: 265 seconds]
twopoint718 has joined #ocaml
<rgrinberg> Leonidas i thin this is one of those cases where it's not so obvious what is the cause and what is the effect. Everyone in the community is quite careful to make sure Lwt stays working
tormen_ has joined #ocaml
twopoint718 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
tormen has quit [Ping timeout: 268 seconds]
mfp has quit [Ping timeout: 265 seconds]
twopoint718 has joined #ocaml
dborisog_ has joined #ocaml
nullifidian__ has joined #ocaml
nullifidian_ has quit [Read error: Connection reset by peer]
ziyourenxiang has quit [Quit: Leaving]
twopoint718 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FreeBirdLjj has joined #ocaml
ziyourenxiang has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
stux|RC-only has quit [Ping timeout: 260 seconds]
stux|RC-only has joined #ocaml
nicolaus has joined #ocaml
nullifidian__ has quit [Read error: Connection reset by peer]
nullifidian__ has joined #ocaml
nicolaus_ has joined #ocaml
<nicolaus_> quite
nicolaus_ has quit [Client Quit]
nicolaus has quit [Quit: leaving]
nicolaus has joined #ocaml
wingsorc has quit [Ping timeout: 248 seconds]
gravicappa has joined #ocaml
narimiran has joined #ocaml
gravicappa has quit [Ping timeout: 258 seconds]
no-n has joined #ocaml
ygrek has joined #ocaml
barockobamo has joined #ocaml
oni-on-ion has quit [Quit: Quit]
nullifidian_ has joined #ocaml
nullifidian__ has quit [Ping timeout: 268 seconds]
ArthurStrong has joined #ocaml
ArthurStrong has quit [Quit: leaving]
dhil has joined #ocaml
bartholin has quit [Quit: Leaving]
jao has joined #ocaml
jao is now known as Guest61074
Guest61074 has quit [Remote host closed the connection]
jao- has joined #ocaml
FreeBirdLjj has joined #ocaml
jao- has quit [Remote host closed the connection]
jao` has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
leah2 has quit [Ping timeout: 252 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
leah2 has joined #ocaml
leah2 has quit [Client Quit]
leah2 has joined #ocaml
Serpent7776 has joined #ocaml
mfp has joined #ocaml
ggole has joined #ocaml
ruffy_ has quit [Quit: WeeChat 2.5]
slash has joined #ocaml
gravicappa has joined #ocaml
dreadedfrog has joined #ocaml
<haesbaert> heya, I need a symbol for "is contained" basically s_point_at_square pt sqt -> bool
<haesbaert> I bet there is a common symbol people use for that
<haesbaert> I want to be able to write if pt SYMBOL_IS_CONTAINED square
<haesbaert> if bla in set
<haesbaert> p C set
<dreadedfrog> ∈ ?
<haesbaert> something ascii
<hannes> haesbaert: \in ?
<haesbaert> ohhh
<haesbaert> can I use \ ?
<hannes> .oO(that's ascii and latex)
<hannes> oops, I suspect not in OCaml code
<haesbaert> I assumed there was a symbol everyone used for that, like >>= for monadic stuff
<haesbaert> since it's kinda a common pattern I think
<vbmithr> companion_cube: yes
<vbmithr> thanks for the patch.
FreeBirdLjj has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
nicolaus has quit [Quit: Lost terminal]
leah2 has quit [Ping timeout: 248 seconds]
nullifidian__ has joined #ocaml
count3rmeasure has joined #ocaml
nullifidian_ has quit [Read error: Connection reset by peer]
leah2 has joined #ocaml
dhil has joined #ocaml
<companion_cube> ✔
AnimalClatter has joined #ocaml
<Leonidas> I think the OCaml way is to call it `mem` ;-)
barockobamo has quit [Remote host closed the connection]
barockobamo has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
dhil has joined #ocaml
vicfred has quit [Quit: Leaving]
mononote has left #ocaml ["Leaving"]
mononote has joined #ocaml
stux|RC-- has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
ziyourenxiang has quit [Ping timeout: 240 seconds]
stux|RC has quit [Ping timeout: 265 seconds]
dhil has quit [Ping timeout: 248 seconds]
smazga has joined #ocaml
twopoint718 has joined #ocaml
count3rmeasure has quit [Quit: Leaving]
dreadedfrog has quit [Ping timeout: 240 seconds]
mahmudov has joined #ocaml
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 268 seconds]
<mahmudov> ocaml-light is active project?
<mahmudov> related link seems dead, for relaeses.
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 260 seconds]
gareppa has joined #ocaml
stux|RC-- has quit [Quit: Aloha!]
stux|RC has joined #ocaml
AnimalClatter has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
kjak has quit [Ping timeout: 268 seconds]
TheLemonMan has joined #ocaml
sagax has quit [Ping timeout: 258 seconds]
dborisog_ has quit [Ping timeout: 240 seconds]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
barockobamo has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
nullifidian_ has joined #ocaml
nullifidian__ has quit [Ping timeout: 258 seconds]
slash has quit [Ping timeout: 260 seconds]
wingsorc has joined #ocaml
count3rmeasure has joined #ocaml
<companion_cube> it's pretty dead :D
decentpenguin has joined #ocaml
dreadedfrog has joined #ocaml
klntsky has quit [Remote host closed the connection]
klntsky has joined #ocaml
dreadedfrog has quit [Ping timeout: 258 seconds]
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 240 seconds]
nullifidian__ has joined #ocaml
dreadedfrog has joined #ocaml
nullifidian_ has quit [Ping timeout: 240 seconds]
ggole has quit [Quit: Leaving]
dreadedfrog has quit [Ping timeout: 268 seconds]
decentpenguin has quit [Quit: decentpenguin]
oni-on-ion has quit [Quit: Leaving]
Hrundi_V_Bakshi has joined #ocaml
oni-on-ion has joined #ocaml
gareppa has quit [Quit: Leaving]
dreadedfrog has joined #ocaml
oni-on-ion has quit [Client Quit]
oni-on-ion has joined #ocaml
dreadedfrog has quit [Ping timeout: 268 seconds]
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 265 seconds]
klntsky has quit [Ping timeout: 240 seconds]
klntsky has joined #ocaml
dreadedfrog has joined #ocaml
decentpenguin has joined #ocaml
dreadedfrog has quit [Ping timeout: 268 seconds]
oni-on-ion has quit [Quit: Leaving]
slash has joined #ocaml
bartholin has joined #ocaml
Anarchos has joined #ocaml
count3rmeasure has quit [Quit: Leaving]
<Leonidas> what's ocaml-light?
<companion_cube> :DDD
<companion_cube> it's the ancestor of OCaml (I mean, it's "caml-light", not ocaml-light, but anyway)
<companion_cube> almost exclusively used in french univ.
<companion_cube> and now they finally switched to OCaml afaik
slash has quit [Ping timeout: 265 seconds]
<mahmudov> just looked is there any minimal ocaml dist.
<mahmudov> for me ocaml places ~300mb
<companion_cube> my distro weights it at 220MB
<mahmudov> which one
<companion_cube> 4.09.0 on archlinux
<mahmudov> ocaml & ocaml-compiler-libs ?
<mahmudov> two package is installed?
<mahmudov> get sum of these.
<companion_cube> ah, this adds 101MB
<companion_cube> good point
<mahmudov> yes
gravicappa has quit [Ping timeout: 258 seconds]
<tsuyoshi_> 300 megs? what
<mahmudov> installed size of ocaml
<companion_cube> well, comes with manpages, cmti, etc.
<thizanne> and 84 Mb of .byte compiled programs
<thizanne> why do you need a lightweight distribution mahmudov ?
<tsuyoshi_> wow, much larger than I thought
<mahmudov> just curious to can we shrink
<companion_cube> thizanne: useful on raspi or small VPS?
<mahmudov> if we don't need some libs
<tsuyoshi_> "aptitude -R install ocaml" on debian gives me 87.6 megs
<companion_cube> but then in practice you need opam and it takes >1GB…
<mahmudov> yeah also it is point
<mahmudov> to minimise for embedded devices
<tsuyoshi_> do the embedded devices need to compile?
<tsuyoshi_> a compiled ocaml program doesn't need to be that big
<Armael> yeah it depends a lot if we're talking about a dev environment or a deployment one
<thizanne> companion_cube: useful for a lot of things I guess, each one probably having a different way to solve it
<Armael> but then you can just deploy a binary can't you
<mahmudov> ofc for dev environment
<mahmudov> ofc Armael
<companion_cube> Armael: as if cross compiling for ARM was super easy…
<mahmudov> agreed companion_cube
<Armael> mmm then you probably want all the debug info and the libraries
<companion_cube> (and statically linking, of course)
<Armael> dunno what you could remove
<thizanne> *.byte
<tsuyoshi_> I tried cross-compiling a hello-world program for my android phone once, it was not difficult
<thizanne> but then if you want a development environment then indeed the size of the compiler will be the least of your problems
<tsuyoshi_> but doing a real android app rather than a command line program maybe is difficult; I never tried
<companion_cube> tsuyoshi_: what did you use?
<tsuyoshi_> I seem to remember just installing a cross compiler package
<companion_cube> right, I don't see anything like that in opam though…
<companion_cube> because it's not like a normal OCaml program can be installed without opam these days
<tsuyoshi_> hmmm maybe I am misremembering and I did it with mlton
<mahmudov> also just wonder,if we want to go some minimal-
<mahmudov> e.g linux base image with ocaml installed..
<tsuyoshi_> it's not that difficult to just install a whole linux distribution onto an android phone, if cross compiling is too hard
<mahmudov> can think as base+devel(ocaml)
<tsuyoshi_> I guess other embedded things may be harder
decentpenguin has quit [Quit: decentpenguin]
<companion_cube> I guess you could have an ARM virtual machine
<companion_cube> a bit heavy handed, but probably more realistic than cross compiling as of now
tane has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
nullifidian__ has quit [Read error: Connection reset by peer]
nullifidian__ has joined #ocaml
oni-on-ion has joined #ocaml
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 268 seconds]
<tsuyoshi_> ocaml cross-toolchains for windows, android, and ios: https://github.com/ocaml-cross/opam-cross
slash has joined #ocaml
<companion_cube> good to know!
<companion_cube> (probably doesn't cover raspi tho)
narimiran has quit [Ping timeout: 240 seconds]
sagax has joined #ocaml
Serpent7776 has quit [Quit: leaving]
Hrundi_V_Bakshi has quit [Quit: No Ping reply in 180 seconds.]
Hrundi_V_Bakshi has joined #ocaml
mahmudov has quit [Ping timeout: 265 seconds]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
jao` has quit [Remote host closed the connection]
mahmudov has joined #ocaml
tane has quit [Quit: Leaving]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 265 seconds]
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 268 seconds]
twopoint718 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dreadedfrog has joined #ocaml
slash has quit [Ping timeout: 268 seconds]
dreadedfrog has quit [Ping timeout: 260 seconds]
slash has joined #ocaml
slash has quit [Ping timeout: 268 seconds]
Hrundi_V_Bakshi has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 240 seconds]
Haudegen has quit [Ping timeout: 265 seconds]
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 258 seconds]
ziyourenxiang has joined #ocaml