00:07
jao has joined #ocaml
00:09
ziyourenxiang has quit [Ping timeout: 245 seconds]
00:09
Henry1512 has joined #ocaml
00:12
Henry1512 has quit [Remote host closed the connection]
00:24
edumass12 has joined #ocaml
00:25
edumass12 has quit [Remote host closed the connection]
00:25
thomas_scrace has joined #ocaml
00:29
thomas_scrace has quit [Ping timeout: 246 seconds]
00:43
suraeNoether21 has joined #ocaml
00:43
jao has quit [Ping timeout: 272 seconds]
00:45
suraeNoether21 has quit [Remote host closed the connection]
00:59
\malex\3 has joined #ocaml
01:00
ibnfirnas has quit [*.net *.split]
01:00
leah2 has quit [*.net *.split]
01:00
ruffy_ has quit [*.net *.split]
01:00
hannes has quit [*.net *.split]
01:00
tizoc has quit [*.net *.split]
01:00
tsani has quit [*.net *.split]
01:00
sheijk_ has quit [*.net *.split]
01:00
tizoc has joined #ocaml
01:00
hannes has joined #ocaml
01:00
ibnfirnas_ has joined #ocaml
01:01
ruffy_ has joined #ocaml
01:01
\malex\3 has quit [Read error: Connection reset by peer]
01:01
sheijk has joined #ocaml
01:01
leah2 has joined #ocaml
01:03
tsani has joined #ocaml
01:19
silver has quit [Read error: Connection reset by peer]
01:23
mfp has quit [Ping timeout: 252 seconds]
01:28
Jesin has quit [Quit: Leaving]
01:29
erkin has joined #ocaml
01:33
ebx1000 has quit [Ping timeout: 245 seconds]
01:38
ideopathic has joined #ocaml
01:40
ideopathic has quit [Remote host closed the connection]
01:50
malina has quit [Remote host closed the connection]
02:19
StolenToast8 has joined #ocaml
02:24
StolenToast8 has quit [Remote host closed the connection]
02:25
thomas_scrace has joined #ocaml
02:30
thomas_scrace has quit [Ping timeout: 246 seconds]
02:54
tormen has joined #ocaml
02:57
tormen_ has quit [Ping timeout: 245 seconds]
03:03
jack5638 has quit [Ping timeout: 250 seconds]
03:09
jack5638 has joined #ocaml
03:10
roygbiv has joined #ocaml
03:18
neatonk has quit [Ping timeout: 240 seconds]
03:22
jbrown has quit [Ping timeout: 252 seconds]
03:29
kleimkuhler has joined #ocaml
03:33
roygbiv has quit [Quit: ™]
03:52
erkin has quit [Remote host closed the connection]
03:59
bartholin has joined #ocaml
04:26
thomas_scrace has joined #ocaml
04:31
bartholin has quit [Remote host closed the connection]
04:31
thomas_scrace has quit [Ping timeout: 252 seconds]
04:43
pierpal has quit [Quit: Poof]
04:44
pierpal has joined #ocaml
05:04
pierpal has quit [Ping timeout: 260 seconds]
05:05
Fare has quit [Quit: Leaving]
05:24
thomas_scrace has joined #ocaml
05:29
thomas_scrace has quit [Ping timeout: 252 seconds]
05:39
kleimkuhler has quit [Quit: kleimkuhler]
05:47
Akii has joined #ocaml
05:52
Akii has quit [Remote host closed the connection]
06:00
Cypi has quit [Remote host closed the connection]
06:00
Cypi has joined #ocaml
06:27
sshine has left #ocaml [#ocaml]
06:35
TheLemonMan has joined #ocaml
06:36
yurug has joined #ocaml
07:09
sagotch has joined #ocaml
07:10
yurug has quit [Ping timeout: 252 seconds]
07:27
Haudegen has joined #ocaml
07:37
kakadu has joined #ocaml
07:51
jaar has joined #ocaml
08:08
noitakomentaja has joined #ocaml
08:43
<
Leonidas >
companion_cube: told you alcotest is cool :D
08:44
<
Leonidas >
reynir: t -> t -> bool
08:45
<
Leonidas >
I mean Yojson.Safe.json -> Yojson.Safe.json -> bool, because why use t when other names could also be used
08:55
jao has joined #ocaml
09:01
jao has quit [Ping timeout: 272 seconds]
09:01
thomas_scrace has joined #ocaml
09:08
vodkaInferno has quit [Read error: Connection reset by peer]
09:08
wickedshell has quit [Ping timeout: 250 seconds]
09:08
vodkaInferno has joined #ocaml
09:10
mfp has joined #ocaml
09:10
wickedshell has joined #ocaml
09:45
jmiven11 has joined #ocaml
09:48
jmiven11 has quit [Remote host closed the connection]
09:48
dakk has joined #ocaml
09:52
vodkaInferno has quit [Read error: Connection reset by peer]
09:53
thomas_scrace has quit [Ping timeout: 252 seconds]
09:58
thomas_scrace has joined #ocaml
10:07
ziyourenxiang has joined #ocaml
10:10
vodkaInferno has joined #ocaml
10:13
thomas_scrace has quit [Ping timeout: 260 seconds]
10:16
ebx1000 has joined #ocaml
10:21
noitakomentaja has quit [Ping timeout: 252 seconds]
10:23
sandman1316 has joined #ocaml
10:24
sandman1316 has quit [Read error: Connection reset by peer]
10:35
<
discord >
<rgrinberg> How would moving it to ocaml-community help anything?
10:41
yurug has joined #ocaml
10:46
vodkaInferno has quit [Read error: Connection reset by peer]
10:47
vodkaInferno has joined #ocaml
10:50
Abjectio0 has joined #ocaml
10:52
Abjectio0 has quit [Remote host closed the connection]
10:59
silver has joined #ocaml
11:17
thomas_scrace has joined #ocaml
11:18
sgnb has joined #ocaml
11:21
Haudegen has quit [Remote host closed the connection]
11:21
JyZyXEL4 has joined #ocaml
11:23
JyZyXEL4 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
11:23
<
Leonidas >
rgrinberg: Then I would have an incentive to create a PR and have a reasonable expectation of having it merged soon
11:24
<
Leonidas >
It is not like I am any better, I have lots of PRs I don't have time or interest for the moment, it is a general problem :|
11:26
apostolis has joined #ocaml
11:27
<
apostolis >
Hello, I am unable to install the zarith library with opam . (It cannot find clang-3.8)
11:28
<
apostolis >
I can install it from github, but when installing a package with opam , opam does not see the installed zirath.
11:49
yurug has quit [Ping timeout: 260 seconds]
11:54
Kelsar28 has joined #ocaml
11:56
Kelsar28 has quit [Remote host closed the connection]
12:00
<
Drup >
But zarith doesn't use nor need clang.
12:01
<
sgnb >
maybe on Mac OS X?
12:01
<
Armael >
I heard there was a xcode update a couple days ago that broke some stuff
12:01
<
Armael >
could it be that?
12:01
<
apostolis >
I am on Debian.
12:03
<
apostolis >
I actually have clang-3.8 on /usr/bin. Opam complains that I do not.
12:05
okuu has joined #ocaml
12:05
okuu has quit [Client Quit]
12:15
theglass has joined #ocaml
12:15
theglass has joined #ocaml
12:15
theglass has quit [Changing host]
12:17
thomas_scrace has quit [Ping timeout: 252 seconds]
12:18
<
thizanne >
apparently is does use clang if $CC is set to clang
12:20
thomas_scrace has joined #ocaml
12:24
neatonk has joined #ocaml
12:27
jrslepak has quit [Remote host closed the connection]
12:33
bartholin has joined #ocaml
12:43
pierpal has joined #ocaml
12:46
Haudegen has joined #ocaml
13:31
thomas_scrace has quit [Ping timeout: 245 seconds]
13:31
thomas_scrace has joined #ocaml
13:41
TGCFabian has joined #ocaml
13:45
TGCFabian has quit [Remote host closed the connection]
13:45
_andre has joined #ocaml
14:01
<
xvilka >
why Core.Filename.realpath returns an error on non-existing path
14:01
<
xvilka >
why not just resolve the path without checking the presence
14:03
<
theblatte >
you can't do that if there's a broken symlink in the way
14:10
L0j1k8 has joined #ocaml
14:13
L0j1k8 has quit [Remote host closed the connection]
14:28
yurug has joined #ocaml
14:33
JimmyRcom has joined #ocaml
14:34
nicoo has quit [Remote host closed the connection]
14:35
nicoo has joined #ocaml
14:36
vodkaInf1rno has joined #ocaml
14:38
vodkaInf1rno has quit [Remote host closed the connection]
14:44
<
Leonidas >
apostolis: stupid question but does /usr/bin/clang-3.8 exit?
14:44
<
Leonidas >
maybe debian calls it something else?
14:44
<
Leonidas >
oh, didn't read, disregard the noise
14:45
<
apostolis >
Yes. I changed the $CC from /usr/bin/clang-3.8 to gcc and it works.
14:46
<
Leonidas >
and installing fails in a sandbox because sandboxes don't nest apparently.
14:46
apostolis has quit [Quit: WeeChat 1.6]
14:48
ebx1000 has quit [Quit: Leaving]
14:54
ia0 has quit [Quit: leaving]
14:55
ia0 has joined #ocaml
15:05
yurug has quit [Ping timeout: 240 seconds]
15:09
jao has joined #ocaml
15:10
pierpal has quit [Ping timeout: 252 seconds]
15:21
hrybacki29 has joined #ocaml
15:22
hrybacki29 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
15:33
grenade8 has joined #ocaml
15:33
grenade8 has quit [Remote host closed the connection]
15:33
jbrown has joined #ocaml
15:35
jrslepak has joined #ocaml
15:36
ziyourenxiang has quit [Ping timeout: 272 seconds]
15:45
gareppa has joined #ocaml
15:48
Ahti33311 has joined #ocaml
15:49
Ahti33311 has quit [K-Lined]
15:51
sagotch has quit [Quit: Leaving.]
16:01
pierpal has joined #ocaml
16:08
pierpal has quit [Read error: Connection reset by peer]
16:18
gareppa has quit [Quit: Leaving]
16:26
JimmyRcom has quit [Ping timeout: 246 seconds]
16:27
Haudegen has quit [Remote host closed the connection]
16:59
KeyJoo has joined #ocaml
17:03
Welcome has joined #ocaml
17:05
Welcome has quit [Remote host closed the connection]
17:10
jnavila has joined #ocaml
17:11
ia0 has quit [Quit: leaving]
17:12
ia0 has joined #ocaml
17:15
thomas_scrace has quit [Ping timeout: 260 seconds]
17:17
yurug has joined #ocaml
17:17
elfets has joined #ocaml
17:23
ia0 has quit [Quit: leaving]
17:23
ia0 has joined #ocaml
17:25
elfets has quit [Ping timeout: 252 seconds]
17:27
jaar has quit [Quit: Leaving]
17:28
dakk has quit [Remote host closed the connection]
17:31
yurug has quit [Ping timeout: 240 seconds]
17:31
ohm27 has joined #ocaml
17:33
ohm27 has quit [Read error: Connection reset by peer]
17:33
yurug has joined #ocaml
17:40
zykotick9 has joined #ocaml
17:40
zykotick9 has quit [Remote host closed the connection]
17:52
jnavila has quit [Ping timeout: 252 seconds]
18:06
maarhart has joined #ocaml
18:08
maarhart has quit [Client Quit]
18:36
vadeen has joined #ocaml
18:40
<
tizoc >
Leonidas: can't you use opam init's '--disable-sandboxing' for the the test ?
18:43
<
Leonidas >
tizoc: oh, I didn't know there was that option. Thanks, I'll give it a try!
18:44
<
tizoc >
cool, I didn't know either, just found about it, I hope it works
18:54
kakadu has quit [Quit: Konversation terminated!]
18:57
vadeen has left #ocaml [#ocaml]
19:15
moei has joined #ocaml
19:18
pierpal has joined #ocaml
19:20
JimmyRcom has joined #ocaml
19:31
Denommus has joined #ocaml
19:40
orbifx has joined #ocaml
19:46
yurug has quit [Ping timeout: 252 seconds]
19:46
kakadu has joined #ocaml
19:55
thomas_scrace has joined #ocaml
20:10
sickolog1 has joined #ocaml
20:13
sickolog1 has quit [Remote host closed the connection]
20:16
JimmyRcom has quit [Ping timeout: 252 seconds]
20:22
bartholin has quit [Remote host closed the connection]
20:24
kleimkuhler has joined #ocaml
20:29
Fare has joined #ocaml
20:30
jnavila has joined #ocaml
20:36
<
Fare >
is there a "standard" function let transpose x y z = x z y just like flip in Haskell ?
20:36
thomas_scrace has quit [Ping timeout: 245 seconds]
20:36
<
Fare >
val transpose : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
20:39
<
Fare >
the T combinator from Schönfinkel
20:42
<
def` >
not in the standard library, it doesn't provide that kind of combinator
20:43
<
def` >
but janestreet Core library has Fn.flip
20:45
<
Fare >
Ok. I should probably call mine flip, and eventually use janestreet Core. Thanks!
20:46
<
Fare >
What about let zcompose : ('b -> 'c) -> ('a -> 'b) -> 'a -> 'c = fun x y z -> x (y z) ?
20:46
<
Fare >
(I don't know the name in Haskell; it's Schönfinkel's Z combinator)
20:46
<
companion_cube >
that sounds pretty unreadable ^^'
20:47
<
lyxia >
Control.Category.>>> in Haskell
20:47
<
lyxia >
oh no that's (.)
20:48
<
lyxia >
but with that style in ocaml you'll get bitten by the value restriction or strictness issues sooner or later
20:49
<
Fare >
lyxia: yeah, I often have to add variables for the typechecker to make things parametric.
20:49
hiroshi15 has joined #ocaml
20:49
<
def` >
this should improve when we get algebraic effects :P
20:50
<
Fare >
I want to use flip to borrow the bind from a lesser monad, as in x |> flip Lwt.bind f y z t
20:52
<
Fare >
does ocaml have an infix composition operator? I admit I like this left-to-right variant: let (>>) x y z = y (x z)
20:53
hiroshi15 has quit [Remote host closed the connection]
20:54
<
companion_cube >
nope
20:55
anton-trunov has joined #ocaml
21:04
orbifx has quit [Ping timeout: 240 seconds]
21:11
Fare has quit [Ping timeout: 260 seconds]
21:37
jnavila has quit [Ping timeout: 252 seconds]
21:40
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
21:43
kleimkuhler has quit [Quit: kleimkuhler]
21:46
kakadu has quit [Remote host closed the connection]
21:47
_andre has quit [Quit: leaving]
21:49
johnlage16 has joined #ocaml
21:50
johnlage16 has quit [Remote host closed the connection]
22:05
octachron has quit [Ping timeout: 252 seconds]
22:13
octachron has joined #ocaml
22:15
Fare has joined #ocaml
22:32
thomas_scrace has joined #ocaml
22:37
thomas_scrace has quit [Ping timeout: 246 seconds]
22:41
kvda has joined #ocaml
22:42
<
oni-on-ion >
what standard library should i choose
22:50
Denommus has quit [Remote host closed the connection]
22:52
<
copy` >
containers!
22:52
<
companion_cube >
\o/
22:54
<
emily >
but what standard library should
*i* choose?
22:54
<
Fare >
oni-on-ion, the janestreet one looks better maintained.
22:54
<
Fare >
oni-on-ion, it's not perfect, but still better maintained than the standard one.
22:55
<
companion_cube >
I think janestreet breaks things more often than containers, compatibility-wise, but I could be wrong
22:55
<
companion_cube >
they do have a nice uniform design
22:56
<
companion_cube >
so the biggest difference is: do you want to be compatible with the stdlib or not
22:58
thomas_scrace has joined #ocaml
22:59
<
companion_cube >
(as in having the same type for sets, maps, hashtables, etc.)
23:02
thomas_scrace has quit [Ping timeout: 252 seconds]
23:04
Fare has quit [Ping timeout: 252 seconds]
23:08
<
Leonidas >
oni-on-ion: Base :p
23:08
<
oni-on-ion >
Leonidas: default? =)
23:08
<
Leonidas >
oni-on-ion: no, Jane Street Base
23:08
<
oni-on-ion >
ahh. i thought that was Core
23:08
* oni-on-ion
confuse
23:08
<
Leonidas >
The compiler stdlib is next to unusable :/
23:09
<
Leonidas >
oni-on-ion: no, Core is the superset of Core_kernel which is the superset of Base (roughly)
23:09
<
oni-on-ion >
so jane st ?
23:09
<
oni-on-ion >
so jane st is called base, the stdlib
23:09
<
Leonidas >
opinions differ, that's just mine
23:09
<
oni-on-ion >
i'd take it.
23:09
<
Leonidas >
I've also used containers, that's nice too.
23:10
<
oni-on-ion >
containers base lib ?
23:11
<
oni-on-ion >
checkin
23:11
<
oni-on-ion >
erm lol i will digest when more awawke
23:11
<
Leonidas >
containers, batteries and extlib
*extend* the stdlib, base replaces it with a different one.
23:12
<
emily >
there's only two answers being given these days? ocaml has come a long way since I last tried using it...
23:12
<
oni-on-ion >
so should i replace or extend..
23:12
<
Leonidas >
emily: I used to like batteries but BatEnum broke the camels back for me.
23:12
<
emily >
Leonidas: I'm unfamiliar
23:13
<
emily >
(I remember using batteries briefly, but not much more; it was long ago.)
23:13
* Leonidas
used to be anti-Core because it does a lot of things "the jane street way"
23:14
ziyourenxiang has joined #ocaml
23:14
<
Leonidas >
but the more I was exposed to it the more I liked many of the choices
23:14
<
companion_cube >
Leonidas: for me it'd be BatIO :s
23:18
<
emily >
in all seriousness, I'd love links to up-to-date documents laying out this kind of tradeoff in library design/structure in the core library options, if any exist
23:19
neatonk has quit [Remote host closed the connection]
23:20
neatonk has joined #ocaml
23:21
<
Leonidas >
emily: that is a good point. I could maybe write a (probably biased) overview over the current state
23:21
<
companion_cube >
emily: you may want to read the rationale for containers and for base, I guess
23:22
<
companion_cube >
both strive to be more lightweight than the classic core or batteries, where they differ is more in style and relation to stdlib
23:22
<
Leonidas >
I suppose the motivation for both will be exactly identical ;-)
23:23
<
companion_cube >
not exactly, I wanted containers to be more modular :p (i.e each piece more or less independent, but relying on the stdlib)
23:23
<
emily >
yeah, containers vs. base is the primary thing I'm interested in
23:23
Profound28 has joined #ocaml
23:23
<
emily >
it's also not clear to me how the "modern" library ecosystem divides between them
23:24
<
companion_cube >
the good thing is the the ecosystem doesn't really have to be divided anymore
23:24
<
Leonidas >
neither of them is used by libraries
23:24
<
emily >
probably very beginner questions, I realise, I'm just so used to languages with only one standard library...
23:24
<
companion_cube >
everyone has the same `result` type, the same IOs (more or less… ignoring lwt/async)
23:25
Profound28 has quit [Killed (Unit193 (Spam is not permitted on freenode.))]
23:25
<
Leonidas >
emily: the problem is nobody wants to depend on one stdlib, because there are like… 4 or so.
23:26
<
Leonidas >
some very broadly agreed things have been sort of blessed into the official distribution :)
23:28
<
Leonidas >
(though the numbers for base are a bit inaccurate because many of the dependents are from jane street themselves, but also some depend on core which is essentially a superset of base)
23:30
<
Leonidas >
companion_cube: I see containers has sexp. Have you considered basing it upon sexplib0?
23:30
<
companion_cube >
meh, I don't want to break my own compatibility :/
23:31
<
companion_cube >
it uses poly variants for s-expressions
23:31
<
companion_cube >
from back when sexplib was super heavy and I didn't want to depend on it just for the `type t = Atom of string | List of t list`…
23:31
<
Leonidas >
haven't looked much into it, but it looked like providing the "shareable" subset of sexplib
23:32
<
companion_cube >
yeah but it's much more recent than my sexp parser
23:33
<
companion_cube >
I should probably move there, but that'd require a major version
23:33
jao has quit [Ping timeout: 252 seconds]
23:33
<
Leonidas >
yes, that's true. I just found it curious because it is the only dependency of base :)
23:35
<
Leonidas >
still don't quite understand why sexp is so popular in ocaml, but I'm sure there is some reason
23:35
<
_y >
Leonidas, because it’s typeless ;-)
23:35
kandu has quit [Ping timeout: 252 seconds]
23:36
kandu has joined #ocaml
23:37
<
_y >
isn’t mentioning extlib seriously outdated ?
23:38
jao has joined #ocaml
23:39
<
Leonidas >
possibly but in fact it might've kept more up to date than batteries lately
23:39
<
Leonidas >
second system syndrome, right there %)
23:40
<
_y >
i thought that extlib was completely abandoned
23:42
<
Leonidas >
(reading the contributors lists of extlib and batteries is like a who's who of the ocaml community)
23:47
<
emily >
Leonidas: hehe, i was about to say how cute the ubiquity of sexps in ocaml was to me
23:47
<
emily >
it's an unusual network-effect quirk of the ecosystem, i guess
23:53
Andr3as19 has joined #ocaml
23:56
Andr3as19 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
23:59
ziyourenxiang has quit [Ping timeout: 252 seconds]