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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Scala User Group

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

M

Mikhail in Scala User Group
Yaroslav Sushkov
ну мне хотелось описать инвариант на уровне типов, чтобы туда физически не положить невалидные данные
еще раз - если ты парсишь - ты делаешь это в рантайме, значит итоговый тип у тебя в рантайме только сможет получиться и значит ты не можешь к нему никаких компайл тайм проверок накрутить
источник
19:37пожаловаться#1

M

Mikhail in Scala User Group
Oleg ℕizhnik
Как закодировать, что хлист не содержит других элементов, кроме A, B, C, D?
эталон уже кодировка
источник
19:38пожаловаться#2

M

Mikhail in Scala User Group
хотя этало не нужен
источник
19:39пожаловаться#3

M

Mikhail in Scala User Group
достаточно в эвиденсе проверить, что внутри не более одного экземпляра каждого типа
источник
19:39пожаловаться#4

M

Mikhail in Scala User Group
само в себя
источник
19:39пожаловаться#5

M

Mikhail in Scala User Group
Mikhail
достаточно в эвиденсе проверить, что внутри не более одного экземпляра каждого типа
вернее, если нужно для произвольного a,b,c,d. если ограниченное, то надо предоставить конечно базовый набор)
источник
19:40пожаловаться#6

Oℕ

Oleg ℕizhnik in Scala User Group
Не оч понятно
источник
19:40пожаловаться#7

Oℕ

Oleg ℕizhnik in Scala User Group
давайте сократим задачу до двух
источник
19:45пожаловаться#8

Oℕ

Oleg ℕizhnik in Scala User Group
как закодировать A Ior B с помощью шейрлеса, так чтобы порядок A и B не играл роли
источник
19:45пожаловаться#9

M

Mikhail in Scala User Group
Oleg ℕizhnik
как закодировать A Ior B с помощью шейрлеса, так чтобы порядок A и B не играл роли
https://github.com/rudogma/scala-superquants там я проверяю формулы. порядок как раз не важен. но важно, чтобы все встречалось в точности не более и не менее одного раза
GitHub
rudogma/scala-superquants
Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100% - rudogma/scala-superquants
источник
19:46пожаловаться#10

YS

Yaroslav Sushkov in Scala User Group
Mikhail
еще раз - если ты парсишь - ты делаешь это в рантайме, значит итоговый тип у тебя в рантайме только сможет получиться и значит ты не можешь к нему никаких компайл тайм проверок накрутить
ну это как с Refined, что у него есть compile-time проверки, и есть runtime, которые возвращают Either
источник
19:47пожаловаться#11

Oℕ

Oleg ℕizhnik in Scala User Group
Mikhail
https://github.com/rudogma/scala-superquants там я проверяю формулы. порядок как раз не важен. но важно, чтобы все встречалось в точности не более и не менее одного раза
GitHub
rudogma/scala-superquants
Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100% - rudogma/scala-superquants
а где там?
источник
19:47пожаловаться#12

Oℕ

Oleg ℕizhnik in Scala User Group
как тип то выглядит?
источник
19:47пожаловаться#13

M

Mikhail in Scala User Group
Yaroslav Sushkov
ну это как с Refined, что у него есть compile-time проверки, и есть runtime, которые возвращают Either
так где там у тебя необходимость компайл тайм я так и не понял
источник
19:47пожаловаться#14

YS

Yaroslav Sushkov in Scala User Group
Mikhail
так где там у тебя необходимость компайл тайм я так и не понял
да нету ее, я про то как представить модель данных, которая уже валидная
источник
19:48пожаловаться#15

M

Mikhail in Scala User Group
Oleg ℕizhnik
как тип то выглядит?
нельзя в самом типе. только имплисит проверкой и потом тегаешь, что ты зарефайнил
источник
19:48пожаловаться#16

YS

Yaroslav Sushkov in Scala User Group
Yaroslav Sushkov
да нету ее, я про то как представить модель данных, которая уже валидная
чтобы в нее нельзя было засунуть неправильные данные
источник
19:48пожаловаться#17

Oℕ

Oleg ℕizhnik in Scala User Group
Mikhail
нельзя в самом типе. только имплисит проверкой и потом тегаешь, что ты зарефайнил
ну тип метода
источник
19:48пожаловаться#18

M

Mikhail in Scala User Group
Yaroslav Sushkov
чтобы в нее нельзя было засунуть неправильные данные
покажи код. как ты это планируешь использовать
источник
19:49пожаловаться#19

Oℕ

Oleg ℕizhnik in Scala User Group
что-то
источник
19:49пожаловаться#20