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
Haudegen has quit [Ping timeout: 240 seconds]
mxns has quit [Ping timeout: 264 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 265 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 258 seconds]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 258 seconds]
Tuplanolla has quit [Quit: Leaving.]
metreo has quit [Quit: metreo]
rock64 has quit [Ping timeout: 246 seconds]
rock64 has joined #ocaml
amiloradovsky has quit [Ping timeout: 258 seconds]
penguwin has quit [Ping timeout: 256 seconds]
rock64 has quit [Ping timeout: 265 seconds]
penguwin has joined #ocaml
rock64 has joined #ocaml
mcginleyr1_ has joined #ocaml
mmohammadi9812 has quit [Ping timeout: 240 seconds]
mmohammadi9812 has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
mfp_ has quit [Ping timeout: 240 seconds]
catt has quit [Ping timeout: 240 seconds]
rdivyanshu has joined #ocaml
mcginleyr1_ has quit [Quit: Connection closed for inactivity]
zebrag has quit [Quit: Konversation terminated!]
<d_bot> <gar> Hi folks. I've got Bazel code that supports generalized namespace libraries ("wrapped" libraries in Dune-speak). It decouples renaming from aliasing, and supports arbitrary mapping of module paths to filesystem objects. For example, here's one way you could map `A.B.C`: A: x.ml -> a.ml; B: y.ml -> foo/bar.ml; C: z.ml -> baz/buz.ml. Of course that's a pathological example, you can easily do more sensible things. You can also use the
zolk3ri has joined #ocaml
waleee-cl has quit [Quit: Connection closed for inactivity]
narimiran has joined #ocaml
vicfred has joined #ocaml
rdivyanshu has quit [Quit: Connection closed for inactivity]
zolk3ri has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
amiloradovsky has joined #ocaml
olle has joined #ocaml
amiloradovsky has quit [Ping timeout: 258 seconds]
Haudegen has joined #ocaml
steenuil has joined #ocaml
Tuplanolla has joined #ocaml
RalfJ has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
RalfJ has joined #ocaml
bartholin has joined #ocaml
bjorkintosh has quit [Read error: Connection reset by peer]
bjorkintosh has joined #ocaml
mfp_ has joined #ocaml
aquijoule_ has joined #ocaml
richbridger has quit [Ping timeout: 264 seconds]
<rwmjones> octachron: hey, any general ETA on ocaml 4.12.0 ? it's ok if not
<octachron> in the upcoming weeks: this one or the next one.
Haudegen has quit [Ping timeout: 258 seconds]
mmohammadi9812 has quit [Ping timeout: 265 seconds]
mmohammadi9812 has joined #ocaml
<rwmjones> octachron++ thanks :-)
vicfred has quit [Quit: Leaving]
vicfred has joined #ocaml
mmohammadi9812 has quit [Read error: Connection reset by peer]
mmohammadi9812 has joined #ocaml
vicfred has quit [Quit: Leaving]
Haudegen has joined #ocaml
<olle> new features?
<octachron> the main feature is the convergence with the multicore runtime.
<companion_cube> is the runtime closer to being reentrant, too?
<companion_cube> old dream of mine to have several OCaml cohabitate in one process
<octachron> There is mostly one item left (the major heap allocator) on the roadmap for "multicore is only additions to vanilla"
<olle> kk
<olle> what about the feature to allocate on the stack?
<olle> unboxed
<octachron> There are some propositions for more unboxed representations but there are still propositions. In term of other features, there are also names for warnings, more ! for types.
<companion_cube> "more !" ?
<d_bot> <Anurag> I'm also looking forward to the fixes done in 4.12.0 to get it working with clang11 🙂
<octachron> A quite serious performance regression fix for people tuning their GC
<octachron> !: Injectivity annotations for abstract types
<companion_cube> ohhh interesting
<companion_cube> like `type !a t` ?
<olle> octachron: what does that mean, injectivity?
<octachron> Anurag, note that those fix should be part of 4.11.2 too.
<octachron> olle: imagine that you have 'a t = 'b t, does that means that 'a = 'b or not? The answer is yes, only if _ t is injective in its first parameter.
<octachron> In practice, this mostly matters when using GADTs where it is useful to know more inequalities
<d_bot> <Anurag> octachron: Good to know!
Haudegen has quit [Ping timeout: 240 seconds]
<Fardale> octachron: do you have an example where ! is useful with GADTs ?
Haudegen has joined #ocaml
mxns has joined #ocaml
<olle> octachron: ah ok
Guest93718 is now known as mrd
mrd has quit [Changing host]
mrd has joined #ocaml
olle has quit [Ping timeout: 264 seconds]
vicfred has joined #ocaml
<sadiq> octachron, there's a couple more things left. I think we might even have a list somewhere on github.
<sadiq> iirc we need to do some work integrating the memory model.
mxns has quit [Quit: ZNC 1.8.2 - https://znc.in]
<sadiq> also safepoints.
<hannes> my personal highlight in 4.12 is for sure https://github.com/ocaml/ocaml/pull/10025 "track caml_alloc_custom_mem allocators with statmemprof" :D
<octachron> Fardale, https://gist.github.com/Octachron/0ebff22f6fb006061132d6b5254e3352 : this compiles fine only in 4.12 .
waleee-cl has joined #ocaml
mxns has joined #ocaml
metreo has joined #ocaml
mxns has quit [Ping timeout: 258 seconds]
mxns has joined #ocaml
smazga has joined #ocaml
<Fardale> octachron: your example did not work because M.t is abstract? Is ! similar to + in the sense that it is useful to give information if the type is abstract?
mmohammadi9812 has quit [Remote host closed the connection]
mmohammadi9812 has joined #ocaml
<octachron> Yes, any nominal types are automatically injectives in their parameters. The injectivity annotations makes it possible to remember this information in the case of abstract types.
<octachron> The quintessential non-injective types is "type 'a t = unit"
<companion_cube> can injectivity be combined with variance?
<octachron> Yes.
<companion_cube> `type !+'a t` ? :)
<octachron> or +!'a t. Both are allowed.
<companion_cube> so injectivity is per parameter?
Haudegen has quit [Quit: Bin weg.]
bartholin has quit [Quit: Leaving]
<octachron> Yes, like variance.
<companion_cube> interesting, thank you!
mmohammadi9812 has quit [Ping timeout: 264 seconds]
mmohammadi9812 has joined #ocaml
zebrag has joined #ocaml
Haudegen has joined #ocaml
olle has joined #ocaml
metro has joined #ocaml
amiloradovsky has joined #ocaml
metreo has quit [Ping timeout: 240 seconds]
metro is now known as metreo
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
metreo has quit [Ping timeout: 256 seconds]
mmohammadi9812 has quit [Ping timeout: 240 seconds]
metreo has joined #ocaml
mmohammadi9812 has joined #ocaml
metreo has quit [Ping timeout: 240 seconds]
boxscape has joined #ocaml
metreo has joined #ocaml
olle has quit [Ping timeout: 246 seconds]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
metreo has quit [Ping timeout: 258 seconds]
mxns has quit [Ping timeout: 265 seconds]
metreo has joined #ocaml
olle has joined #ocaml
tane has joined #ocaml
mxns has joined #ocaml
mmohammadi9812 has quit [Ping timeout: 240 seconds]
mxns has quit [Ping timeout: 258 seconds]
mmohammadi9812 has joined #ocaml
mxns has joined #ocaml
olle has quit [Ping timeout: 256 seconds]
osa1_ is now known as osa1
jnavila has joined #ocaml
<d_bot> <Robin> hey when i'm on a line correcting my code letters are replacing the ones which follows instead of just adding on the line do you know how to fix that?
<theblatte> @Robin: hit the "insert" (Ins?) key on your keyboard?
raver has joined #ocaml
<d_bot> <Robin> it doesn't work bc to even when i write "insert" or anything else the text after is replaced 😦
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
raver has quit [Quit: Gateway shutdown]
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
raver has joined #ocaml
raver has quit [Client Quit]
jnavila has quit [Quit: Konversation terminated!]
raver has joined #ocaml
raver has quit [Client Quit]
raver has joined #ocaml
raver has quit [Client Quit]
amiloradovsky1 has joined #ocaml
amiloradovsky has quit [Read error: Connection reset by peer]
amiloradovsky1 is now known as amiloradovsky
raver has joined #ocaml
narimiran has quit [Ping timeout: 240 seconds]
raver has quit [Quit: Gateway shutdown]
raver has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
raver has quit [Quit: Gateway shutdown]
raver has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
mxns has joined #ocaml
raver has quit [Quit: Gateway shutdown]
mmohammadi9812 has quit [Ping timeout: 240 seconds]
mmohammadi9812 has joined #ocaml
raver has joined #ocaml
raver has quit [Client Quit]
raver has joined #ocaml