Клейсли?

я думаю, что Кляйсли

как Klein -> Кляйн

общепринято Клейсли

вот Дебашиш Гош говорит "Клизли"

да он и не по-русски говорит

https://en.wikipedia.org/wiki/Heinrich_Kleisli /ˈklaɪsli/; Действительно Кляйсли

(/ˈklaɪsli/

win

ну давайте еще Пуассона и прочих будем называть на оригинальный манер))

Пуассон же вполне канонично звучит

это потому что ты привык так

на францусзском все же иначе

нет, потому что такие правила чтения во французском языке

а как?

Котоны, я ощущаю физический зуд по телу, когда доделаный пулреквест висит несмерженый. Это нормально?

у тебя СТО

боюсь я не осилю самостоятельно))

Котоны, я ощущаю физический зуд по телу, когда доделаный пулреквест висит несмерженый. Это нормально?

Зуд в каких частях тела? ЭТО ВАЖНО!

у тебя СТО

Да я сам СТО!

Зуд в каких частях тела? ЭТО ВАЖНО!

Я тебе в личку напишу

Да я сам СТО!

важная часть лечения - принять диагноз ?

Так что такое СТО? Специальная теория отностиельности? Синдром томительного ожидания?

вот-вот, последнее)

Синдром тотального ожирения!

на францусзском все же иначе

Siméon Denis Poisson (French: [si.me.ɔ̃ də.ni pwa.sɔ̃])

Семен Денис Пойзон

Денисович

Звучит как модный псевдоним.

Пожалуй буду так представляться незнакомым женщинам.

как Иосиф Давид Кобзон

ай гате пойзон ай гате ремедей, ай гате пойзон тодесте то ремедей!!!!!!!!!!!

так, похоже СТО передается через чят в крайне странных формах

Адада Пойзон

И его друг Адада Ремеди

как жить, в доте карта поменялась

Ай гот э Пуассон, ай гот э Дирихле!

)))

Дирихле это который латентное размещение? topic modeling ?

это который про сходимость рядов

ну он же про латентное размещение))) такой замечательный алгоритм: ты ему документы, он тебе размеченные множества.

Вчера после просмотра https://www.youtube.com/watch?v=R_nYc4FItcI. Дико угорел по Cofree, а именно реализовал то что в конце (Pipe, Source, Sink) и даже запустил этот стрим. Прикольные ощущения ) Кто нибудь копался в этом направлении?

Скаловский type inference сдается почти сразу

конечно копал в перерывах между исправлениями дао на касбахе

ну круда слава богу нет

Freek кто-нить пробовал? Совсем дно и неудобно?

@krivdathetriewe дотроллился?))

Да , меня пидорнули

Да , меня пидорнули

Ну так на самом деле, за дело, ты что-то начал уже перегибать палку с троллингом

Ну так на самом деле, за дело, ты что-то начал уже перегибать палку с троллингом

Я не перегибал, я репостнул сообщения полугодовалой давности и админ сам завелся , это как в серии саусапрка когда у картмана антенна была в заднице межгалактическая, у человека ассоциации начались и комплексы, впрочем, не будем тут мусорить :) а у битбакета иконка была плохой так и осталась

как жить, в доте карта поменялась

Ты ещё и в доту успеваешь?

как жить, в доте карта поменялась

Ещё не вышло, но круто же сделали

Freek кто-нить пробовал? Совсем дно и неудобно?

Я для себя пока понял что Free это один из видов реализации какого либо интерфеса без внешних зависимостей, по этому мне кажется что интерфейс первичнее. По этому сейчас пишу так def program[F[_]: Monad: FooOps: BarOps]

и просто объявляю implicit def free[F[_]: Inject[FooOp, ?[_]]]: FooOps[Free[F, ?]] = ....

ну и собственно где то на краю вселенной program[Free[ComposedAlgebra, ]].foldMap(composedAlgebraInterpreter)

https://github.com/blog/2293-resolve-simple-merge-conflicts-on-github

кстати, на эту тему -- кто какие полезные плагины в сбт использует? (для ускорения работы или удобства)

