Stream: general

Topic: Talk on data layout


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

Interesting talk on data layout in OCaml: https://www.youtube.com/watch?v=RV-4Xddk0Yc
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 crates.io, 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: https://github.com/llogiq/optional

Last update: Nov 21 2019 at 23:45UTC