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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Scala User Group

1781 membersпожаловаться на группу
2020 March 13

AS

Alex Sh in Scala User Group
Народ, вопрос.

Ести какой-нть способ указать wildcard для higher-kinded type?
Например у нас есть функция такой сигнатуры:

http4s.Request[_] => F[Boolean] // does not compile

Логика этой функции не зависит от эффекта в http4s.Request.
Но никак не могу выразить это так, чтобы scalac понял
источник
17:20пожаловаться#1

HV

Henadz Varantsou in Scala User Group
Alex Sh
Народ, вопрос.

Ести какой-нть способ указать wildcard для higher-kinded type?
Например у нас есть функция такой сигнатуры:

http4s.Request[_] => F[Boolean] // does not compile

Логика этой функции не зависит от эффекта в http4s.Request.
Но никак не могу выразить это так, чтобы scalac понял
забавно, как раз вчера с такой же проблемой боролся
источник
17:22пожаловаться#2

VS

Vladimir Sam in Scala User Group
не помогло подчеркивание, попробовать ? из кайнд прожектора?
источник
17:22пожаловаться#3

VS

Vladimir Sam in Scala User Group
хотя т.к. там в дырке дырка, то мб придется с фейковым, неиспользуемым тайп параметром чтото мутить
источник
17:23пожаловаться#4

AS

Andrey Sugak in Scala User Group
Alex Sh
Народ, вопрос.

Ести какой-нть способ указать wildcard для higher-kinded type?
Например у нас есть функция такой сигнатуры:

http4s.Request[_] => F[Boolean] // does not compile

Логика этой функции не зависит от эффекта в http4s.Request.
Но никак не могу выразить это так, чтобы scalac понял
*[_] => F[Boolean]?
источник
17:23пожаловаться#5

Oℕ

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

ᛒ

ᛒᚨᚱᛏᛟᛋᛋᛟ in Scala User Group
Alex Sh
Народ, вопрос.

Ести какой-нть способ указать wildcard для higher-kinded type?
Например у нас есть функция такой сигнатуры:

http4s.Request[_] => F[Boolean] // does not compile

Логика этой функции не зависит от эффекта в http4s.Request.
Но никак не могу выразить это так, чтобы scalac понял
_[_]
источник
17:23пожаловаться#7

HV

Henadz Varantsou in Scala User Group
ᛒᚨᚱᛏᛟᛋᛋᛟ
_[_]
кто-то ещё на брейнфак гонит
источник
17:23пожаловаться#8

HV

Henadz Varantsou in Scala User Group
в Скале походу можно на одних подчёркиваниях писать код
источник
17:24пожаловаться#9

AS

Alex Sh in Scala User Group
ᛒᚨᚱᛏᛟᛋᛋᛟ
_[_]
Error:(125, 32) _$1 does not take type parameters
 def extract(request: Request[_[_]]): IO[Boolean] = ???
источник
17:25пожаловаться#10

AS

Andrey Sugak in Scala User Group
Alex Sh
Error:(125, 32) _$1 does not take type parameters
 def extract(request: Request[_[_]]): IO[Boolean] = ???
Так а в чем проблема тут тайп параметр объявить?
источник
17:26пожаловаться#11

Oℕ

Oleg ℕizhnik in Scala User Group
Alex Sh
Народ, вопрос.

Ести какой-нть способ указать wildcard для higher-kinded type?
Например у нас есть функция такой сигнатуры:

http4s.Request[_] => F[Boolean] // does not compile

Логика этой функции не зависит от эффекта в http4s.Request.
Но никак не могу выразить это так, чтобы scalac понял
А вы абсолютно уверены, что у вас там вайлкард?
F внутри Request не должен совпадать с F  в результате?
источник
17:26пожаловаться#12

AS

Alex Sh in Scala User Group
Oleg ℕizhnik
А вы абсолютно уверены, что у вас там вайлкард?
F внутри Request не должен совпадать с F  в результате?
Уже не очень 😅
источник
17:39пожаловаться#13

Oℕ

Oleg ℕizhnik in Scala User Group
ну тогда сделайте просто специализированный трейт
источник
17:40пожаловаться#14

Oℕ

Oleg ℕizhnik in Scala User Group
trait ModFun[A[_[_]], B[_[_]]{
  def apply[F[_]](af: A[F]): B[F]
}

type FApp[F[_], R] = F[R]

type ReqPredicate = Request ModFun FApp[*[_], Boolean]
источник
17:44пожаловаться#15

VS

Vladimir Sam in Scala User Group
скаланы, есть что почитать про кэширование sbt сборок на дженкинсе?
источник
17:44пожаловаться#16

VS

Vladimir Sam in Scala User Group
цель - чтобы инкременталка в рамках ветки нормально работала
источник
17:44пожаловаться#17

Oℕ

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

AS

Alex Sh in Scala User Group
Oleg ℕizhnik
ну тогда сделайте просто специализированный трейт
Наверное так и сделаем
источник
17:53пожаловаться#19
2020 March 14

AS

Artem Sokolov in Scala User Group
Подскажите пожалуйста,, в одном из последних выпусков scalalaz упоминался курс Scala для тех кто 0 в программировании.
Есть ссылка или имя автора или название канала..?
источник
00:08пожаловаться#20