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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Scala User Group

1962 membersпожаловаться на группу
2020 June 05

Oℕ

Oleg ℕizhnik in Scala User Group
когда вы будете свой апи привязывать прочитанный User будет передан в аргумент user метода describe
источник
12:34пожаловаться#1

A

Alexey in Scala User Group
Oleg ℕizhnik
имя параметра появляется с одной стороны в сваггере
вот там то как раз я его найти и не смог.
источник
12:42пожаловаться#2

K

Kai in Scala User Group
Oleg ℕizhnik
говно на генерации энивалов с ковариантным по F синтаксисом
https://github.com/scala/bug/issues/11789
GitHub
Cannot widen a HKT parameter with covariant type parameters · Issue #11789 · scala/bug
Example: case class Holder[F[+_, +_]](v: F[Int, Int]) { def asWiden[F2[+x, +y] >: F[x, y]]: F2[Int, Int] = v } object example extends App { println(Holder[Right](Right(5)).asWiden[Either]) }...
источник
12:45пожаловаться#3

Oℕ

Oleg ℕizhnik in Scala User Group
Kai
https://github.com/scala/bug/issues/11789
GitHub
Cannot widen a HKT parameter with covariant type parameters · Issue #11789 · scala/bug
Example: case class Holder[F[+_, +_]](v: F[Int, Int]) { def asWiden[F2[+x, +y] >: F[x, y]]: F2[Int, Int] = v } object example extends App { println(Holder[Right](Right(5)).asWiden[Either]) }...
нет не это
источник
13:08пожаловаться#4

Oℕ

Oleg ℕizhnik in Scala User Group
там ошибка при генерации говен для энивалов статических
источник
13:09пожаловаться#5

K

Kai in Scala User Group
Oleg ℕizhnik
нет не это
Эта ошибка на 2.13.2?
источник
13:09пожаловаться#6

Oℕ

Oleg ℕizhnik in Scala User Group
на обеих, да
источник
13:09пожаловаться#7

Oℕ

Oleg ℕizhnik in Scala User Group
ща минимизирую
источник
13:09пожаловаться#8

K

Kai in Scala User Group
Попробуй все типы аннотировать еще
источник
13:10пожаловаться#9

K

Kai in Scala User Group
такого не встречал
источник
13:10пожаловаться#10

Oℕ

Oleg ℕizhnik in Scala User Group
https://scastie.scala-lang.org/Odomontois/XwUNIW9kRWCxs6GIcblH6w
источник
13:18пожаловаться#11

Oℕ

Oleg ℕizhnik in Scala User Group
аннотирование не помогает
источник
13:19пожаловаться#12

Oℕ

Oleg ℕizhnik in Scala User Group
наблюдается только с uncheckedVariance
источник
13:19пожаловаться#13

Oℕ

Oleg ℕizhnik in Scala User Group
https://github.com/scala/bug/issues/12028
GitHub
Typecheck error on covariant HKT inside AnyVal with uncheckedVariance · Issue #12028 · scala/bug
reproduction steps using Scala 2.13\ 2.12 with the following code import scala.annotation.unchecked.uncheckedVariance trait TypeClass[F[_, _]] { def action[A, B](foo: F[A, B], bar: F[A, B]): F[A, B...
источник
13:25пожаловаться#14

K

Kai in Scala User Group
Oleg ℕizhnik
наблюдается только с uncheckedVariance
А если unchecked ставить на параметры а не на хкт?
источник
13:43пожаловаться#15

K

Kai in Scala User Group
F1[+e, +a] >: F[e @uv, a @uv]
источник
13:43пожаловаться#16

А⚙

Антон ⚙️ in Scala User Group
Kai
F1[+e, +a] >: F[e @uv, a @uv]
Чего
источник
13:54пожаловаться#17

Oℕ

Oleg ℕizhnik in Scala User Group
Kai
F1[+e, +a] >: F[e @uv, a @uv]
то же самое
источник
13:58пожаловаться#18

Oℕ

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

Oℕ

Oleg ℕizhnik in Scala User Group
прост энивал и анчекд
источник
13:59пожаловаться#20