kakadu_ has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]
shinnya has joined #ocaml
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
infinity0 has quit [Killed (niven.freenode.net (Nickname regained by services))]
marsam has joined #ocaml
VermillionAzure has joined #ocaml
Haudegen has quit [Remote host closed the connection]
marsam has quit [Ping timeout: 252 seconds]
shinnya has quit [Ping timeout: 265 seconds]
solrize has joined #ocaml
marsam has joined #ocaml
moei has quit [Quit: Leaving...]
mfp has quit [Ping timeout: 248 seconds]
marsam has quit [Ping timeout: 272 seconds]
malina has quit [Remote host closed the connection]
jao has quit [Ping timeout: 264 seconds]
kalio has quit [Ping timeout: 248 seconds]
pierpa has quit [Quit: Page closed]
kalio has joined #ocaml
rostero has quit [Quit: Connection closed for inactivity]
KeyJoo has joined #ocaml
Jesin has quit [Quit: Leaving]
mbuf has joined #ocaml
arecacea1 has quit [Remote host closed the connection]
arecacea1 has joined #ocaml
Jesin has joined #ocaml
sz0 has joined #ocaml
<adrien>
nicoo: I don't like management bots I know basically nothing about
<nicoo>
Fair enough
TarVanimelde has joined #ocaml
<adrien>
companion_cube: how do you start ocabot in order to join here?
argent_smith has joined #ocaml
<adrien>
afaict, I'm still being banned by freenode (which is one of the reasons I don't like to depend on freenode for bans)
nicoo has quit [Remote host closed the connection]
jnavila has joined #ocaml
nicoo has joined #ocaml
zv has quit [Quit: WeeChat 1.9]
jnavila has quit [Ping timeout: 240 seconds]
TarVanimelde has quit [Quit: TarVanimelde]
maker has quit [Read error: Connection reset by peer]
andreas_ has joined #ocaml
littleli_ has quit []
maattdd has quit [Quit: WeeChat 2.0]
maattdd has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
zolk3ri has joined #ocaml
nore has quit [Quit: WeeChat 1.8]
jnavila has joined #ocaml
mfp has joined #ocaml
nore has joined #ocaml
nicoo has quit [Remote host closed the connection]
sh0t has joined #ocaml
nicoo has joined #ocaml
donflopez has joined #ocaml
donflopez has quit [Client Quit]
ziyourenxiang has joined #ocaml
silver has joined #ocaml
donflopez has joined #ocaml
_andre has joined #ocaml
mbuf has quit [Quit: Leaving]
shinnya has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
sh0t has quit [Ping timeout: 248 seconds]
jimmyrcom has quit [Ping timeout: 248 seconds]
<companion_cube>
I just specify the nick
<companion_cube>
it's all in systemd
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
andreas_ has quit [Quit: Connection closed for inactivity]
Guest74034 has joined #ocaml
rizo[m] has joined #ocaml
Guest74034 is now known as Haudegen
jao has joined #ocaml
donflopez has joined #ocaml
<companion_cube>
rgrinberg being complimented by whitequark, nice :D
<companion_cube>
(cross compilation towards which platforms, btw?)
<rgrinberg>
Whichever platforms you can get a cross compiler for :)
<companion_cube>
I have no idea what that would include :D
<companion_cube>
otoh, entirely static linking would be interesting
<rgrinberg>
So far that's iOS, Android, and windows. Those are the cross compilers whitequark setup
<rgrinberg>
Those are patched versions of 4.04 I believe
<rgrinberg>
Static linking is a different problem. At least on Linux. Just use musl and pass -static and you should be good.
<rgrinberg>
If you use docker it's also really easy to setup
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jao has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
<companion_cube>
yeah, but musl + flambda wasn't to be found last time I tried :(
<companion_cube>
(ah, also gmp doesn't provide a .a on my distro, so annoying)
shinnya has quit [Ping timeout: 248 seconds]
FreeBirdLjj has quit [Ping timeout: 248 seconds]
<rgrinberg>
companion_cube: this is why you need docker :/
<companion_cube>
yeah, I had this problem that the binary would have to run on a cluster with an old redhat, no docker
<companion_cube>
the solution is to ship .so files and ld.so…
<rgrinberg>
you only need docker for the build phase though, once you make the binary inside docker
<rgrinberg>
you can run it anywhere
<companion_cube>
you mean you can run the docker image anywhere, right?
<nicoo>
No
<rgrinberg>
companion_cube: nah, I mean that once you produce the binary in the container - it's statically linked and is fully portable. So just copy it out of your container and distribute freely
<companion_cube>
I'm not sure I see why the container is magical
<companion_cube>
it's still going to dynlink some stuff
<companion_cube>
(like libgmp.so)
<rgrinberg>
companion_cube: well you said that gmp doesn't provide .a on your distro, with a container you can select a base image that doesn't suffer such a problem
<GreyFaceNoSpace>
i want the function that i pass to fold_left to add a pair (c,b) to the list which fold_left will return
rostero has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
<lyxia>
GreyFaceNoSpace: what goes wrong?
<GreyFaceNoSpace>
lyxia, i was using fold_left instead of fold_right
<GreyFaceNoSpace>
:D
marsam has joined #ocaml
donflopez has joined #ocaml
okeuday_bak has joined #ocaml
maattdd has quit [Ping timeout: 260 seconds]
<okeuday_bak>
Hi, anyone know why Num was removed from core OCaml without providing a replacement? (I understand Zarith exists outside of the OCaml distribution) Is Zarith not considered good enough or portable enough?
maattdd has joined #ocaml
<okeuday_bak>
(in 4.06)
<Fardale>
okeuday_bak: it has been move to a separate package in opam
<Fardale>
If I understand correctly
<okeuday_bak>
Fardale: yes, but that removes bignum support from the OCaml language, if you want to have a minimal set of dependences
<Drup>
okeuday_bak: zarith has always been better
<companion_cube>
zarith is not maintained by the OCaml developers, so they want to minimize what they officially support
<Drup>
it was more of a license issue
<okeuday_bak>
Ok, that makes sense
marsam has quit [Ping timeout: 272 seconds]
<okeuday_bak>
Drup: what is the license issue, I thought Num/Zarith are LGPL
FreeBirdLjj has joined #ocaml
<Drup>
Zarith binds to GMP, which used to have a fairly delicate licensing situation
<okeuday_bak>
Drup: ok, yeah, since that is GPL and could be GPLv3 only
<okeuday_bak>
thanks, just wanted to check to understand this more
<Drup>
but yeah, you should pretty much always use GMP if license is not an issue
<Drup>
zarith*
<Drup>
it's more efficient, the API is better
<okeuday_bak>
Drup: ok, cool
<Drup>
(there is the question about portability to js though)
<okeuday_bak>
hehe, not concerned about that
FreeBirdLjj has quit [Ping timeout: 240 seconds]
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
malc_ has joined #ocaml
FreeBirdLjj has joined #ocaml
<GreyFaceNoSpace>
hello...i am new to ocaml and i am having trouble implementing some stuff. for instance i want to filter one list from the values of another list. can someone help me?
<malc_>
GreyFaceNoSpace: you want to have a union, so to speak, of two lists?
<GreyFaceNoSpace>
i want the compliment of a union of two lists
<GreyFaceNoSpace>
example: l1 = [1;2;3] l2 = [1;2] result would be [3]
<GreyFaceNoSpace>
so im filtering the values of l2 from l1
<malc_>
GreyFaceNoSpace: gotcha
<GreyFaceNoSpace>
so how i can i do that?
<GreyFaceNoSpace>
i wanted to use List.filter
<GreyFaceNoSpace>
but couldn't write an appropriate function for the filtering
<malc_>
GreyFaceNoSpace: # let complunion l1 l2 = List.filter (fun e -> not @@ List.mem e l2) l1;;
<malc_>
val complunion : 'a list -> 'a list -> 'a list = <fun>
<malc_>
# complunion [1;2;3] [1;2];;
<malc_>
- : int list = [3]
<malc_>
<GreyFaceNoSpace>
oh
<GreyFaceNoSpace>
thanks! :D
sh0t has quit [Remote host closed the connection]
jao has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
KeyJoo has quit [Ping timeout: 252 seconds]
KeyJoo has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jao has quit [Remote host closed the connection]
GreyFaceNoSpace has quit [Quit: Ex-Chat]
donflopez has joined #ocaml
jao has joined #ocaml
tg has quit [Read error: Connection reset by peer]
tg has joined #ocaml
kakadu has joined #ocaml
marsam has joined #ocaml
<argent_smith>
does anybody know: is there any tag to specify -ppxopt parameter?
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
marsam has quit [Remote host closed the connection]
donflopez has quit [Ping timeout: 240 seconds]
pierpa has joined #ocaml
_andre has quit [Ping timeout: 248 seconds]
jao has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
mengu has joined #ocaml
_andre has joined #ocaml
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
mengu has quit [Remote host closed the connection]
leah2 has quit [Ping timeout: 272 seconds]
mengu has joined #ocaml
leah2 has joined #ocaml
mengu has quit [Remote host closed the connection]