3 ms·
The "presence" I had in mind was just "this function will eventually return a value", i.e. what you get from having a type for total functions. (On the programm
by vilhelm_s 12y ago
The "presence" I had in mind was just "this function will eventually return a value", i.e. what you get from having a type for total functions. (On the programming side, this ties into a discussion about "safety" versus "liveness" properties).