YY
@getArtemUsername пробовали staging ?
Просто там можно в Expr[Expr[Expr[T]]] …
Просто там можно в Expr[Expr[Expr[T]]] …
Size: a a a
2021 September 24
АК
нет, выглядит пока как экспериментально экспериментальная штука
АК
мне пока надо достать из блока кода стейтменты в виде Seq[Expr[Any]] но судя по всему так пока нельзя
YY
Пишу http/3 сервак (переписываю с fs2-http / http4s) могу сказать что вся скала3 «эксперементально-эксперементальная» по количеству багов и недостатку документации с которой столкнулся.
YY
Вроде блоком матчить можно Expr.block, потом фильтровать блок и использовать Expr.ofSeq для трансформации результата.
Чисто Seq[Expr[Any]] матчить низя из-за инлайнинга и staging… «строгие сильно»
Чисто Seq[Expr[Any]] матчить низя из-за инлайнинга и staging… «строгие сильно»
АК
так оно
АК
документация квазиквот хорошая была
YY
Сейчас в парсере стабильно раз в неделю какую-то бажину оч страшную ловлю, хорошо что хоть компиляхтор Tasty более-менее стабильный.
YY
Типа вот такого бреда
https://github.com/lampepfl/dotty/issues/13554#issuecomment-926501993
https://github.com/lampepfl/dotty/issues/13554#issuecomment-926501993
DR
Гвинтiвка - це радость!
YY
* мем про истребление багов
ЮБ
Я сейчас попробовал написать инстанс и вижу, что там тупо не сходится по типам. Главная проблема в
release у метода bracketCase. Для стрима там получается (A, ExitCase[Throwable]) => fs2.Stream[F, Unit], и в итоге какая-то белибердаЮБ
Ещё Фабио в дискорде говорит, что брэкет для ио и для стрима концептуально разные
λ
По типам сходится
λ
А по концепту да - ресурсный скоуп стрима может быть разным
ЮБ
И по типам тоже не сходтися. Потому что на стриме определён брэкет так, что него release это
A => F[Unit], а не A => Stream[F, Unit]. А из второго первое не получить без компиляции стрима, а это уже совсем другая историяλ
А.
λ
Да, возможно
C
Оскар Антонов has been banned! Reason: CAS ban.