companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.11 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.11/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
curtosis[away] has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
mxns has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
infinity0 has quit [Ping timeout: 252 seconds]
mxns has joined #ocaml
infinity0 has joined #ocaml
mxns has quit [Ping timeout: 258 seconds]
vicfred has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
vicfred has quit [Client Quit]
mxns has joined #ocaml
mxns has quit [Ping timeout: 250 seconds]
vicfred has joined #ocaml
mxns has joined #ocaml
<d_bot> <sip> IT EXISTS
<d_bot> <sip> finally i found it
krkini has quit [Remote host closed the connection]
kini has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
dan64- has quit [Quit: ZNC - http://znc.in]
dan64 has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
conjunctive has joined #ocaml
mfp has quit [Ping timeout: 260 seconds]
zebrag has quit [Quit: Konversation terminated!]
mxns has joined #ocaml
mxns has quit [Ping timeout: 250 seconds]
waleee-cl has quit [Quit: Connection closed for inactivity]
kini has quit [Remote host closed the connection]
kini has joined #ocaml
curtosis[away] has joined #ocaml
[mark] has joined #ocaml
ansiwen_ has quit [Quit: ZNC 1.7.1 - https://znc.in]
curtosis[away] has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
ansiwen has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
<d_bot> <khady> anyone using ocaml-rs? Does it work with ocaml 4.11.2?
<zozozo> companion_cube: from what I recall destructors are one of the reasons why C or rust cannot always optimize tail-calls, so ...
narimiran has joined #ocaml
shawnw has joined #ocaml
olle has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 252 seconds]
KeyJoo has joined #ocaml
Sanduni has joined #ocaml
Sanduni has quit [Client Quit]
dhil has joined #ocaml
mbuf has joined #ocaml
KeyJoo has quit [Ping timeout: 260 seconds]
kini has quit [Remote host closed the connection]
kini has joined #ocaml
osa1 has joined #ocaml
bartholin has joined #ocaml
vicfred has quit [Quit: Leaving]
kakadu has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
<d_bot> <darrenldl> astronavt: would you happen to be free to have a look at the timere api for me before i submit to opam?
zebrag has joined #ocaml
mfp has joined #ocaml
kini has quit [Remote host closed the connection]
kini has joined #ocaml
kakadu has quit [Read error: Connection reset by peer]
kakadu has joined #ocaml
olle has quit [Ping timeout: 252 seconds]
olle has joined #ocaml
omni has quit [Ping timeout: 250 seconds]
jerith has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
richbridger has joined #ocaml
kini has quit [Remote host closed the connection]
kini has joined #ocaml
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
curtosis has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 258 seconds]
ArthurStrong has joined #ocaml
<astronavt> @darrenldl i think the name "resolve" is a bit abstract
mxns has joined #ocaml
<d_bot> <darrenldl> what do you suggest?
<d_bot> <SGrondin> Today this happened in our work chat (we use OCaml at work)... sorry if this is the wrong channel, I just had to share
<d_bot> <Drup> what about marshall ? 😄
<d_bot> <SGrondin> That's the King Pooh one
<d_bot> <SGrondin> For the most refined of people only
<d_bot> <Drup> or the most depraved
<d_bot> <SGrondin> Taste is a circle, and the extremes are neighbors.
rom1504 has quit [Ping timeout: 250 seconds]
<d_bot> <froyo> not this horseshoe theory stuff again
<d_bot> <froyo> lol
<d_bot> <SGrondin> it shouldn't be considered outside of silly jokes, that's for sure
shawnw has quit [Ping timeout: 260 seconds]
<companion_cube> I mean you should be able to create cycles in koka is you just allowed cyclic lists, like in OCaml :p
<companion_cube> oooops
<companion_cube> zozozo: makes sense, yes
<companion_cube> although koka and lean can do it… ?
Haudegen has joined #ocaml
curtosis has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
kini has quit [Remote host closed the connection]
kini has joined #ocaml
ArthurStrong has quit [Quit: leaving]
noonien has joined #ocaml
<olle> :D
waleee-cl has joined #ocaml
mxns has quit [Ping timeout: 258 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
mxns has joined #ocaml
noonien has quit [Ping timeout: 240 seconds]
mxns has quit [Ping timeout: 252 seconds]
mxns has joined #ocaml
noonien has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
[mark] has quit [Quit: Connection closed]
mxns has joined #ocaml
mxns has quit [Ping timeout: 250 seconds]
mxns has joined #ocaml
White_Flame has joined #ocaml
kini has quit [Remote host closed the connection]
kini has joined #ocaml
curtosis has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
mxns has quit [Quit: ZNC 1.8.2 - https://znc.in]
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
KeyJoo has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
<olle> Maybe someone would like to quikly check this, in case I missed something (conceptually, logically)?
<olle> (Same ideas I've been talking about last days)
nicoo has quit [Ping timeout: 240 seconds]
curtosis has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
<d_bot> <darrenldl> can user defined types point to anything?
<olle> companion_cube: different use-case, we've been through this :)
curtosis has joined #ocaml
<olle> darrenldl, not sure yet, should put that into todo, how to interact between different locality types. must have some rules, for sure.
nicoo has joined #ocaml
<olle> companion_cube: your blog?
<companion_cube> no
<olle> :(
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
curtosis is now known as curtosis[away]
curtosis[away] has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
kini has quit [Remote host closed the connection]
kini has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
neiluj has joined #ocaml
neiluj has quit [Changing host]
neiluj has joined #ocaml
mxns has joined #ocaml
alexey has joined #ocaml
Haudegen has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
Tuplanolla has joined #ocaml
dhil has quit [Quit: Leaving]
mbuf has quit [Quit: Leaving]
olle has quit [Ping timeout: 240 seconds]
kini has quit [Remote host closed the connection]
kini has joined #ocaml
bartholin has quit [Quit: Leaving]
kakadu has quit [Remote host closed the connection]
<d_bot> <EduardoRFS> any smart type theory guy, here to tell me why this design is dumb?
<d_bot> <EduardoRFS> I'm trying to combine explicits and FCM
<d_bot> <darrenldl> astronavt: more digression - pendulum seems consistent with crystal stdlib's behaviour, for the better or worse. go has (similarly) undefined behaviour, but it's explicit in the documentation (so uh technically better i guess)
<companion_cube> what's `[@id T]` ?
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
<d_bot> <EduardoRFS> my way of saying `module T: T`
<d_bot> <EduardoRFS> there is no syntax so I made a ppx
<d_bot> <octachron> This is just not FCM? Internal types are not existentially quantified.
<d_bot> <octachron> Typically, if you cannot handle https://gist.github.com/Octachron/552d3298b3d09671d3715f8b2f205a5e, you are not speaking about first class modules.
<d_bot> <EduardoRFS> but I can
<d_bot> <EduardoRFS> let me make an example, I have this partially implemented
vicfred has joined #ocaml
<d_bot> <octachron> Let me correct, there is no first class modules in your example.
<d_bot> <EduardoRFS> yup still works
<d_bot> <EduardoRFS> line 18 isn't an example of it? I can easily make `(module Option: Monad)` of course that will lead to type would escape it's scope
<d_bot> <EduardoRFS> @octachron
<d_bot> <froyo> my internet is slow rn and pics take forever to load ;_;
<d_bot> <EduardoRFS> mb will put into a gist
<d_bot> <froyo> I love type theory stuff this isnt fair
<d_bot> <froyo> oo thanks
<d_bot> <octachron> Still no first class modules in sight?
<d_bot> <octachron> There was a packed value `x:t` in my example. The point is that the type of `x` should be unknown and impossible to obtain with a first class module.
<d_bot> <EduardoRFS> but that is not the only case if t is abstract? It's still a packed module even when t is not abstract
<d_bot> <EduardoRFS> like if you do `Show with type t = 't` on a function
<d_bot> <octachron> But that is the point: the `with type t = 't` is a partial bridge between the total opaqueness of first class modules and the total transparence of modular explicits.
<d_bot> <octachron> And if I am not mistaken, none of your examples show a completely opaque case where the types inside the modules are abstract and runtime defined.
<d_bot> <EduardoRFS> I think that's my goal, is to expand this bridge then. But really interesting, your view of FCM is completely different from mine, to me FCM is just to pack module types, if the module type is opaque or not that's up to the user
<d_bot> <EduardoRFS> when you do `with type t = 't` you're just creating a non opaque module type
<d_bot> <EduardoRFS> btw I'm not trying to discuss, I'm really interested in understanding the advantage of explicits vs expanding type substitution like this
<d_bot> <EduardoRFS> especially because of line 21, which explicits cannot do
<d_bot> <octachron> I would be cautious about extending inference. It sounds like a good way to introduce unsoundness.
rom1504 has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
<astronavt> @darrenldl im tempted to file an issue on the pendulum repo and see what the devs say
<d_bot> <EduardoRFS> hmm I don't think the inference is changed, to implement the basics of it I didn't even touch on the unification of stuff, I just played around with type expected
<d_bot> <EduardoRFS> and for higher order functions like poly, you need to explicitly define it, like with explicits, so it means OCaml cannot infer the most general case, but that's already true
mxns has joined #ocaml
<d_bot> <EduardoRFS> will try to bother lpw25 and trefis with this \o\
mxns has quit [Quit: ZNC 1.8.2 - https://znc.in]
mxns has joined #ocaml
<d_bot> <darrenldl> astronavt: i'd be curious. let me check their issue page to see if anyone has said anything on that... but in any case im not faulting any devs from any of the libs too much, since, well, time handling is a really messy and boring work
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
kini has quit [Remote host closed the connection]
kini has joined #ocaml
curtosis has joined #ocaml
mxns has quit [Ping timeout: 250 seconds]
curtosis has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
mxns has joined #ocaml
mxns has quit [Ping timeout: 258 seconds]
mxns has joined #ocaml
olle has joined #ocaml
mxns has quit [Ping timeout: 258 seconds]
mxns has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
nicoo has quit [Ping timeout: 240 seconds]
nicoo has joined #ocaml
KeyJoo has quit [Ping timeout: 268 seconds]
curtosis has joined #ocaml
narimiran has quit [Ping timeout: 246 seconds]
olle has quit [Ping timeout: 240 seconds]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
tristanC_ is now known as tristanC
kini has quit [Remote host closed the connection]
kini has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
curtosis is now known as curtosis[away]
curtosis[away] has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
tizoc has quit [Ping timeout: 240 seconds]
tizoc has joined #ocaml
raver has joined #ocaml
zebrag has quit [Ping timeout: 240 seconds]
White_Flame has quit [Ping timeout: 240 seconds]
mxns has quit [Quit: ZNC 1.8.2 - https://znc.in]
mxns has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
White_Flame has joined #ocaml
mxns has quit [Ping timeout: 250 seconds]
mxns has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
mxns has quit [Ping timeout: 258 seconds]
kini has quit [Remote host closed the connection]
mxns has joined #ocaml
kini has joined #ocaml
SquidDev3 has joined #ocaml
SquidDev has quit [Ping timeout: 252 seconds]
SquidDev3 is now known as SquidDev
mxns has quit [Ping timeout: 240 seconds]
mxns has joined #ocaml