Hacker News Reader

Except that in the real world people want to multiply floats by ints all the time, and they don't want to go through a lot of type-wankery to do it.

View on HN

In order to make _some_ things safer, every type system must make _other_ things impossible. There is, as far as I'm aware, no real way around that.

It’s like one cast, yo

It's "one cast" times the total number of times you need to multiple ints by floats for the rest of your career.

Reply on news.ycombinator.com