I've always viewed type systems as adding constraints on and descriptions to the data and logic in the system. Which is exactly what you find a ton of in elect

I've always viewed type systems as adding constraints on and descriptions to the data and logic in the system. Which is exactly what you find a ton of in electrical engineering (e.g. IEEE C37.2 and gazillion more).