Stream: t-lang

Topic: Type runtime logic project group


Khionu Sybiern (May 13 2020 at 22:54, on Zulip):

I'd like to start a Project Group with the goal of investigating how best to expose type awareness to logic, if the Lang Team is ready to accept such proposals.

There are a few places where Rust is lacking Runtime Type Information, and this hinders efforts to write optimal code in cases where infrastructure uses dynamic dispatch. The main idea I'm starting with is a series of traits that the compiler can derive (for ergonomic, opt-in, per-type basis), trading various optimizations for runtime functionalities.

scottmcm (May 13 2020 at 23:13, on Zulip):

I'm not sure which part of RTTI you're thinking about here. Are you thinking like C++'s typeid, about thin-pointer-vtable-dispatch, or something else entirely? (I first thought the former, but the mention of dynamic dispatch made me unsure.)

Last update: Jun 05 2020 at 23:15UTC