> плохие нетипизированные". Я с этим не согласен. Когда ты делаешь арифметические
> вычисления в уме, ты не думаешь о типе. Тип - это
> костыль, который важен для низкоуровневого представления твоих данных. Но, когда

здрасьте, пожалуйста. Когда я делаю прикидки в уме, то по крайней мере, деление на целые и реальные числа делаю. А в реальной жизни приходится ещё и конечную разрядную сетку учитывать. Интерпретатору хорошо, всегда можно неявно перещёлкнуть внутреннее представление, компилятору так нельзя.

а попытка не учитывать грубые материальные реалии... помнится, в книжках ещё по первому-распервому Алголу писали что-то типа "числа могут быть целыми и реальными... но целые числа не являются частным случаем реальных и наоборот и  транслятор может не принять числа с более, чем 10-ю разрядами". Отличная абстракция!