спрей - боль

плэй приятнее

но он фреймворк

всем спасибо, выбор пал на akka http

А че finagle никто не советует?

почему никто чистый netty не юзает?)

почему никто чистый netty не юзает?)

Мы юзаeм. Но смысл?

а смысл тащить с собой фреимворк такой?

Чтобы быстро разрабатывать?

Хотя финагл нe трогал) можeт это нe про нeго)

Чтобы быстро разрабатывать?

ну у меня для netty есть обертка, и разрабатываешь быстро

ты прекрасен

ну у меня для netty есть обертка, и разрабатываешь быстро

А зачeм свой вeлосипeд?

чтобы не тащить фреимворки)

и быть прекрасным!

да и я не назвал бы 2 класса велосипедом

Ну всe, тeпeрь ты вeлосипeдист

Мне папа говорил главное чтобы велосипедистом не назвали

Если назовут то все

почему никто чистый netty не юзает?)

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

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

Наш человек, только насчёт предсказуемости не уверен)

Мне папа говорил главное чтобы велосипедистом не назвали

Всегда любил велосипеды) Не комбикормом же готовым питаться)

Всегда любил велосипеды) Не комбикормом же готовым питаться)

Дааа я сразу байткод пишу, например

Дааа я сразу байткод пишу, например

Не очень хорошее сравнение

Дааа я сразу байткод пишу, например

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

Дааа я сразу байткод пишу, например

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

Скаланы need help. Дано Базовый тип: sealed trait Op[A], Наследники Op: OpX1, OpX2 ... OpXn вида case class OpXn(...) extends Op[Xn] Нужно доказать что имея инстанс типа (OpX1 => F[X1]) :: (OpX2 => F[X2]) :: ... :: OpXn => F[Xn] :: HNil для любого F[_]: Functor я могу получить инстанс Op ~> F. Я смог получить промежуточную функцию f: Generic[Op[_]]#Repr => F[X1 :+: X2 :+: ... :+: Xn :+: CNil] и тогда new (Op ~> F) { def apply[A](op: Op[A]): F[A] = f(Generic[Op[_]].to(op)).map(Coproduct.unsafeGet).asInstanceOf[F[A]] } И оно работает, и промежуточная функция точно верна и asInstanceOf[F[A]] безопасен, но интересно можно ли подругому?

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

Не, эт очень редко я в байт-код лезу

Скаланы need help. Дано Базовый тип: sealed trait Op[A], Наследники Op: OpX1, OpX2 ... OpXn вида case class OpXn(...) extends Op[Xn] Нужно доказать что имея инстанс типа (OpX1 => F[X1]) :: (OpX2 => F[X2]) :: ... :: OpXn => F[Xn] :: HNil для любого F[_]: Functor я могу получить инстанс Op ~> F. Я смог получить промежуточную функцию f: Generic[Op[_]]#Repr => F[X1 :+: X2 :+: ... :+: Xn :+: CNil] и тогда new (Op ~> F) { def apply[A](op: Op[A]): F[A] = f(Generic[Op[_]].to(op)).map(Coproduct.unsafeGet).asInstanceOf[F[A]] } И оно работает, и промежуточная функция точно верна и asInstanceOf[F[A]] безопасен, но интересно можно ли подругому?

Пока не складывается. По-видимости нет конструктивной индукции (forall x: Op[_]. exists i .x.type~ Op[Ci]), полагаю, в случае даже одного Op а это было бы эквивалентно аксиоме исключённого третьего, которой в явном виде нет в теории типов

но я бы спросил у Сабина

Я спросил у Сабина: 'Как мне пруфы вывести?' Сабин не ответил мне качая головой.

Я спросил у Сабина: 'Как мне пруфы вывести?' Сабин не ответил мне качая головой.

?

Дорогие друзья! Мы строили-строили и, наконец, построили. 27 апреля собираем практиков и энтузиастов Apache Spark у себя на Мансарде! Расскажем, как перевели (почти) все наши ETL и ML пайплайны на Spark и как переехали на вторую версию. Познакомимся и пообщаемся! https://rambler-co-e-org.timepad.ru/event/470664/

оказывается нельзя писать for { implicit foo <- mkFoo } yield ()

