[Swift-devel] Re: folding/sequential-while/whatever and accessing data in files

[Ben Clifford]

it was fairly easy to make an @extactint function that lets you do this:

 type file;
 file f <"myint.txt">;
 print(@extractint(f) + 1);

However, that pretty much introduces a separate description of the file 
contents (by using the extractint function) distinct from the mapping and 
type system. ick.
--