"I have a mind like a steel... uh... thingy." Patrick Logan's weblog.

Search This Blog

Wednesday, March 11, 2009

This Just In: Functional Programmers Can Now Access Memory (Experimentally)

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:

Blog Archive

About Me

Portland, Oregon, United States
I'm usually writing from my favorite location on the planet, the pacific northwest of the u.s. I write for myself only and unless otherwise specified my posts here should not be taken as representing an official position of my employer. Contact me at my gee mail account, username patrickdlogan.