<companion_cube>
inference and subtyping is just really hard, indeed
<dh`>
I had a scheme for it at one point but I'm afraid I've probably forgotten the details
<dh`>
also it probably didn't actually work :-)
ygrek has quit [Remote host closed the connection]
euphores has quit [Quit: Leaving.]
euphores has joined #ocaml
mbuf has joined #ocaml
YuGiOhJCJ has joined #ocaml
bcksl has quit [Quit: \]
end has quit [Quit: end]
bcksl has joined #ocaml
end has joined #ocaml
pi3ce has joined #ocaml
pi3ce has quit [Read error: Connection reset by peer]
pi3ce_ has joined #ocaml
pi3ce_ has quit [Client Quit]
pi3ce has joined #ocaml
toastal has joined #ocaml
pi3ce has quit [Ping timeout: 252 seconds]
pi3ce has joined #ocaml
Serpent7776 has joined #ocaml
Serpent7776 has quit [Ping timeout: 246 seconds]
toastal has quit [Ping timeout: 255 seconds]
bartholin has joined #ocaml
toastal has joined #ocaml
<discocaml>
<softwaresirppi> hii guys
<discocaml>
<softwaresirppi> what do you guys think about ocaml having `+` and `+.`?
<discocaml>
<softwaresirppi> what stops them from polymorphism?
<discocaml>
<octachron> This is an instance of not giving special support to a handful of arithmetic functions. After all, `+` and `+.` are not the same operation.
<discocaml>
<octachron> (And there are many people that regret the special support for equality and comparison functions).
<discocaml>
<softwaresirppi> yes its not the same operation, but the intent is same
<discocaml>
<softwaresirppi> why do people regret?
<discocaml>
<softwaresirppi> im very new to ocaml
<discocaml>
<softwaresirppi> im looking for a clean functional math-ish language to do data science, plotting, ML stuff. ocaml seems to suit it.
<discocaml>
<softwaresirppi> ive tried haskell but the tooling/docs doesnt suit me
<discocaml>
<octachron> The polymorphic equality can be ill-behaved for specific types.
<discocaml>
<softwaresirppi> example?
<discocaml>
<softwaresirppi> and also why not just have a `map` function instead of `List.Map`?
<discocaml>
<octachron> Sets implemented as balanced tree for which equality of the logical sets does not imply the equality of the memory representation
<discocaml>
<octachron> For numerical/mathematical code, the difference between `+` and `+.` does not really matter in my opinion. Local open are more than enough to simplify equations.
<discocaml>
<softwaresirppi> does representation matter?
<discocaml>
<softwaresirppi> 1 == one.
<discocaml>
<softwaresirppi> right?
<discocaml>
<octachron> `Tensor.( t + (v|*|w) *. t2 )` is clearer in term of computational contents.
<discocaml>
<softwaresirppi> is it in the stdlib!!!
<discocaml>
<softwaresirppi> ?
<discocaml>
<octachron> Similarly, `List.map` is a direct and simple translation of what will happen.
<discocaml>
<softwaresirppi> i would prefer programming languages to reflect intent and not implementation
<discocaml>
<softwaresirppi> anyways
<discocaml>
<softwaresirppi> octachron do you think ocaml has a simple syntax like lisp or haskell?
<discocaml>
<softwaresirppi> im trying out many languages to see which fits me
<discocaml>
<octachron> No, but there is no need for it to be in the stdlib, any library can define the corresponding operators.
<discocaml>
<softwaresirppi> alright
<discocaml>
<octachron> Intents is more often than not ill-defined.
<discocaml>
<softwaresirppi> sadd
<discocaml>
<softwaresirppi> ocaml has owl scientific computing lib and a good toolchain
<discocaml>
<octachron> Syntax is mostly a matter of familiarity first, taste second, and regularity third.
toastal has left #ocaml [Error from remote client]
<discocaml>
<softwaresirppi> okay!
<discocaml>
<octachron> Aka, I like OCaml syntax, even if there are some syntactic infelicities here and there.
<discocaml>
<getzapped.> Is the new syntax of matching on a functions return directly for exceptions and effects part of ocaml 5.3? I haven't seen any mention of it in a changelog, but it works on the 5.3 compiler
Serpent7776 has joined #ocaml
<discocaml>
<getzapped.> Does it? You can match on the type of an input and do something different depending on it, but im not sure if that counts as dependent typing
<discocaml>
<getzapped.> Does it? You can match on the type of an input and do something different depending on it, but im not sure if that counts as dependent typing. I don't think types can depend on values
<discocaml>
<getzapped.> Does it? You can match on the type of an input and do something different depending on it, but im not sure if that counts as dependent typing. I don't think types can depend on values. It seems more like untagged GADT's to me
chrisz has quit [Ping timeout: 265 seconds]
chrisz has joined #ocaml
<discocaml>
<octachron> The syntactic support for effect handlers is fourth item in the changelog.
<discocaml>
<getzapped.> Ah thank you i was looking in the wrong place
rak has quit [Quit: Segmentation fault (core recycled)]
rak has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
Haudegen has joined #ocaml
Stumpfenstiel has joined #ocaml
Stumpfenstiel is now known as Hrundi_V_Bakshi
toastal has left #ocaml [Disconnected: Hibernating too long]
euphores has quit [Quit: Leaving.]
euphores has joined #ocaml
alexherbo2 has joined #ocaml
<adrien>
how do I reach the discourse admins? I stumbled upon a website that now show explicit pornographic material and I think some admin action is warranted
<discocaml>
<leviroth> Like, a site linked from the ocaml discourse?
<companion_cube>
You might have a "report" button on posts
bartholin has quit [Quit: Leaving]
Serpent7776 has quit [Ping timeout: 244 seconds]
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
Hrundi_V_Bakshi has quit [Ping timeout: 252 seconds]
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]