> Has anybody ever thought about extending the usual file-based interfaces > with a typechecking ?
It did occur to me one could have:
echo 10 oranges > /dev/apple-count
echo: write failed: inapropriate fruit
More seriously one of our researchers once asked me why computer
langages don't allow people to associate variables and constants
with SI units, allowing True type checking; I never managed to
come up with a good answer.
-Steve
