+

в стек трейс смотри

это формат вида /file/name/class.scala:number

а я хочу прям код

код метода, который свалился

в классфайлах нет кода

ну вот, спасибо

можно поверху навернуть любой редактор кода

class.scala — это не .class

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

или я снова не понял)

Но не модно без котов

вот без котов, простое решение без патмат import shapeless._ object tryFold extends Poly1 { implicit def onError[T] = at[util.Failure[T]](fail => s"error ${fail.exception}") implicit def onSuccess[T] = at[util.Success[T]](x => s"success ${x.value}") } Generic[Try[Int]].to(Try(f)).map(tryFold).unify

Вот, как мне упростить вот это : https://scalafiddle.io/sf/bRX3XIK/0

кошек вставь

Вот, как мне упростить вот это : https://scalafiddle.io/sf/bRX3XIK/0

case class LoggingTry[T](tr: Try[T]) { def logErr(t: Throwable) = ??? def logSuc[A](x: A) = ??? def report() = tr.fold(logErr, logSuc) } implicit val loggingTry = new MonadError[LoggingTry, Throwable] { def pure[A](x: A): LoggingTry[A] = LoggingTry(util.Success(x)) def flatMap[A, B](fa: LoggingTry[A])(f: (A) => LoggingTry[B]): LoggingTry[B] = { fa.report() LoggingTry(fa.tr.flatMap(f andThen (_.tr))) } def tailRecM[A, B](a: A)(f: (A) => LoggingTry[Either[A, B]]): LoggingTry[B] = LoggingTry( Monad[Try].tailRecM(a){ x => val res = f(x) res.report() res.tr } ) def raiseError[A](e: Throwable): LoggingTry[A] = LoggingTry(util.Failure(e)) def handleErrorWith[A](fa: LoggingTry[A])(f: (Throwable) => LoggingTry[A]): LoggingTry[A] = LoggingTry(MonadError[Try, Throwable].handleError(fa.tr)(f andThen (_.tr))) }}

А ещё подождите

упростил так упростил)

Я упоминал фриманатки?

Я сначала хотел написать, что букв много, но потом ты отредактировал сообщение....

Просто делаешь логирующий интерпретатор для Either и всё

а не проще просто имплицит класс на try с функцией, которая принимает как логировать и возврщает тот же try

а не проще ли обычный try catch заюзать ?

Просто делаешь логирующий интерпретатор для Either и всё

object LoggingTryInterpreter extends (Try ~> Id) { def apply[A](fa: Try[A]): Id[A] = fa.fold(???, x => {???; x}) }

а не проще ли обычный try catch заюзать ?

На самом деле ему нужен Validation

ну теперь-то вопросов к коду нет, все идеально ясно с первого взгляда

На самом деле ему нужен Validation

вангую что да

Люди подскажите, реально ли в цепочке тасков запустить асинхронно какие то два таска в разных контестах?

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

Люди подскажите, реально ли в цепочке тасков запустить асинхронно какие то два таска в разных контестах?

да. Просто явно указываешь и всё

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

ну дык АККА жеж

Люди подскажите, реально ли в цепочке тасков запустить асинхронно какие то два таска в разных контестах?

monix?

ну что то типо val task = for { _ <- t1 res <- t2 } yield t2 t2.runAsync ну и типо запустить t1 в одном контексте а t2 в другом

ну дык АККА жеж

so what?

так какие таски?

ну monix например

да. Просто явно указываешь и всё

flatMap ручками

вот без котов, простое решение без патмат import shapeless._ object tryFold extends Poly1 { implicit def onError[T] = at[util.Failure[T]](fail => s"error ${fail.exception}") implicit def onSuccess[T] = at[util.Success[T]](x => s"success ${x.value}") } Generic[Try[Int]].to(Try(f)).map(tryFold).unify

говорят, поли не стоит использовать

говорят, поли не стоит использовать

меньше кода хотел

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

тот же паттерн матчинг ток по типам

мне очень меп и флетмеп по типам нравится )

мне очень меп и флетмеп по типам нравится )

что ты подразумеваешь под мэп и флэтмэпом по типам?

если HList\Coproduct, то они не по типам

что ты подразумеваешь под мэп и флэтмэпом по типам?

Поли опять же

но они не по типам

не надо только значения и типы путать)

это флэтмэп по Значениям, только функция ad-hoc полиморфная

(и по аргументу и по результату)

но можно же написать .type

но можно же написать .type

где можно так написать?

ну типа объекта тип

ну так // Case апликация // и применяется поли

.type - это singleton тип, который равен типу ровно одного вот этого конкретного значения, он не заматчится с более общим типом

.type - это singleton тип, который равен типу ровно одного вот этого конкретного значения, он не заматчится с более общим типом

https://scastie.scala-lang.org/Odomontois/tZ6GqMd6RjyxvqL12UdPfQ/2

