Oℕ
В текущей версии скалы вы и не найдёте этих имплисито
Size: a a a
2020 October 16
Oℕ
Потому что неявное расширение инта до дабла задепрекейчено
Oℕ
Но компилятор его всё равно вставляет, хотя кода этого больше в Predef нет
E
Потому что неявное расширение инта до дабла задепрекейчено
окей, это интересно. а что вместо этого? и что будет в дотти?
Oℕ
вместо этого писаь i.toDouble
Oℕ
в дотти то же
E
вместо этого писаь i.toDouble
а, то бишь у меня
def f(x: Double) будет фейлиться, если я попытаюсь f(5) вместо f(5.toDouble)E
Oℕ
варнинг будет
Oℕ
в след версиях будет фейлиться
Oℕ
хотя нет
Oℕ
5 может быть воспринят просто как Double литерал
Oℕ
да, f(5) не будет фейлиться
Oℕ
а вот x = 5
f(x)
будет
f(x)
будет
Oℕ
но потом
E
но потом
в смысле уже в дотти?
E
вообще, хорошо, что в языке меньше магии становится
R
если есть какие-то типы А и B, конечно населенные. то для A=>B есть B^A реализаций.
если есть полиморфная ф-ция forall A B: A => B, то есть ровно 0 реализаций
если есть полиморфная ф-ция forall A B: A => B, то есть ровно 0 реализаций
что такое населённые типы?
DR
RAFIZ
что такое населённые типы?
типы, у которых есть инстансы
AH
RAFIZ
что такое населённые типы?
у которых есть хотя бы один инстанс.