Problem
Redesign your favorite programming language to eliminate all specific input/ output features. Instead, allow the programmer to create persistent variables (of any type) in much the same way as heap variables. What types would be suitable replacements for your language's existing persistent data types? Choose an existing program that contains a lot of (binary) input/output code, and rewrite it in your redesigned language.