да лямбда взлетела)

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

Очень жду родных копродуктов

копродукты?..

/me записал шутку

sigh

> скажи пример, где hott нужен :) ну в общем-то там же, где и просто зависимые типы

интенсионалка влечет много бойлерплейта, экстенсионалка неразрешима, в обсервационалке нет фактор-типов

> скажи пример, где hott нужен :) ну в общем-то там же, где и просто зависимые типы

Выше пример был hlist. Но вместо них вполне можно юзать case classes или в будущем named tuples. А в самих hlist в shapeless используются dependent type members - вместо них надо будет implicits пихать.

Напереусложняют еще ,что дляопердня без 42 паттернов с зависимыми типами и нельзя будет...

Кстати, дурацкий вопрос: почему в скале нельзя реализовать HList без макро-костылей?

это только показывает что для hlist не нужны завтипы :)

вообще то можно) макросы это не костыли

тайпклассами определяешь тип

по факту только конструткор нужен

Ну то есть вот на пример я тут накидал scala trait HList[+H, +T] { def :: [A] (h: A): HList[A, this.type] = HList(h, this) } case class HNode[+H, +T](head: H, tail: T) extends HList[H, T] object HNil extends HList[Nothing, Nothing] object HList { def apply[H, T](x: H, xs: T) = HNode(x, xs) } object :: { def unapply[H, T](hl: HList[H, T]): Option[(H, T)] = hl match { case HNode(x, xs) => Some((x, xs)) case HNil => None } } Чего здесь не хватает?

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

нельзя работать с n мерным туплом

Там есть функция nth элемент, она типа н переводит в тип по аксиомам пеано.

(1 :: "2" :: 3.0 :: HNil) match { case _ :: x :: xs => x } // "2"

да и норм хлист)

граждане, path-dependent types это не то же что dependent types :)

хоть и звучит похоже

я бы так определил: HCons[H, T <: HList](head : H, tail : T) extends HList

граждане, path-dependent types это не то же что dependent types :)

А никто и не путал. Передаешь в имплисте объект, а возвращаемый тип функции зависит от типа который лежит впереданном имплисите.

Сам не понял что написал. Жалко репла рядом нет:(

угу, type operators

вот здесь приводится пример почему в Shapeless нужны костыли в виде макросов https://vimeo.com/channels/flatmap2016/165837504#t=2712s

https://habrahabr.ru/company/luxoft/blog/302668/ вкратце - скала не торт

вспомнилось в статье, про то, что нет времени разбираться с системой типов почти весь чат посвящен обсуждению типов)

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

классный чувак на ссылке

сьпевак?

у него еще была речь, про то как и зачем можно использовать kind projector

да

у него много речей :)

да)

так. оратор от природы!

Эх если бы в двух словах кто говорил как и зачем...

/me

/me

https://vk.com/video146903_167483690

/me

/me

/me

/me

lul

эпидемия

/make_me_happy

/make

/me

=( ➜ ~ make me happy make: *** No rule to make target `me'. Stop.

Iterm?

iterm, zsh

Как вы считаете, кошерно писать на скале так: def foo(read: () => Future[String], write: String => Future[Unit]) (implicit ec: ExecutionContext): Future[Unit] = { def loop(state: Int): Future[Unit] = { for { text <- read() x = text.toInt newState = state + x _ <- write(newState.toString) _ <- loop(newState) } yield { () } } loop(0) }

Коллбеки вообще не кошерно

Функции передавать некошерно?

ERROR: S client not available

Конкретно те, которые фьючер возвращают.

ну а чего нет, первое вообще просто ленивый аргумент

Конкретно те, которые фьючер возвращают.

А как тогда лучше это выразить?

ReaderWriteState monad-то?

Ой даже не знаю:)

С одной стороны хочется что бы было чисто. С другой стороны не хочется тащить scalaz/cats. Но даже если притащить, то все равно как-то же надо передавать эффекты, правильно?

больше всего меня здесь пугает def loop(state: Int): Future[Unit]

Я не знаю конечную цель, но если стоит задача scale, recover from failures, то все трансформации пишешь как чистые функции и оборачиваешь в akka streams. Ну я бы так делал.

да или скалаз стримы)

А как лучше с точки зрения стиля: 5 seconds или 5.seconds? В scala duration

а шо касается точек в скале, я их не ставлю только для методов типа max или union, где есть какой то намек на симметрию аргументов

Вот общее правило :3

Scala порвала мне шаблон. В Spark 2.0 есть класс: org.apache.spark.sql.KeyValueGroupedDataset[K, V] в нем два метода: def mapGroups[U : Encoder](f: (K, Iterator[V]) => U): Dataset[U] def reduceGroups(f: (V, V) => V): Dataset[(K, V)] При этом, первый метод можно вызывать так: ds.groupByKey(_.country).mapGroups { (a, b) => a } и так: ds.groupByKey(_.country).mapGroups { case (a, b) => a } второй метод так работает: val t = ds.groupByKey(_.country).reduceGroups { (a, b) => a } а так вызывает ошибку: scala> val t = ds.groupByKey(_.country).reduceGroups { case (a, b) => | a | } <console>:40: error: missing parameter type for expanded function The argument types of an anonymous function must be fully known. (SLS 8.5) Expected type was: ? val t = ds.groupByKey(_.country).reduceGroups { case (a, b) => ^

в чем между ними разница?

мда... тайна раскрыта. Проблема с overload'ами для Java API: def mapGroups[U](f: MapGroupsFunction[K, V, U], encoder: Encoder[U]): Dataset[U] def reduceGroups(f: (V, V) => V): Dataset[(K, V)] у ф-ции reduceGroups один параметр и он пытается матчить

сорри, overload второго метода: def reduceGroups(f: ReduceFunction[V]): Dataset[(K, V)]

Я не знаю конечную цель, но если стоит задача scale, recover from failures, то все трансформации пишешь как чистые функции и оборачиваешь в akka streams. Ну я бы так делал.

Хочу чистую стейтмашину с асинхронным вводом-выводом. При этом не хочу добавлять зависимости.

Меня тут в соседнем чатике попросили измерить скорость. Получается примерно также как если решать эту задачу аккой. https://gist.github.com/fomkin/ae2b3661e6915aa6092e44708537224f

А это ожидаемо для Play, что вот такие роуты считаются разными и для каждого нужен свой роут? GET /sub controllers.Controller.index GET /sub/ controllers.Controller.index

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

хуже того, GET / SomeController.index будет возвращать 404 при запросе без слеша

хуже того, GET / SomeController.index будет возвращать 404 при запросе без слеша

а что нужно, чтобы обрабатывать корень без слеша - как должен роут выглядеть? PS: у меня в play 2.4 похоже всё таки работает и так и так - для корня

а что нужно, чтобы обрабатывать корень без слеша - как должен роут выглядеть? PS: у меня в play 2.4 похоже всё таки работает и так и так - для корня

Если честно, пока забили ?

По-хорошему, это задача не Play, а обратного прокси (nginx), который должен редиректить адреса без слэша на адреса со слэшем (или наоборот) с 301-м кодом. Для поисковиков это абсолютно разные url'ы, и любой сеошник скажет, что это плохо, когда один и тот же контент доступен по разным адресам.

@fomkin Я тут для интереса написал то же самое, используя волшебную абстракцию AsyncStream: https://gist.github.com/SlavikBaranov/fcd11a575b564c0179b5d97509a83bf5

в таком варианте получается клевый separation of concerns - отдельно генерация стрима, отдельно стейт машина, отдельно условие выхода, отдельно output

И как результаты?

В смысле по времени. Сравнимо с чистой аккой на той же задаче?