2 ms·
FWIW, I'm not arguing about should or shouldn't - I'm just strengthening the original argument. That said, I don't think small bounded latency is a good thing
by Veedrac 12y ago
FWIW, I'm not arguing about should or shouldn't - I'm just strengthening the original argument.
That said, I don't think small bounded latency is a good thing to encode in a typesystem, much as I don't think runtimes should be encoded in a typesystem. It gives too much inflexibility for too little gain.
- SamReidHughes 12y agoI have wanted small bounded latency to be encoded before. (I'd also want the ability to ignore that information in most other programs I worked on. With the right sort of type system, you don't have inflexibility.)