юзабельно только в vim

идея нихрена не видит

печальненько)

@odomontois а ты что скажешь?

@odomontois а ты что скажешь?

очень юзабельно, на ИДЕЮ привык забивать, но liberator всё равно круче

Я тут чутка по shapeless-у угорел. Захотел запилить generic unapply для pattern-matching, но чот не взлетело. Может у кого есть идеи как такое можно завести? код тут: https://scastie.scala-lang.org/hbFm2IVmRIqzd6h6MT3Gsg UPD: https://issues.scala-lang.org/browse/SI-884 похоже я слишком много хочу от скалы :/

ты разве не знал, что в мире скалатипчикров паттерн-матчинг - это implicit def?

так глубоко копать в эту сторону не приходилось до этого

ты разве не знал, что в мире скалатипчикров паттерн-матчинг - это implicit def?

завести твою херню потенциально можно с помощью macro Dynamic, либо просто делая специализированные унаппплайеры

очень юзабельно, на ИДЕЮ привык забивать, но liberator всё равно круче

ну если забивать на идею, то да, выглядить очень даже очень

очень юзабельно, на ИДЕЮ привык забивать, но liberator всё равно круче

мне понравилась идея с использованием free и tagless)

на самом деле я так понял, что они сделают поддержку идеи

мне понравилась идея с использованием free и tagless)

иди теперь liberator смотри

кароч ребзя делают правильный спринг

кароч ребзя делают правильный спринг

мб мб

пойду принесу в проект новое

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

они типа эт оптимизируют

ну правильнее сказать фримонады копродуктов алгебр

они типа эт оптимизируют

нет, не оптимизируют

А это не компилятор должен делать?

Почему перформанс в жопу ?

нет, не оптимизируют

один хер я возьму tagless xD

А это не компилятор должен делать?

а нет способа это соптимизировать в жвм, можно просто гонять чистыми тэглесс

Лично я думаю, что @module можно было бы соптимайзить в AnyRef

Но опять же только если это модуль чистых алгебр, вот этот @module trait App { val interaction: Interaction.StackSafe val validation: Validation.StackSafe val log: LoggingM }в рантайме наверняка же обёрка из Evalов

ну и главное, что эта вся фигня только для ровно одного специфичного случая Algebra[F[_]]

т.е. чуть влево, чуть вправо - пиши всё сам

Акка лучше?)

Акка лучше?)

akka stream, как представитель Generalized Arrow лучше, но swave ещё круче

О, узнал что-то новое

@notxcain расскажешь за скаламету в гиттере?

Как генерить тайп-параметры, пробую так val name = Type.Name ("foo") tparam"$name :Foo" получаю end of file expected but : found

нет, не оптимизируют

ну не то чтобы совсем нет, вот у них там https://www.47deg.com/blog/iota-v0-1-0-release/ с графиками что не совсем все плохо

@odomontois я бы рад но сейчас не у компа и иду на посадку в самолет и может только в воскресение будет время. Самый луший варик если в лоб не работает, это сначала распарсить кусок кода посмотреть как он выглядит в скаламета аст, а потом собрать нечто похожее из аст и лишь потом через квазиквоты

Ну я так делал когда разбирался

Просто println dat shit

ну я смог сделать вот так tparam"T :TypeDefiner".copy(name = Type.Name(c.toString))

а как нормально это имя в интерполяцию засунуть - не пойму

Как генерить тайп-параметры, пробую так val name = Type.Name ("foo") tparam"$name :Foo" получаю end of file expected but : found

куда дальше этт кусок будет вставляться?

куда дальше этт кусок будет вставляться?

в другой код в качестве списка тайп-параметров

Если очень очень очень конкретно нужно, я генерю инстансы для

туплов

у меня есть val alphabet = 'A' to 'Z'

val tparams = alphabet.take(t).map { c => tparam"T :TypeDefiner".copy(name = Type.Name(c.toString)) }

в другой код в качестве списка тайп-параметров

так дальше хочешь? def method(${param1}, ${param2}) ? вот эти парамы тебе надо?

так дальше хочешь? def method(${param1}, ${param2}) ? вот эти парамы тебе надо?

да нет же, тайппараметры

def method[..$tparams]

да нет же, тайппараметры

[ ... ] - квадратные?

во. ща

val typ = Type.Name(p.decltpe.get.syntax) после этого можно использовать там где тип нужен val sss = q"def method[${typ} : ${typ}]

Type.Name - там стринг просто принимает

val typ = Type.Name(p.decltpe.get.syntax) после этого можно использовать там где тип нужен val sss = q"def method[${typ} : ${typ}]

не понял

зачем мне это?

у меня не макрос

это скаламета)

у меня нет p.decltpe

p.declttpe - тебе не нужен - это просто я кусок у себя взял. там просто стринг в Type.Name идет

короче, есть имя строкой, как сгенерить тайп-параметр с этим именем

p.declttpe - тебе не нужен - это просто я кусок у себя взял. там просто стринг в Type.Name идет

у меня много тайп-параметров

список их

поэтому, как я сразу написал я использую tparam""