.type - это singleton тип, который равен типу ровно одного вот этого конкретного значения, он не заматчится с более общим типом

object Krivda extends Poly1 { implicit val intCase: Case.Aux[Int, Long] = at(_.toLong) implicit val stringCase: Case.Aux[String, Long] = at(_.length.toLong) implicit val booleanCase: Case.Aux[Boolean, Long] = at( bool => if (bool) 228 else 'k' + 'r' + 'i' + 'v' + 'd' + 'a') } object Example { import Krivda._ val a = HList(100, 100, true).map(Krivda) }

Но ты прав, там по значению :(

object Krivda extends Poly1 { implicit val intCase: Case.Aux[Int, Long] = at(_.toLong) implicit val stringCase: Case.Aux[String, Long] = at(_.length.toLong) implicit val booleanCase: Case.Aux[Boolean, Long] = at( bool => if (bool) 228 else 'k' + 'r' + 'i' + 'v' + 'd' + 'a') } object Example { import Krivda._ val a = HList(100, 100, true).map(Krivda) }

не понял, о чём этот пример

чем он принципиально отличается примера пораньше для Try

ничем , это подтверждение твоих слов и мой фейл.

но вообще , ты получаешь лист типов на вход , на выходе получаешь лист других типов , ровно то что и делает меп функтора

тогда как должен выглядит меп над типами ?

но вообще , ты получаешь лист типов на вход , на выходе получаешь лист других типов , ровно то что и делает меп функтора

Соглашаюсь Если рассматривать HList ы как нетипизированные списки типов, можно рассматривать операции shapeless.ops.hlist как набор таких же нетипизированных операций над списком. Но это будут такие map и flatMap из ЛИСПа. Чтобы провести аналогию с map и flatMap из скалы, нам нужно было бы рассматривать более жёсткую форму листов с гарантированным Kind у своих элементов

как делаются библиотеки в scala ?

ERROR: S client not available

тогда как должен выглядит меп над типами ?

что такое мап над типами?

https://github.com/sbt/sbt-assembly ?

https://github.com/sbt/sbt-assembly ?

нет конечно. обычный жарник без зависимостей внутри

ну и как он делается, я нуб

http://www.joescii.com/2014/02/24/oss-scala-starter-kit/ ?

Просто у Mapper в shapeless.ops.list ты не получаешь: - гарантию сохранения длины списка - гарантию перехода из KindA в KindB каждого элемента

ну и как он делается, я нуб

а тебе для чего? если просто для локальных нужд, то достаточно выполнить в сбт publishM2

хочу свою приблудку для https://bugsnag.com расшарить

хочу свою приблудку для https://bugsnag.com расшарить

для своих нужд или в опенсорс?

опенсорс

что-то гугл меня в 10 мест посылает

опенсорс

у тебя там клиент для отсылки данных в этот багснап? я к тому, что если так то наверное в первой версии либы тебе не потребуется паблишить версию под скалажиэс

версии для жс и не будет

вобщем 1. вот тебе пример конфига для паблишинга https://github.com/Rudogma/scala-supertagged . Обрати внимание на файлы build.sbt, project/Build.scala, project/plugins.sbt 2. убираешь оттуда все, что делается для кросспрожекта и делаешь тоже самое для обычного рутового проекта (если субмодулей у тебя нет) 3. тебе там еще пгп надо будет ключик сделать 4. зарегать акк на и сделать тикет чтобы забрать под себя группу (в случае sbt - это organization := "org.rudogma"). пример тикета https://issues.sonatype.org/browse/OSSRH-32078 . домен придется зарегать, хотя наверное можно сделать что-то типа com.github.myaccount - тут не знаю. я просто зарегал домен под группу и зарегал акк на осс с ящика с этого же домена - тогда там все автоматом выделяют и вопросов лишних не задают 5. когда тикет сделают и подтвердят право на паблишинг под этой группой, надо будет залить первую версию +publishSigned, затем sonatypeRelease . потом в тикете отписаться (только после первого раза) - если все норм, твой релиз разрешат и он скоро появится в централе (10 минут физ доступность, несколько часов - доступность в поиске на вебморде серч.централ) и все остальные релизы можно будет паблишить автоматом

версии для жс и не будет

как-то так

что за дурдом, как будто у гос-ва что-то выскуливаю

жава сложная

что за дурдом, как будто у гос-ва что-то выскуливаю

а как должно быть по твоему?

ну как в руби ?

раз, два, готов гемчик

раз, два, готов гемчик

и тут также

я про одобрения и доступ

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

я про одобрения и доступ

можешь паблишить в bintray

ладно, Mikhail спасибо

ладно, Mikhail спасибо

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

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

а у нас тут есть мастера дизраптора?

Из Доты или из Computer Science? :)

я тоже хотел сказать, что на него арканы нет, так что ни

даже у ИО есть аркана

но я так подозреваю по ИО тут больше спецов