wtetzner has quit [Remote host closed the connection]
orbifx has joined #ocaml
orbifx has quit [Ping timeout: 258 seconds]
ejam has joined #ocaml
mengu has quit [Quit: Leaving...]
kakadu_ has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
ygrek_ has quit [Ping timeout: 258 seconds]
snhmib has quit [Ping timeout: 240 seconds]
cbot has quit [Ping timeout: 240 seconds]
copy` has quit [Quit: Connection closed for inactivity]
fraggle_ has quit [Ping timeout: 264 seconds]
fraggle_ has joined #ocaml
silver_ has quit [Quit: rakede]
_whitelogger has joined #ocaml
skunkwerks has quit [Ping timeout: 240 seconds]
mfp_ has quit [Ping timeout: 246 seconds]
ygrek_ has joined #ocaml
fraggle_ has quit [Ping timeout: 240 seconds]
tokenrov1 is now known as tokenrove
p_nathan has joined #ocaml
mali__ has joined #ocaml
chetshah has joined #ocaml
chetshah has quit [Ping timeout: 260 seconds]
chetshah has joined #ocaml
FreeBirdLjj has joined #ocaml
psnively has joined #ocaml
chetshah has quit [Ping timeout: 260 seconds]
sinsnare has joined #ocaml
<sinsnare>
Hi, I am trying to run `opam switch 4.04.0+msvc64` and I am getting a failure. It seems that the command is looking for ` C:\\Users\\sinis\\.opam\\4.04.0+msvc64\\..."` and not ` C:\\Users\\sinis\\.opam\\compilers\\4.04.0+msvc64\\..."` Is there a way I can change that?
<sinsnare>
Yeah, even trying to install mingw64 instead of msvc64 doesnt help. Still a similar error.
larhat has joined #ocaml
sinsnare has quit [Quit: Page closed]
kakadu__ has quit [Ping timeout: 240 seconds]
chetshah has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 268 seconds]
<chetshah>
Hello all, Ocaml beginner here, was wondering if there is a well defined notion of equality(=) in Ocaml, e.g. value of same types are always comparable?
<chetshah>
Or is there a rule to be followed by values in order to be comparable?
<chetshah>
I'm talking about structural equality.
<S11001001>
chetshah: (=) : 'a -> 'a -> bool, which will always do structural equality (not customizable), but throw on encountering a function or C data
<chetshah>
S11001001: Thanks, got it. I did not know about the non-customizable part.
chetshah has quit [Quit: Page closed]
chetshah has joined #ocaml
chetshah has quit [Client Quit]
philtor has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
minn has joined #ocaml
slash^ has joined #ocaml
FreeBirdLjj has joined #ocaml
larhat has quit [Quit: Leaving.]
frug72 has quit [Ping timeout: 256 seconds]
frug72 has joined #ocaml
kakadu has joined #ocaml
MercurialAlchemi has joined #ocaml
cbot has joined #ocaml
freusque has joined #ocaml
gk_1wm_su has joined #ocaml
gk_1wm_su has left #ocaml [#ocaml]
gk_1wm_su has joined #ocaml
gk_1wm_su has quit [K-Lined]
nore has quit [Quit: WeeChat 1.4]
govg has quit [Ping timeout: 256 seconds]
zpe has joined #ocaml
after___ has joined #ocaml
_whitelogger has joined #ocaml
ygrek_ has quit [Ping timeout: 258 seconds]
AlexDenisov has joined #ocaml
averell has joined #ocaml
kakadu has quit [Remote host closed the connection]
<gasche>
also, hm, "point-free code" (composing functions without naming their parameters) and "functional things" are not the same thing
<gasche>
(OCaml is not great at allowing convenient point-free code, but given that people write unreadable code when they use it in language that are great at it, it may be a blessing rather than a curse)
<Onemorenickname>
(I prefer conventions/guidelines to language restrictions)
<Onemorenickname>
(but I understand the choice)
g0d355__ has quit [Ping timeout: 240 seconds]
<Onemorenickname>
gasche, i'm reading the wiki-entry, but indeed, point-free does not come with functionality
<Onemorenickname>
i thought so
jerme_ has joined #ocaml
<gasche>
I don't think there was actually a "choice" here, it is more of a consequence of other aspects of the design
<gasche>
also I think that the idea of "convention over restrictions" is convincing in the abstract but does not take into account the difficulty of converging on conventions and maintaining them in a distributed community; or of the unplanned success of sub-communities with different conventions
<gasche>
(Python gets proper indentation through restriction; Go gets proper indentation through tooling; many of the "convention" language actually spend a great deal more effort on keeping indentation in check)
<gasche>
("readable point-free code" seems even harder to control than indentation, given that we don't even know how to define "readable")
octachron has joined #ocaml
achauvin has joined #ocaml
<tautologico>
pointfree is great in array languages (APL, J and the like)
<tautologico>
and they're not even functional
<tautologico>
and it's point-free + lots of operators
<companion_cube>
I'd really be interested in a typed version of J
<companion_cube>
for writing exploratory one liners and crunching data
MercurialAlchemi has joined #ocaml
<tautologico>
from time to time I feel like learning J for real
orbifx has joined #ocaml
<tautologico>
I never go through with it
<companion_cube>
yeah
<gasche>
companion_cube: I have a colleague working on a typed array language