E
мне вспоминается недавно был какой-то кейс, где раст показывал ворнинг и ни один другой компилятор не показывал — не могу ссылку найти блин
Size: a a a
2020 January 13
E
сами придумали проблему, сами решили и сделали из этого пост :)
E
а, про греческие пробелы вроде
AV
MaxGraey
Вот Rust правильно делает
а что тут странного? обычная строгая статическая типизация
AV
Ада вот такое тоже не пропустит
SS
MaxGraey
Вот Rust правильно делает
Так должно быть в любом языке, где вещественному запрещено присваивать значение целого.
M
Ну ада вообще маниакально строгая
AV
example.adb:8:18: expected type "Standard.Float"
example.adb:8:18: found type universal integer
AV
MaxGraey
Ну ада вообще маниакально строгая
А Раст - золотая середина? 😄
SS
В Go, правда, не катит, потому что там константы сами по себе не имеют определенного типа.
AV
OCaml:
File "<source>", line 3, characters 16-17:
3 | let x : float = 1
^
Error: This expression has type int but an expression was expected of type
float
Hint: Did you mean `1.'?
M
В Go, правда, не катит, потому что там константы сами по себе не имеют определенного типа.
В Go там вообще забавно) Числа с плавающей запятой вычисляются с arbitrary float precision, поэтому fmt.Println(0.1 + 0.2 == 0.3) выведет «true» хотя в любом другом языке это будет false.
K
А sqrt(2.0) * sqrt(2.0) == 2.0 что вернёт?
E
Kir
А sqrt(2.0) * sqrt(2.0) == 2.0 что вернёт?
в фаст-мас точно true
K
Хмммм
M
Kir
А sqrt(2.0) * sqrt(2.0) == 2.0 что вернёт?
Нет, только константные выражения (без вызовов)
K
А
K
А 1 / 3 + 2 / 3 == 1.0?
M
OCaml:
File "<source>", line 3, characters 16-17:
3 | let x : float = 1
^
Error: This expression has type int but an expression was expected of type
float
Hint: Did you mean `1.'?
Ocaml тоже молодец 👍
