и везде есть один набор гарантий и одно понимание, что есть Foldable. Не настолько сложная абстракция

и здесь такой же https://github.com/purescript/purescript-foldable-traversable

Приведи пример, где Foldable слабее

Где эта вселенная?

Приведи пример, где Foldable слабее

где в твоей хаскельной вселенной итерабл?

в хаскельной вселенной Foldable и есть Iterable

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

в хаскельной вселенной Foldable и есть Iterable

это ты сам придумал? https://hackage.haskell.org/package/iterable-3.0/docs/Data-Iterable.html в хаскеле действительно бедный итерабл, вся концепция которого ограничивается наличием сайза, фолда и мапа(внезапно - это уже говорит о том, что фолдабл не равномощен итераблу даже в хаскеле) - остается только посочувствовать тем кому приходится часто есть кактусы. однако мне не понятно, почему ты считаешь, что итерация(и траверсинг - как частный случай однонаправленной итерации без остановок) и аггрегация (и фолд как частная реализация) - есть одно и тоже

это ты сам придумал? https://hackage.haskell.org/package/iterable-3.0/docs/Data-Iterable.html в хаскеле действительно бедный итерабл, вся концепция которого ограничивается наличием сайза, фолда и мапа(внезапно - это уже говорит о том, что фолдабл не равномощен итераблу даже в хаскеле) - остается только посочувствовать тем кому приходится часто есть кактусы. однако мне не понятно, почему ты считаешь, что итерация(и траверсинг - как частный случай однонаправленной итерации без остановок) и аггрегация (и фолд как частная реализация) - есть одно и тоже

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

траверсинг в FP это не однонаправленная итерация без остановок, это способность коллекции восстановить свою структуру, собрав эффект во время восстановления

а считаю я потому что однопоточная Аггрегация и Итерация равносильны в случае существования ленивых вычислений

https://hackage.haskell.org/package/base-4.9.1.0/docs/Data-Traversable.html

и показал это в сброшенном тобой исходнике. Если у тебя есть контрпример

Class of data structures that can be traversed from left to right, performing an action on each element.

https://hackage.haskell.org/package/base-4.9.1.0/docs/Data-Traversable.html

именно да

Class of data structures that can be traversed from left to right, performing an action on each element.

exactly

и даже после этого ты продолжаешь считать, что я не прав в "траверсинг - есть частный случай однонаправленной итерации без остановок", и что в траверсинг заложено нечто большее нежели то, что указано в предложении "Class of data structures that can be traversed from left to right, performing an action on each element." ?

ну мне пожалуй нечего добавить)

и даже после этого ты продолжаешь считать, что я не прав в "траверсинг - есть частный случай однонаправленной итерации без остановок", и что в траверсинг заложено нечто большее нежели то, что указано в предложении "Class of data structures that can be traversed from left to right, performing an action on each element." ?

несомненно, ведь ты скинул ссылки на определения, на которых основываются мои утверждения твои рассуждения содержат ряд слов, применяющихся в отличающемся смысле в Haskell, всё сегодняшнее утро я был мотивирован именно желанием объяснить этот смысл "обход структуры данных" означает именно способность понять её внутрееннее устройство, гораздо больше, чем просто получить элементы "действие" означает некий эффект. Этот "action" употребляется совсем не в том смысле, как side-effective вызов в ООП, а именно последовательное накопление эффекта в более абстрактном смысле "остановка" легко делается в случае лениво-устроенных структур, поэтому ни у Foldable. ни у Traversable нет обазательства "без остановки"

к примеру функция elem здесь https://hackage.haskell.org/package/base-4.9.1.0/docs/Data-Foldable.html

она несомненно "остановится", когда найдёт первый подходящий элемент

вот пример того, что она может найти элемент в бесконечном списке http://codepad.org/cxFh7RKW

https://www.owcdigital.com/DEC/?utm_source=google&utm_campaign=projectranger&utm_medium=banner&gclid=CK_WmdaRodICFQlkGQodHVQKuw - это шутка...или нет?

DAFUQ!!?

Кастомный апгрейд прошки?

вроде как да

не понимаю

это супер-донгл, который позволяет тебе превратить макбук 2016 года в макбук толщины 2012 года

фьючеры и таски в скале работают как корутины?

судя по картинке слева - подключается он в один из usb портов

фьючеры и таски в скале работают как корутины?

это спор в pro.jvm?

да не, просто интересуюсь

фьючеры и таски в скале работают как корутины?

нет, фьючеры работают как таски, а таски как таски

но таски не работают как фьючеры

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

они бы работали как таски

и даже в котлине они работают как таски

ну таски же в одном потоке выполняются с переключениями контекста?

или ForkJoinPool и поехали?

там M:N вроде

@notxcain конкурент либератору https://github.com/47deg/freestyle

Да знаком )

@notxcain конкурент либератору https://github.com/47deg/freestyle

крутая штука

