|
|
|
|
|
|
by tel
4674 days ago
|
|
|
Because the properties of other types might not translate. It's probably okay with integer types since (a + b) => (a OR b) and (a * b) => (a AND b) as long as you stay away from upper bounds. But some semantic maps are less great. Having your compiler help you to ensure you're not implicitly mixing up bad maps can be helpful. |
|
|