M
Но чё делать то с этим? :) Пока я asInstanceOf делаю и это работает
Если ты можешь гарантировать, что там все ок по типам и ты не ошибся в своих вычислениях - то в таких случаях возможно это лучший выход
Size: a a a
2020 November 27
M
А, то есть это кайнд прожектор не так раскрывает звёздочки свои в лямбду получается?
Он раскрывает их в соответствии с тем как декларирует, но тут масло масляное и это поведение не предусмотрено. Возможно у него есть какой-то хинт для таких случаев, но надо подробнее смотреть
Oℕ
Но чё делать то с этим? :) Пока я asInstanceOf делаю и это работает
ну законтрибуть lift1 просто
ЮБ
ну законтрибуть lift1 просто
Для типов с дыркой?
Oℕ
Oℕ
в дотти можно будет сделать поликайндным, но типы кайнды выводиться не будут
ЮБ
Я надеюсь такие либы не нужны будут в дотти вообще, после введения opaque types
Oℕ
нужны, конечно
Oℕ
всё, что изменится в дотти - это то, что раньше нужно было в одном месте написать .asInstanceOf, а теперь не нужно будет
никаких синтаксисов, коершенов, лифтокоершенов, ничего такого не предвидится
никаких синтаксисов, коершенов, лифтокоершенов, ничего такого не предвидится
M
А, то есть это кайнд прожектор не так раскрывает звёздочки свои в лямбду получается?
вот в еще более упрощенном виде проблема
type A[F[_]] = WriterT[F, List[String], *] // type Λ$ takes type parameters
Oℕ
вы, возможно, полагали, что вам поставят всю машинерию ньютайпную из хаскеля, но на самом деле поставят ключевое слово, которое в одном месте включает трюк для копилятора, который превратит алиас за пределами скоупа определения в абстрактный тип и всё
M
вот в еще более упрощенном виде проблема
type A[F[_]] = WriterT[F, List[String], *] // type Λ$ takes type parameters
а вот так потребно
type A[F[_]] = WriterT[F, List[String], ({type Λ$[a] = WriterT[F, List[String], a]})#Λ$[_]]ЮБ
а вот так потребно
type A[F[_]] = WriterT[F, List[String], ({type Λ$[a] = WriterT[F, List[String], a]})#Λ$[_]]Жесть конечно
ЮБ
но я понял проблему, спасибо
ЮБ
вы, возможно, полагали, что вам поставят всю машинерию ньютайпную из хаскеля, но на самом деле поставят ключевое слово, которое в одном месте включает трюк для копилятора, который превратит алиас за пределами скоупа определения в абстрактный тип и всё
По крайней мере такие либы будет намного проще запилить
Oℕ
По крайней мере такие либы будет намного проще запилить
чем
Oℕ
Вот этот исходник станет короче на одну эту строку
https://github.com/rudogma/scala-supertagged/blob/master/src/main/scala/supertagged/package.scala#L23
https://github.com/rudogma/scala-supertagged/blob/master/src/main/scala/supertagged/package.scala#L23
Oℕ
Вот такая простота
Oℕ
Ну можно ещё конечно фигурные скобки убрать, но опаки ни при чём
ЮБ
Олег, ну ты зачем такое делаешь