В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Scala User Group

1743 membersпожаловаться на группу
2020 January 24

YS

Yaroslav Sushkov in Scala User Group
Mikhail
это ты показываешь как раз рантайм часть, в которой компайл тайм тебе нах не нужен. ты покажи как ты потом работать собираешься с ABCDResult и где действительно показана необходимость компайл тайм ограничений на абцд.

если у тебя АБСД строится исключительно в рантайме, то просто убери всякую возможность построить АБЦД в компайл тайме обходя базовую проверку и все проблемы у тебя сами исчезнут
да понятное дело, что можно сделать приваный конструктор, и  метод у компаньона, который возвращает Either, но это какой-то java-way, еще бы assert в конструкторе бахнуть)
источник
20:12пожаловаться#1

M

Mikhail in Scala User Group
Yaroslav Sushkov
да понятное дело, что можно сделать приваный конструктор, и  метод у компаньона, который возвращает Either, но это какой-то java-way, еще бы assert в конструкторе бахнуть)
ты жертва маркетинга?
источник
20:13пожаловаться#2

AZ

Alex Zhukovsky in Scala User Group
Henadz Varantsou
если мы пишем class A[T] { ... } или trait B[T] { ... }
ну т.е. какую-нибудь конструкцию, параметризованную типом Т, как она называется по-русски в общем?
я нашёл в интернете упоминания на английском: generic class/trait
а как правильно назвать по-русски?
тайп конструктор / конструктор типа
источник
20:14пожаловаться#3

AZ

Alex Zhukovsky in Scala User Group
генерик тож норм
источник
20:14пожаловаться#4

M

Mikhail in Scala User Group
Yaroslav Sushkov
да понятное дело, что можно сделать приваный конструктор, и  метод у компаньона, который возвращает Either, но это какой-то java-way, еще бы assert в конструкторе бахнуть)
java-way  = return good or else throw. Either - уже не java way. И refined либа которую ты упомянул - половину результатов возвращает в том же Either - так что за фобия у тебя?
источник
20:15пожаловаться#5

AD

Apache DOG™ in Scala User Group
Henadz Varantsou
если мы пишем class A[T] { ... } или trait B[T] { ... }
ну т.е. какую-нибудь конструкцию, параметризованную типом Т, как она называется по-русски в общем?
я нашёл в интернете упоминания на английском: generic class/trait
а как правильно назвать по-русски?
Почему не написать дженерик класс
источник
20:16пожаловаться#6

YS

Yaroslav Sushkov in Scala User Group
Mikhail
java-way  = return good or else throw. Either - уже не java way. И refined либа которую ты упомянул - половину результатов возвращает в том же Either - так что за фобия у тебя?
мне кажется мы не понимаем друг друга. я ничего не имею против Either. Refined возвращает Either[String, Int Refined Positive] = Right(42)
источник
20:17пожаловаться#7

YS

Yaroslav Sushkov in Scala User Group
Mikhail
java-way  = return good or else throw. Either - уже не java way. И refined либа которую ты упомянул - половину результатов возвращает в том же Either - так что за фобия у тебя?
т.е. вопрос в пердставлении того, что справа лежит
источник
20:17пожаловаться#8

YS

Yaroslav Sushkov in Scala User Group
Yaroslav Sushkov
т.е. вопрос в пердставлении того, что справа лежит
там не  Int возвращается, а Int Refined Positive
источник
20:17пожаловаться#9

YS

Yaroslav Sushkov in Scala User Group
я так понимаю там фантомные типы используются, и это дело просто кастится. Но по сигнатуре ты просто инт не засунешь туда, где Int Refined Positive требуется
источник
20:19пожаловаться#10

M

Mikhail in Scala User Group
Yaroslav Sushkov
там не  Int возвращается, а Int Refined Positive
и что дальше?

`
// указом от 24 января сего года (2020 г. от рождества Христова)  закрепляю за этим трейтом мистические свойства
trait ABCD {}
object ABCD {
def apply():Either[String, ABCD]
`
справа тоже не инт, как видишь
источник
20:20пожаловаться#11

YS

Yaroslav Sushkov in Scala User Group
Mikhail
и что дальше?

`
// указом от 24 января сего года (2020 г. от рождества Христова)  закрепляю за этим трейтом мистические свойства
trait ABCD {}
object ABCD {
def apply():Either[String, ABCD]
`
справа тоже не инт, как видишь
🤦‍♂️
источник
20:21пожаловаться#12

YS

Yaroslav Sushkov in Scala User Group
расходимся
источник
20:22пожаловаться#13

YS

Yaroslav Sushkov in Scala User Group
это из разряда а нафига  NonEmptyList в котах? пусть везде Option[List[T]] тащат и компаньон забацать с проверкой
источник
20:25пожаловаться#14

YS

Yaroslav Sushkov in Scala User Group
изи же
источник
20:25пожаловаться#15

M

Mikhail in Scala User Group
Yaroslav Sushkov
я так понимаю там фантомные типы используются, и это дело просто кастится. Но по сигнатуре ты просто инт не засунешь туда, где Int Refined Positive требуется
Ну это как бы первое, чего мы ждем от языков с компайл тайм проверкой типов. Область вычислений и доказательств на типах - это совсем другое и ты ни разу не показал, что оно действительно тебе требуется.
источник
20:25пожаловаться#16

M

Mikhail in Scala User Group
Yaroslav Sushkov
это из разряда а нафига  NonEmptyList в котах? пусть везде Option[List[T]] тащат и компаньон забацать с проверкой
и где тут компайл тайм вычисления и доказательства?
источник
20:26пожаловаться#17

YS

Yaroslav Sushkov in Scala User Group
да нету ее, я про то как представить модель данных, которая уже валидная
источник
20:27пожаловаться#18

YS

Yaroslav Sushkov in Scala User Group
все, не будем больше захламлять чатик лишней полемикой
источник
20:28пожаловаться#19

M

Mikhail in Scala User Group
Yaroslav Sushkov
да нету ее, я про то как представить модель данных, которая уже валидная
trait ABCD - вот так и представить. это примерно равноценно(если не брать несущественные нюансы с тегами - что не имеет отношения к текущему) Int Refined Positive. Только почему то у тебя иллюзии какие-то, что у второго представления какие-то особые мистические свойства. Но их нет
источник
20:29пожаловаться#20