список их

сейчас посмотрю как для списка, недавно с этим игрался

у меня много тайп-параметров

что-то не могу найти, где-то было, а где не помню( Попробую сейчас заново собрать, самому все равно пригодится. Лень в читшит заносить, как за мету сажусь - как в первый раз всегда ?

Ну т.е. странно, что интерполяция не принимает Type.Name, вроде он экстендит Type.Param.Name и всё должно быть ок

Ну т.е. странно, что интерполяция не принимает Type.Name, вроде он экстендит Type.Param.Name и всё должно быть ок

val t1 = Type.Name("T1") val t2 = Type.Name("T2") val tpes = Seq(t1,t2) val mods = Seq.empty[Mod] val tparam = tparam"..$mods ${t1} : ..${tpes}"

val t1 = Type.Name("T1") val t2 = Type.Name("T2") val tpes = Seq(t1,t2) val mods = Seq.empty[Mod] val tparam = tparam"..$mods ${t1} : ..${tpes}"

блджад, т.е. mods обязателен?

ERROR: S client not available

да, мир несовершенен. по крайней мере с ним компилится. не смотрел во что развернется, но похоже на правду

лал, вот так работает tparam"..$Nil $name :TypeDefiner"

лал, вот так работает tparam"..$Nil $name :TypeDefiner"

ну тоже самое. просто заглушка же для емпти листа с нафингом)

да, просто смешно выглядит

#scalameta , чтобы потом в хистори найти. а то я постоянно эту ерунду заново прохожу)

@odomontois а ты про iota чтот сказал?

запилите ишью в парсере — такую фигню можно на его уровне исправить

(про необходимый список модификаторов)

@odomontois а ты про iota чтот сказал?

ааа нет, но йота - это всё равно обёртка, просто обёртка с интом

Я прост не видел

но мне нравится название вот этого объекта https://github.com/frees-io/iota/blob/master/modules/core/src/main/scala/iota/internal/catryoshka.scala

догадываюсь, что это маленький клон slamdata/matryoshka

ну да /** A gross oversimplification/hack of Matryoshka, but for Cats * instead of Scalaz, and also tailored to the specific needs * of Iota.

Картешка лель

Картошка

Нужны было

Создай им баг

>> Создай им баг ?

Создай им баг

не было печали, пока баг не создали

Я лично поставлю палец вверх, если создадите

запилите ишью в парсере — такую фигню можно на его уровне исправить

https://github.com/scalameta/scalameta/issues/1006 - правильно? или не туда или не так? ?

жили ребята жили, а потом им баг создали

https://github.com/scalameta/scalameta/issues/1006 - правильно? или не туда или не так? ?

? вроде там распилили на scalamacros, но парсер ещё в этой репе

https://github.com/scalameta/scalameta/issues/1006 - правильно? или не туда или не так? ?

Seq.empty[Mod] - тут, конечно, требует уточнения, учитывая, что они принимают только immutable.Seq а scala.Seq = collection.Seq

https://github.com/scalameta/scalameta/blob/1af15eb96c30c437d1b4aa57aca1740a36ed44a4/scalameta/parsers/shared/src/main/scala/scala/meta/internal/parsers/ScalametaParser.scala#L2614-L2654

Seq.empty[Mod] - тут, конечно, требует уточнения, учитывая, что они принимают только immutable.Seq а scala.Seq = collection.Seq

так без импортов мутабла по дефолту и есть иммутабл) думаю, что не критично. я скомпилял - проверил. норм

если совсем скучно, можно тут поправить)

так без импортов мутабла по дефолту и есть иммутабл) думаю, что не критично. я скомпилял - проверил. норм

неа, есть collection.Seq immutable.Seq <: collection.Seq mutable.Seq <: collection.Seqвот простой код без дополнительных импортов с Seq.empty не компилится, потому что по дефолту это collection.Seq

type mismatch when unquoting; [error] found : Seq[scala.meta.Mod] (in scala.collection) [error] required: Seq[scala.meta.Mod] (in scala.collection.immutable) [error] name => tparam"..${Seq.empty[Mod]} $name :TypeDefiner"

неа, есть collection.Seq immutable.Seq <: collection.Seq mutable.Seq <: collection.Seqвот простой код без дополнительных импортов с Seq.empty не компилится, потому что по дефолту это collection.Seq

а ведь и правда. там вверху иммутабл прописался. не обратил внимания. сейчас подправлю

Кстати, в шаплеззе тоже задумываются об ускорении Miles Sabin @milessabin июль 03 16:33 @/all someone was talking to me recently about an hlist implementation which was backed by an array. Embarrassingly I've completely forgotten who that was and I can't track down the conversation. IIRC I suggested that they look at the smc branch to see if if their implementation might fit into that approach. Olivier Blanvillain @OlivierBlanvillain июль 03 17:36 @milessabin There is this lampepfl/dotty#2199 (still wip), and Szeiger's work on HArray, if anyone has something else no the subject please ping me as well!

т.е. возможно у нас всюду будут HList ы на арраях и копродукты на int tag ах