Телеграмм чат группы scala_ru страница 11719

parrot.ru

Рейтинг популярных групп и каналов

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Scala User Group

1714 membersпожаловаться на группу

2019 December 28

Oℕ

Oleg ℕizhnik in Scala User Group

Помогли в гиттере https://scastie.scala-lang.org/uf4wiDebRIGOOEYBxe8JaQ
Теперь я умею дефайнить рекурсивные типы с дырками) Сомнительный навык, но иногда, увы, полезный.

Scastie - An interactive playground for Scala.

Scastie can run any Scala program with any library in your browser. You don’t need to download or install anything.

в дотти, кстати, не прокатит

источник

08:13пожаловаться #1

Oℕ

Oleg ℕizhnik in Scala User Group

даже хотел сделать для этого EnvF[T[_[_]], A] ~ T[EnvF[T, *]] => Task[A]

источник

08:14пожаловаться #2

Oℕ

Oleg ℕizhnik in Scala User Group

Может, добавим в Кириллову поделку

источник

08:15пожаловаться #3

SA

Sergey Alaev in Scala User Group

в дотти, кстати, не прокатит

не прокатит именно так или не прокатит вообще, даже если захочется пробросить Something[F] через ApplicativeAsk?

источник

10:31пожаловаться #4

Oℕ

Oleg ℕizhnik in Scala User Group

не прокатит именно так или не прокатит вообще, даже если захочется пробросить Something[F] через ApplicativeAsk?

любые циклические референсы в алиасах
https://scastie.scala-lang.org/Odomontois/qHsxD49sSJKFlkTh2FscBQ

источник

10:55пожаловаться #5

Oℕ

Oleg ℕizhnik in Scala User Group

к ОГРОМНОМУ СОЖАЛЕНИЮ opaque ов это тоже касается

источник

10:55пожаловаться #6

Oℕ

Oleg ℕizhnik in Scala User Group

https://scastie.scala-lang.org/Odomontois/qHsxD49sSJKFlkTh2FscBQ/2

источник

10:56пожаловаться #7

Oℕ

Oleg ℕizhnik in Scala User Group

это значит, что классический
newtype Fix f = f (Fix f)
нужно костылить старым деревенским образом через instanceOf

источник

10:57пожаловаться #8

Oℕ

Oleg ℕizhnik in Scala User Group

т.е. вот так https://github.com/Odomontois/kuraga/blob/master/src/main/scala/playground/free/fix.scala#L21

источник

10:58пожаловаться #9

λ

λoλcat in Scala User Group

к ОГРОМНОМУ СОЖАЛЕНИЮ opaque ов это тоже касается

Предательство

источник

11:01пожаловаться #10

λ

λoλcat in Scala User Group

Ппц

источник

11:02пожаловаться #11

Oℕ

Oleg ℕizhnik in Scala User Group

Предательство

+

источник

11:02пожаловаться #12

λ

λoλcat in Scala User Group

Почему из дотти опять говно сделали

источник

11:03пожаловаться #13

λ

λoλcat in Scala User Group

С инстансофами

источник

11:03пожаловаться #14

Oℕ

Oleg ℕizhnik in Scala User Group

можно попробовать хакнуть через матч тайпы

источник

11:04пожаловаться #15

Oℕ

Oleg ℕizhnik in Scala User Group

я ещё не засиживался с этим

источник

11:04пожаловаться #16

Oℕ

Oleg ℕizhnik in Scala User Group

матч тайпы позволяют рекурсию

источник

11:04пожаловаться #17

Oℕ

Oleg ℕizhnik in Scala User Group

тайп алиасы понятно почему не позволяют рекурсию - ансаунд

источник

11:08пожаловаться #18

Oℕ

Oleg ℕizhnik in Scala User Group

опаки сделали через тайп-алиасы, просто типа вся часть кода за пределами компаньона не должна знать о том, чему тип равен

источник

11:08пожаловаться #19

λ

λoλcat in Scala User Group

опаки сделали через тайп-алиасы, просто типа вся часть кода за пределами компаньона не должна знать о том, чему тип равен

Не знал

источник

11:09пожаловаться #20