Conversation

This is a cool video on generating specialised implementations of code Rust, C++, Nim, Zig, OCaml, and Python:

Quote Tweet

· Apr 5, 2021

Finally got out my video on const generics! Even if timing would have been better the day after the Rust release. youtube.com/watch?v=imbZbG

Show this thread

Brendan Zabarauskas

@brendanzab

Apr 6, 2021

I really want staged programming in dependently typed languages to let us do similar stuff at compile time. I'm thinking that it might be helpful to say instantiations are 'monomorphised' as opposed to 'inlined' though… I think the latter approach is more usual for staging?

Brendan Zabarauskas

@brendanzab

The difference between them is that monomorphisation lets you share specialised implementations (like in templates), where as inlining generates specialised code in-place (like in macros).

3:49 AM · Apr 6, 2021Twitter Web App