OK, type fanatics, get beyond my inflammatory headline already!
Actually, LtU points to an interesting paper (for some) on a bit of progress toward type systems for describing the correct use of resources.
Globals! Memory! Files!
As one comment points out, the pragmatic benefit of this work is sometime out in the future. Type systems will be good when they add more than they subtract.
They're not there yet, but there's (some) progress.
No comments:
Post a Comment