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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Scala User Group

2310 membersпожаловаться на группу
2021 May 17

Oℕ

Oleg ℕizhnik in Scala User Group
те, кто пользовался либами вроде супертаггед могут спокойно продолжать пользоваться этими либами, я не думаю, что там какие-то серьёзные изменения нужно делать
источник
18:20пожаловаться#1

VE

Vasiliy Efimov in Scala User Group
но для двух зависимостей в злеере по идее

opaque type X = Y
Tag[X] != Tag[Y], это должно позволить обе положить
источник
18:28пожаловаться#2

Oℕ

Oleg ℕizhnik in Scala User Group
А
источник
18:30пожаловаться#3

Oℕ

Oleg ℕizhnik in Scala User Group
Ну тогда можно и X with MyTag
источник
18:30пожаловаться#4

λ

λoλcat in Scala User Group
Причина?
источник
18:32пожаловаться#5

Oℕ

Oleg ℕizhnik in Scala User Group
причина чего конкретно из упомянутого в реплике
источник
18:32пожаловаться#6

Oℕ

Oleg ℕizhnik in Scala User Group
почему я использую, или почему opaque такие
источник
18:33пожаловаться#7

λ

λoλcat in Scala User Group
Почему опаки не стали ньютайпами
источник
18:33пожаловаться#8

Oℕ

Oleg ℕizhnik in Scala User Group
сложна
источник
18:33пожаловаться#9

λ

λoλcat in Scala User Group
Непонятно
источник
18:33пожаловаться#10

λ

λoλcat in Scala User Group
Есть трэд с аргументами, почему не?
источник
18:33пожаловаться#11

λ

λoλcat in Scala User Group
Запрос от сообщества большой
источник
18:34пожаловаться#12

Oℕ

Oleg ℕizhnik in Scala User Group
мне кажется, нужно собирать треды про AnyVal ещё
источник
18:34пожаловаться#13

Oℕ

Oleg ℕizhnik in Scala User Group
и по project valhalla
источник
18:34пожаловаться#14

Oℕ

Oleg ℕizhnik in Scala User Group
Большая часть причины - JVM, которая всячески добавляет неприятных моментов компиляторам, которые хотят запретить унифицировать одинаковые в рантайме типы
источник
18:35пожаловаться#15

Oℕ

Oleg ℕizhnik in Scala User Group
Вторая жирная часть - ньютайпы большая сложная тема, которая до сих пор в разработке и не все согласны с тем, что она хорошо в хаскеле работает.
А в скале это будет и подавно сложно
источник
18:36пожаловаться#16

Oℕ

Oleg ℕizhnik in Scala User Group
Например, если захотеть выводить что-то вроде Coercible автоматически, это вообще будет фантастически сложно учитывая всё многообразие скалового типообразования, не говоря о том, что и с более простым автоматизмом в скале плохо
источник
18:38пожаловаться#17

Oℕ

Oleg ℕizhnik in Scala User Group
Скала вроде там делает что-то, чтобы начать запрещать вредоносные куски JVM, типа trait Matchable
источник
18:39пожаловаться#18

Oℕ

Oleg ℕizhnik in Scala User Group
Но лучше посмотреть, к чему придёт valhalla и просто впилить их результат, в случае успеха
источник
18:40пожаловаться#19

Oℕ

Oleg ℕizhnik in Scala User Group
следующий оратор @kai_neko
источник
18:40пожаловаться#20