> 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