r
есть десятки разных систем координат где есть point, но ты не можешь из смешивать например
Если есть системы координат, то нужно их как-то обозначить. Например как декартово произведение Название оси * Числовая прямая
Size: a a a
2020 June 29
ЕС
магия в том что ты конструируешь этот тип грязно, но передаешь его дальше по коду именно как то что тебе нужно
Опять же, это костыли, которые трудно использовать, понимать, поддерживать и масштабировать.
SP
Опять же, это костыли, которые трудно использовать, понимать, поддерживать и масштабировать.
... и поэтому ты не будешь из юзать вообще, т.е. в задаче требующей интервалов интов которые у тебя полезут в матч ты будешь херачить ифами и писать тесты ?
VS
@DogeShibu как такое сделать в Scala. Аналогичный код
class Age
{
private int Value {get;}
public Age(int value)
{
if(value <0 || value > 100) throw Exception()
class Age
{
private int Value {get;}
public Age(int value)
{
if(value <0 || value > 100) throw Exception()
r
Я тут обнаружил, что "You gotta get schwifty" возможно отсылка к канону Моцарта K. 231. Лучше бы я этого не обнаруживал.
DS
@DogeShibu как такое сделать в Scala. Аналогичный код
class Age
{
private int Value {get;}
public Age(int value)
{
if(value <0 || value > 100) throw Exception()
class Age
{
private int Value {get;}
public Age(int value)
{
if(value <0 || value > 100) throw Exception()
ЕС
... и поэтому ты не будешь из юзать вообще, т.е. в задаче требующей интервалов интов которые у тебя полезут в матч ты будешь херачить ифами и писать тесты ?
Никто не пишет так как обозначено выше.
SP
выше это где? в статье про скала или никто не выносит в типы литералы аля 10?
SP
ну на редкий кейс редкий ответ. а вот ньютайпы юзают
ЕС
case class UserId(value:Int) это если в самом простом виде. Чуть покруче public Age(int value) => if(value < 0 || value > 100) throw new Exception(“Not valid value”)
Вот это.
VS
Вот это.
Программисты выше среднего в тех проектах которые для них важны ещё как пишут.
DS
Вот это.
Пишут такое.
У меня все айди на последних двух работах были типизированны подобным образом. В некоторых местах вообще refined типы по максимуму юзались.
У меня все айди на последних двух работах были типизированны подобным образом. В некоторых местах вообще refined типы по максимуму юзались.
H
пишут ещё как, тот же Span
ЕС
Пишут такое.
У меня все айди на последних двух работах были типизированны подобным образом. В некоторых местах вообще refined типы по максимуму юзались.
У меня все айди на последних двух работах были типизированны подобным образом. В некоторых местах вообще refined типы по максимуму юзались.
А я единорог.
🦄
🦄
DS
А я единорог.
🦄
🦄
Типизированные айди - это дико простой и удобный способ избежать фигни в духе:
doSomethingInDatabase(Uuid userId, Uuid entityId, ...)
doSomethingInDatabase(Uuid userId, Uuid entityId, ...)
DS
А я единорог.
🦄
🦄
А про refined типы - вот вполне используемая в scala мире либа: https://github.com/fthomas/refined
SS
Помню, было время когда в Раст группе было ровно в 2 раза меньше людей чем в го