Только непонятно. Вроде бы Coproduct в реализации @module можно было бы заменить на sealed trait со сгенерированными вручную Inject, или нет?

Или вообще обойтись затеганными типами

Или вообще обойтись затеганными типами

затеганные типы - это @@ ?

затеганные типы - это @@ ?

ну да, что-то вроде AnyRef with ThisModule

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

Это помогло бы избежать сотни слоёв Coproduct(Left(Coproduct(Right(Coproduct(Left( ...

а можно кстати как-то сохранить тег, когда передаешь такой тип в какую-то общую функцию? например val password: String @@ Secret = "123god" def foo(s: String): String = ???

а можно кстати как-то сохранить тег, когда передаешь такой тип в какую-то общую функцию? например val password: String @@ Secret = "123god" def foo(s: String): String = ???

нет

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

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

за пределами Free он бессмысленнен

не, я не про использование в Free, а вообще

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

я думал что их можно типа как measures из f# использовать

но видимо нет

в дотнете другая система дженериков, без стирания, поэтому и HKP никак не приделают

techie - это типа как groupie?

scala.util.matching.Regex.MatchData /** The matched string in group `i`, * or `null` if nothing was matched. */ def group(i: Int): String = if (start(i) >= 0) source.subSequence(start(i), end(i)).toString else null

криваярожа.жпг

что же с нами стало.пнг

эээ а зачем так?

ERROR: S client not available

т.е. в этом есть какой-то сакральный смысл?

т.е. в этом есть какой-то сакральный смысл?

speed

https://github.com/scalameta/scalameta/blob/master/changelog/1.6.0.md

Our compiler plugins are built against most recent minor versions of supported Scala series (at the time of writing, this is _2.11.8 and _2.12.1) paradise на 2.12.х завезли, я правильно понял?

на централе пока 2.1.0 https://mvnrepository.com/artifact/org.scalamacros/paradise_2.12.1

здесь вроде написано scalas 2.12.1

https://bintray.com/scalameta/maven/paradise/3.0.0-174

Проголосуйте плиз https://twitter.com/notxcain/status/834328285274394624

@notxcain хорошо бы еще вариант с plain future

@notxcain хорошо бы еще вариант с plain future

+

scala.concurrent.Future это прям совсем не plain

scala.concurrent.Future это прям совсем не plain

В контексте скала это plain

В контексте скала это plain

standard или default, но не plain

а, ну с этой стороны может быть и так

Ребята, кто работал со Spark, подскажите пожалуйста Есть утилита spark-submit у которой есть ключ --packages Comma-separated list of maven coordinates of jars to include on the driver and executor classpaths. Will search the local maven repo, then maven central and any additional remote repositories given by --repositories. The format for the coordinates should be groupId:artifactId:version. Также есть две библиотеки com.github.nscala-time:nscala-time_2.11:2.16.0 и datastax:spark-cassandra-connector:2.0.0-RC1-s_2.11 судя доке нужно сделать так: spark-submit --class "super.puper.CrazyApp" \ --packages com.github.nscala-time:nscala-time_2.11:2.16.0, datastax:spark-cassandra-connector:2.0.0-RC1-s_2.11 \ --master local[4] \ target/scala-2.11/mycrazyapp_2.11-1.0.jar но это не прокатывает, при чём ругается на отсутвие майн-класса (java.lang.ClassNotFoundException: super.puper.CrazyApp), он точно есть если оставить только одну из библиотеку, например так --packages com.github.nscala-time:nscala-time_2.11:2.16.0 \ и закоментить использование второй в коде - всё отлично работает и наоборот если сделать тоже самое но с другой бибилиотекой, то всё будет хорошо Внимание, знатоки, теперь вопрос: что я делаю не так?

Вопросом на вопрос, а работает ли если собрать проект с необходимыми джарками?

1. принципиально в жирный джарник эти билиотеки не включены? 2. скорее всего что-то другое ломается (?) любая вторая библиооетка такое вызывает или только кассандра коннектор?

1. принципиально в жирный джарник эти билиотеки не включены? 2. скорее всего что-то другое ломается (?) любая вторая библиооетка такое вызывает или только кассандра коннектор?

Какой же он глючный :(

3. попробуй пробел убрать у запятой :D с --jars у меня иногда были пробелмы изза пробела.

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

Какой же он глючный :(

? O: нормальный)

кстате там у спарка новый флаг заметил; повзоляет использовать зависимости из пользовательского джарника вместо дергания их из класспафа

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

через запятую, между запятыми не надо пробелов* проверил.

кстате там у спарка новый флаг заметил; повзоляет использовать зависимости из пользовательского джарника вместо дергания их из класспафа

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

Я так решил json4s использовать :)

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

логично, что что-то у тебя не совпадает; это только рантайм падение

https://github.com/saurfang/sbt-spark-submit ?

Ну я понимаю , что руки кривые у меня :) но когда пишешь что-то не всегда помнишь , что там у Спарка в зависимостях