2 ms·
There could be more linear and "resource-aware" type systems coming down the pipes through research. These would allow the type checker to show performance / re
by adamddev1 10mo ago
There could be more linear and "resource-aware" type systems coming down the pipes through research. These would allow the type checker to show performance / resource information. Check out Resource Aware ML.
https://www.raml.co/about/ https://www.raml.co/about/
https://arxiv.org/abs/2205.15211 https://arxiv.org/abs/2205.15211
- amw-zero 10mo agoSuper interesting, but I think this will be very difficult in practice due to the gigantic effect of nondeterminism at the hardware level (caches, branch prediction, out of order execution, etc.)