кульные прожки

Я для себя пока понял что Free это один из видов реализации какого либо интерфеса без внешних зависимостей, по этому мне кажется что интерфейс первичнее. По этому сейчас пишу так def program[F[_]: Monad: FooOps: BarOps]

как в твоем примере выглядят FooOps?

Я для себя пока понял что Free это один из видов реализации какого либо интерфеса без внешних зависимостей, по этому мне кажется что интерфейс первичнее. По этому сейчас пишу так def program[F[_]: Monad: FooOps: BarOps]

на MTL похоже

Я для себя пока понял что Free это один из видов реализации какого либо интерфеса без внешних зависимостей, по этому мне кажется что интерфейс первичнее. По этому сейчас пишу так def program[F[_]: Monad: FooOps: BarOps]

Простите, но http://pishempravilno.ru/poetomu/

trait FooOps[F[_]] { def fooOp(i: Int): F[Out] def otherFooOp(s: String): F[Unit] } object FooOps { sealed trait FooOpsFree[A] object FooOpsFree { case class FooOp(i: Int) extends FooOpsFree[Out] .... } implicit def free[F[_]: Inject[FooOpsFree, ?[_]] = new FooOps[Free[F, ?]] { def fooOp(i: Int) = Free.inject(FooOpsFree.FooOp(i)) ... } }

Простите, но http://pishempravilno.ru/poetomu/

спасибо )

trait FooOps[F[_]] { def fooOp(i: Int): F[Out] def otherFooOp(s: String): F[Unit] } object FooOps { sealed trait FooOpsFree[A] object FooOpsFree { case class FooOp(i: Int) extends FooOpsFree[Out] .... } implicit def free[F[_]: Inject[FooOpsFree, ?[_]] = new FooOps[Free[F, ?]] { def fooOp(i: Int) = Free.inject(FooOpsFree.FooOp(i)) ... } }

причем это все бойлерплейт и у меня уже почти готов макрос @free, хакаю скаламету заодно )

ERROR: S client not available

можно будет писать @free trait FooOps[F[_]] { def fooOp(i: Int): F[Out] def otherFooOp(s: String): F[Unit] }

и теоретически даже ни разу к FooOpsFree не прикоснуться

точнее к элементам этого ADT

даешь http://www.eff-lang.org/ как dsl

Есть мнение что тайпклассы должны сопровождаться законами. Что думаете про это? Есть ли законы у Show?

ну если тайпкласс претендует на реализацию какой то математики то может быть

а так это ж просто адхок полиморфный сахар

ну да, я тоже так думаю

у show только один закон - SHOW MUST GO ON!

даешь http://www.eff-lang.org/ как dsl

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

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

https://twitter.com/scala_lang/status/808601585295171584

что это такое?

разворачивать какие-то функции во время компиляции?

не, там скорее автогенерация синглтон типов

довольно специфический юзкейс по моему чтобы вводить новые конструкции

наверное могут запилить на макросах в качестве compiler plugin, нет?

Eff интересный. Только вот как-то документация мало.

@notxcain а че ты свой макрос пилишь и не используешь freek?

@notxcain а че ты свой макрос пилишь и не используешь freek?

Играюсь со скаламетой

Ну я пока не уверен что фрик это то как надо делать )

https://github.com/blog/2293-resolve-simple-merge-conflicts-on-github

Огонь! Но мне СТО сказал что гитхаб это ДОРОГО ОЛОЛОЛО =)

гитхаб вроде бы действительно дорого начиная с какого то объема

по крайней мере у нас считали и вышло что гитлаб дешевше

Огонь! Но мне СТО сказал что гитхаб это ДОРОГО ОЛОЛОЛО =)

А это где CTO такой, если не секрет? :)

по крайней мере у нас считали и вышло что гитлаб дешевше

вот это ключевая фраза

у нас не гитлаб

и не битбакет

и не битбакет

фабрикатор?)

и не битбакет

Ну уж колись что у вас? :)

clearсase какой нибудь?