> and the type checker can't tell a sine from a logarthim Oddly enough, in Go it can. type sine_val float64 type log_val float64 These are now incom

> and the type checker can't tell a sine from a logarthim Oddly enough, in Go it can. type sine_val float64 type log_val float64 These are now incompatible types, and you couldn't pass a sine_val to a function expecting a log_val, for example. (Not that I am advocating this sort of approach, but it is possible to let the typechecker work this stuff out if you are dedicated)