They could just compile the core utils with fil C and call it a day.
164 karma · joined April 14, 2021
Also, letters avoid having to name them, naming being a hard problem and all.
I'm not convinced that tying the lifetimes into the type system is the correct way to do memory management. I've read too many articles of people being forced into refactoring the entire codebase to implement a feature.
Which got it's name from 'Not Coq'
More interestingly, it's the same model as Intel's Implicit SPMD Program compiler (ispc, God that name is awful). But ispc works across SIMD lanes.
In my experience I've used exceptions for things that really should never fail, and optional for things that are more likely to.