да скала не виновата ) это я вспоминаю кулстори из жвм чата что скалисты только и делают что сигнатуры обсуждают )

"в скала-чате только и разговоров, что о сигнатурах"

да скала не виновата ) это я вспоминаю кулстори из жвм чата что скалисты только и делают что сигнатуры обсуждают )

Ну Милевски писал, что с этого стоит начать разработку )))

достучаться до компилятора

Продумать систему типов

это лучше чем рантайм обсуждать)) значит решаем проблемы до него)

Ну вот, свои типы только обсуждают, а бузинесс валуе то где, а? я вас спрашиваю, миллионы далларов-то где?

Ну вот, свои типы только обсуждают, а бузинесс валуе то где, а? я вас спрашиваю, миллионы далларов-то где?

В голанге конечно

Ну вот, свои типы только обсуждают, а бузинесс валуе то где, а? я вас спрашиваю, миллионы далларов-то где?

в мире ге ты решил проблему таплов в твоем кое полагаю

да в голанге, там ведь нет таплов

или есть

Там есть таплы вроде

спроси у Ника, он спец

err, res :=

Или они не совсем таплы и они хотят добавить

котоны, а есть для акка стримов что-то подобное mvar из моникса? точнее даже, есть ли mvar для фьюч в составе акка стримов?

кмк нет, может, он был, или есть, но не в стримах, а в каком-то akka-forgotten-legacy

но всегда можно написать его на акторах)

В stm был

Давно уже нет

чем-то более модным заменили?

Не, выделили в отдельный проект

И вроде оно умерло

ScalaSTM — Library-Based Software Transactional Memory for Scala https://nbronson.github.io/scala-stm/

котоны, а есть для акка стримов что-то подобное mvar из моникса? точнее даже, есть ли mvar для фьюч в составе акка стримов?

Написал уже все за праздники?)

Написал уже все за праздники?)

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

Хех. У меня так уже полгода )

Хех. У меня так уже полгода )

Осталось сервисы под docs написать ?

под dos

гитхаб лежит?

гитхаб лежит?

ага

https://twitter.com/githubstatus/status/951033058202980352

У меня есть M[Seq[T]] и f: T => M[Option[U]] - нужно найти первый T, для которого найдётся U и вернуть этот Option[U]. Эдакий collectFirst высшего порядка. Что есть в котах для этого (тайпкласс)?

У меня есть M[Seq[T]] и f: T => M[Option[U]] - нужно найти первый T, для которого найдётся U и вернуть этот Option[U]. Эдакий collectFirst высшего порядка. Что есть в котах для этого (тайпкласс)?

зачем в ф заворачивать в M, если она применяется к каждому элементу а не к общему? почему не f: T => U и обычный collectFirst с обычной трансорфмацией содержимого M[K] => M[Kek] ?

f в базу ходит (M - это DBIO)

У меня есть M[Seq[T]] и f: T => M[Option[U]] - нужно найти первый T, для которого найдётся U и вернуть этот Option[U]. Эдакий collectFirst высшего порядка. Что есть в котах для этого (тайпкласс)?

Foldable

так он не higher order

@typeclass trait Foldable[F[_]] { self => /** * Left associative fold on 'F' using the function 'f'. */ def foldLeft[A, B](fa: F[A], b: B)(f: (B, A) => B): B

тут не нужно никаких хайерордер, тут нужно аккуратно свернуть через foldRight, либо foldM правильно сделав ленивый моноид

foldM выглядит как то что нужно, благодарю

только он не ленивый... А что ты имеешь в виду под ленивым моноидом?

ну короче мне кажется, что здесь одно из двух либо делать foldRight и надеяться на стейсейфовость монады либо делать tailRecM и специализировать для Seq

возможно стоит оставить рекурсивным методом и не заморачиваться...

def foldRight[A, B](fa: F[A], lb: Eval[B])(f: (A, Eval[B]) => Eval[B]): Eval[B] как-то сомнительно выглядит, я не могу покинуть M

tailRecM можно попробовать (а может и нет)

@tvaroh на скорую руку за пару минут, я бы сделал так: def kukuruku[K, T](io:IO[Seq[K]])(f: K => IO[Option[T]]):IO[Option[T]] = { def collectFirst(seq:Seq[K]):IO[Option[T]] = { seq.headOption match { case Some(head) => f(head).map { case None => ??? //prosto fail case x => x } orElse collectFirst(seq.tail) case None => IO(None) } } for { seq <- io x <- collectFirst(seq) } yield x } но такого в катсах нету

примерно так я и сделал

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

@tvaroh на катсах? покажи как, я просто катсы не пользую, но интересно)

я не женерифицировал до collectFirst, просто рекурсия, но смысл тот же: def findFirstMatchingMetrics(jobs: Seq[AnalysisJob]): DB[Option[Seq[AnalysisMetrics]]] = jobs.headOption.fold((None: Option[Seq[AnalysisMetrics]]).pure[DB]) { job => val result = findMatchingMetrics(job) result.flatMap(_.fold(findFirstMatchingMetrics(jobs.tail))(_ => result)) }

Мимопроходил: - None: Option[Seq[AnalysisMetrics]] + Option.empty[Seq[AnalysisMetrics]] Почему: type ascription может приводить к триггеру implicit преобразований, явные конструкторы -- нет.

Мимопроходил: - None: Option[Seq[AnalysisMetrics]] + Option.empty[Seq[AnalysisMetrics]] Почему: type ascription может приводить к триггеру implicit преобразований, явные конструкторы -- нет.

? нравится

tailRecM можно попробовать (а может и нет)

https://gist.github.com/Odomontois/a3f5c8608f40ed4d7fb086ecc89165e4

Можно заменить числа на 10009 (простое), чтобы убедиться, что второй вариант -стексейфовый, а первый - нет

https://gist.github.com/Odomontois/a3f5c8608f40ed4d7fb086ecc89165e4

? чуть-чуть упростил второй вариант до https://gist.github.com/Tvaroh/f3c69cdf7a7a52b1ea2b6019e20c2646 - буду взлетать на нём

Check out @webstandards_ru’s Tweet: https://twitter.com/webstandards_ru/status/951015822306238466?s=09

очень тонкий намек? =)

ERROR: S client not available

Самый тонкий

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

ну сложные понятие растяжимое, вот например те же манатки частичности для эмуляции тюринг-полного по моему сразу требуют HIT в виде фактор-индуктивно-индуктивного https://arxiv.org/pdf/1610.09254.pdf

ну а в целом да, будут видимо поначалу эвристики, типа тут резать там нет

setoid hell

ага

не только github, у bitbucket тоже проблемы https://status.bitbucket.org/

Всем привет!

setoid hell

его кстати уже в OTT решили

там всё изначально в сетоидах :)

в хотте обобщили до n-группоидов

Всем привет!

http://www.nohello.com

http://www.nohello.com

WTF

WTF

Хорошая практика в чатиках не говорить «привет», а говорить «привет. [вопрос]».

А если нет вопросов?

то зачем писать что-то

А если нет вопросов?

тогда зачем писать?

коралловый_аспид.жпг

/toxic

Нет вопросов - молчи. Тут вам не гошечка

жоска, ежжи

вот чат для флуда если че https://t.me/kotlin_lang

/toxicity_overflow

Да ладно, логотип прикольный

http://www.nohello.com

http://neprivet.ru/

Сначала такие ссылки кидают, а потом удивляются по всему миру, чо русские такие хмурые ходят

я слышал что люди впринципе хмурые когда их время тратят впустую

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

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

+1 )