Lancern's Treasure Chest
09:43 · Jul 18, 2024 · Thu
https://arxiv.org/abs/2311.07369
arXiv.org
Unboxed data constructors -- or, how cpp decides a halting problem
We propose a new language feature for ML-family languages, the ability to selectively unbox certain data constructors, so that their runtime representation gets compiled away to just the identity...
Home
Powered by
BroadcastChannel
&
Sepia