Toot

Written by Guillaume Munch-Maccagnoni on 2025-01-19 at 15:10

When hearing about academy-to-industry translation regarding Rust, two things come to my mind:

• the sum of accumulated experience leading to RAII, move semantics, INHTPAMA, the sort you never have with the theory-to-PL pipeline of the FP community

• undue appropriation of Rust's success in papers by the linear types gang without knowing what those words mean

I am glad of the industry-to-academy revitalisation brought by Rust and we should think more about what this means for PL research

=> More informations about this toot | View the thread | More toots from gadmm@mathstodon.xyz

Mentions

Tags