ЕС
а если мне нужна десятку которая не пролезет в тип интов другого пространства?
Не понял
Size: a a a
2020 June 29
SP
Не понял
у меня есть 10 овец и 10 коз
ЕС
у меня есть 10 овец и 10 коз
Поздравляю.
SP
опять перешел на детский сад
ЕС
опять перешел на детский сад
Пиши одним сообщением.
SP
одним сообщением тебе слишком сложно же
ЕС
одним сообщением тебе слишком сложно же
Если там нет запятых, и точек.
SP
спрашиваю что если мне нужна десятку которая не пролезет в тип интов другого пространства? например у меня 10 овец и 10 коз и их нельзя смешивать
VS
Какой юзер айди.
case class UserId(value:Int) это если в самом простом виде. Чуть покруче public Age(int value) => if(value < 0 || value > 100) throw new Exception(“Not valid value”)
SP
case class UserId(value:Int) это если в самом простом виде. Чуть покруче public Age(int value) => if(value < 0 || value > 100) throw new Exception(“Not valid value”)
щас напишет ага попался, выкидываешь эксепшены в рантайме значит статика ничего не может
ЕС
спрашиваю что если мне нужна десятку которая не пролезет в тип интов другого пространства? например у меня 10 овец и 10 коз и их нельзя смешивать
У тебя числа это прямая. 10 влазит в рейндж -2^32..2^32 что бы ты не делал.
SP
У тебя числа это прямая. 10 влазит в рейндж -2^32..2^32 что бы ты не делал.
не верно. не влазит
ЕС
щас напишет ага попался, выкидываешь эксепшены в рантайме значит статика ничего не может
Только здесь на уровне компилятора неизвестная информация. Это валидация а не парсинг.
DS
То что сейчас не придумали способа разрешать вывод, не значит что его не существует.
Ты про проблему останова надеюсь знаешь?
SP
есть десятки разных систем координат где есть point, но ты не можешь из смешивать например
ЕС
Ты про проблему останова надеюсь знаешь?
Я не такой извращенец, чтобы исследовать проблемы вывода зависимых типов.
ЕС
не верно. не влазит
Влазит. Прямая же.
SP
Только здесь на уровне компилятора неизвестная информация. Это валидация а не парсинг.
магия в том что ты конструируешь этот тип грязно, но передаешь его дальше по коду именно как то что тебе нужно
DS
Я не такой извращенец, чтобы исследовать проблемы вывода зависимых типов.
Это базовые знания из CS, если что.
ML
Я не такой извращенец, чтобы исследовать проблемы вывода зависимых типов.
🙈🙈🙈