Stream: general

Topic: Talk on data layout

RalfJ (Oct 25 2019 at 18:22, on Zulip):

Interesting talk on data layout in OCaml:
Cc @eddyb

lqd (Oct 25 2019 at 18:23, on Zulip):

Stephen Dolan :thumbs_up:

lqd (Oct 25 2019 at 18:25, on Zulip):

(I don't think he has published his caml-oxide rust/ocaml binding paper like he promised us ? :)

gnzlbg (Oct 29 2019 at 11:12, on Zulip):

That was a cool talk. There is a crate implementing a "compact" Option on, that is, an Option<T> that's always the same size as a T. It currently does so by providing a trait that you can implement to tell the type how to use the niche. So that's kind of what this talk shows for nullable, but in OCaml it would be built into the language.

pnkfelix (Oct 30 2019 at 14:18, on Zulip):

@gnzlbg were you referring to the optional crate, perhaps? Seems like a match to me

pnkfelix (Oct 30 2019 at 14:19, on Zulip):

though I suppose in the case of optional::Optioned<T>, the niche value has to actually be an instance of T ... which is not exactly the same as a "true niche" the way that its done internally in Rust...

gnzlbg (Oct 30 2019 at 14:26, on Zulip):

yes this one:

Last update: Jun 04 2020 at 18:00UTC