где-то был PR или issue чтобы можно было

но да, к сожалению нельзя

Дорогие друзья! Мы строили-строили и, наконец, построили. 27 апреля собираем практиков и энтузиастов Apache Spark у себя на Мансарде! Расскажем, как перевели (почти) все наши ETL и ML пайплайны на Spark и как переехали на вторую версию. Познакомимся и пообщаемся! https://rambler-co-e-org.timepad.ru/event/470664/

Это получается два рабочих дня подряд пить?

ну все же сеньеры

оказывается нельзя писать for { implicit foo <- mkFoo } yield ()

O_o

Дорогие друзья! Мы строили-строили и, наконец, построили. 27 апреля собираем практиков и энтузиастов Apache Spark у себя на Мансарде! Расскажем, как перевели (почти) все наши ETL и ML пайплайны на Spark и как переехали на вторую версию. Познакомимся и пообщаемся! https://rambler-co-e-org.timepad.ru/event/470664/

Вау рядышком, далеко не надо идти :)

Scalalaz #18 Реакторы и редакторы http://scalalaz.ru/series-18.html

https://github.com/julien-truffaut/Monocle/issues/419

Scalalaz #18 Реакторы и редакторы http://scalalaz.ru/series-18.html

воу, уже?! огонь!

логотип подкаста доставил

https://github.com/julien-truffaut/Monocle/issues/419

еще б на профункторы переписали

еще б на профункторы переписали

опять же вопрос скалаз или кошки; или ты про что-то другое? :D

я про саму формулировку линзов

типа такой https://github.com/tel/scala-telescope

а оптика у скалаз; зачем они вдруг подорвались?

кто подорвался?

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

в скалаз8 вообще всё своё с блекджеком и тд

забавно

там новая кодировка

по мотивам https://github.com/aloiscochard/scato

https://blog.jetbrains.com/kotlin/2017/04/kotlinnative-tech-preview-kotlin-without-a-vm/

вы ж посмотрите, кто это у нас в ногу со временем идет :)

https://blog.jetbrains.com/kotlin/2017/04/kotlinnative-tech-preview-kotlin-without-a-vm/

а интероп с джава библиотеками будет ?

а интероп с джава библиотеками будет ?

где-то в 1.54 раза больше интеропа, чем у scala native

так же, как и kotlin js и scala js с офигенным java interop

ERROR: S client not available

а интероп с джава библиотеками будет ?

нет ж

так же, как у scala.jvm офигенный интероп с js

где-то в 1.54 раза больше интеропа, чем у scala native

вообще была шутка юмора , про то что основная фишка , которую активно форсят, котлина это джава интероп. а вообще можно наверное с jni заморочится

вообще была шутка юмора , про то что основная фишка , которую активно форсят, котлина это джава интероп. а вообще можно наверное с jni заморочится

это для джавистов форсят

для жаваскриптёров форсят, что система типов получше, чем у typescript

вообще была шутка юмора , про то что основная фишка , которую активно форсят, котлина это джава интероп. а вообще можно наверное с jni заморочится

В неитиве? Нельзя, там тот же like

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

у них там своя атмосфера просто.

¯\_(ツ)_/¯

Я короче ничего не понял

Про что они

да я тож

со сниппет никакого отношения к теме не имеет

Лол

Иди почитай

лол

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

кароч у него полюбас конкурнетность там)

угу

проще коллекцию соотвествующую использовать

или что-то свое определить на базе листов и добавить локов (не всегда плохо)

так вроде там лист то иммутабельный

https://github.com/scala/scala-dev/issues/267

https://github.com/scala/scala-dev/issues/267

Здорово.

так вроде там лист то иммутабельный

иммутабельность не гарантирует видимости

скорее всего у него ссылка на лист утекла в другой актор до полного конструирования

скорее всего у него ссылка на лист утекла в другой актор до полного конструирования

да выглядит похоже

ну не ясно чо он делает, т.к. нет полной картины

Я в скайпе говорил (head.Nil)- чтобы полную картину видеть, нужно полсистемы просмотретью, собирается этот лист мапом из другого листа, системе 6+ лет это не пару акторов подебажить