3 ms·
But you either have to use unique ptr (then passing the pointer around is a pain), or shared ptr (then you pay a runtime cost of counting). In idris the type sy
by CJefferson 10y ago
But you either have to use unique ptr (then passing the pointer around is a pain), or shared ptr (then you pay a runtime cost of counting). In idris the type system deals with these things better.
- jjnoakes 10y agoHow is unique_ptr a pain? Just typedef it to something palatable. You must track files by some type already right?