zatknis

Как грубо

Я напишу свою скалу, с 1с совместимостью Future(посчитайПожалуйста(один плюс два)) аПотом { case Успех(результат) => case Провал(почему) => }

Не знаю, как монаду назвать

Iterable ж)

Iterable ж)

упрлс?

упрлс?

Ну ты ж проходишь по коллекции) че бы нет

Iterable == Foldable

Содежащий[т]

И две функции обернуть и переобернуть ))

Разно{родный|типный?}Список кто определит?

HList?

Iterable == Foldable

Traversable

я думаю ПлоскийКартограф[щ]

просто в статье про котлин map автор называл картой, хотя и говоря о коллекции, но я всё равно думаю, что это победа

Iterable == Foldable

А почему ты думаешь что между ними знак равенства,а не :>

Или даже не !=

map - карта, list - лист, tree - три

For - для

алгол изобретаете? :D

Аддон для идеи пишем, что по русски можно было на скале писать

ПоВолеБожией(посчитайПожалуйста(один плюс два)) тажде { коли Благодать() => коли Кара() => }

Traversable

Traversable гораздо более мощный тип, чем Iterable

Traversable умеет восстанавливать свою структуру, а Iterable только пробегать

Поэтому (Foldable | FP) == (Iterable | OOP)

Traversable ~ Iterable + CanBuild

Поэтому (Foldable | FP) == (Iterable | OOP)

Да с херали

Traversable гораздо более мощный тип, чем Iterable

вот это ты дал

"At the top of the collection hierarchy is trait Traversable. Its only abstract operation is foreach" - вот и весь траверсабл

"At the top of the collection hierarchy is trait Traversable. Its only abstract operation is foreach" - вот и весь траверсабл

да блин ФПшный Traversable, а не говно ООПшное

"At the top of the collection hierarchy is trait Traversable. Its only abstract operation is foreach" - вот и весь траверсабл

Падажи) нужно понять что у него в мирке

так у нас же скаламир

да блин ФПшный Traversable, а не говно ООПшное

Какая разница то))

https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/Traverse.scala

я так могу любое понятие приплести и сказать, что в моей вселенной это нечто больше чем в вашей мухосрани

Какая разница то))

щас напишу тебе изоморфизм

Ты даже ссылку написать правило не можешь)

Какие-то личные нападки

Какие-то личные нападки

ну что опять

где?

Ты даже ссылку написать правило не можешь)

Вот

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

Вот

Эт констатация факта

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

дай изоморфизм сначала одному напишу, потом тебе контрпример

С учётом того, что я сижу с Аифуна, то нужно копировать и исправить

С учётом того, что я сижу с Аифуна, то нужно копировать и исправить

Не сиди с айфуна, открой бук, сделай лук)

С учётом того, что я сижу с Аифуна, то нужно копировать и исправить

Давай переформируем. "Присылай пожалуйста небитые ссылки".

Давай переформируем. "Присылай пожалуйста небитые ссылки".

Эт слишком явно

У нас скала и имплиситы

stop feeding trolls

Давай переформируем. "Присылай пожалуйста небитые ссылки".

За одну битую две небитые дают!

Народ, перебъю ваш холивор. Кто Scalatest юзает, как сделать проверку "для каждого элемента в коллекции", только не через foreach а средствами Scalatest, чтобы если ошибка, то был информативный вывод?

Народ, скачать "Programming in Scala " в epub? (на рутрекере только в pdf)

Народ, перебъю ваш холивор. Кто Scalatest юзает, как сделать проверку "для каждого элемента в коллекции", только не через foreach а средствами Scalatest, чтобы если ошибка, то был информативный вывод?

дай пример, чего добиться хочешь

ты и так коллекции можешь shouldEqual или как там - он сам поэлементно сравнит

sentenceWithTime.foreach { sentence => val listOfExtractedTimes = nerService.extractTime(sentence) listOfExtractedTimes should not be empty println(listOfExtractedTimes) }

сейчас так.

Там есть forAll матчер

Там есть forAll матчер

ага, вот, спасибо.

theSameElementsAs не подходит?

theSameElementsAs не подходит?

что делает?

да у меня понг большой был; ничего осбого; по элементно левый траверсабл с правым сравнивает может даже (InOrderAs) с учетом порядка

С учётом того, что я сижу с Аифуна, то нужно копировать и исправить

это вот тебе https://gist.github.com/anonymous/dc0ef24e4d3102161cecff4b9a0ee1da

это вот тебе https://gist.github.com/anonymous/dc0ef24e4d3102161cecff4b9a0ee1da

и? эт не говорит о том, что Iterable = Fold

прикольно наверное делать fold на вызове next

и? эт не говорит о том, что Iterable = Fold

это говорит, что Iterable изоморфно Foldable. прочитай код плз

вот это ты дал

это тебе https://gist.github.com/anonymous/a8cd77356e9d67473602549772c98747

ERROR: S client not available

прикольно наверное делать fold на вызове next

fold делается один раз, но он ленивый

на каждый вызов next он делается

на каждый вызов next он делается

нет, он делается один раз при инициализации`cur`

при инициализации cur делается foldRight

что еще больший фан

да, именно он и делается

больше фолдов там нет

а я тебе про фолд на next

ленивый foldRight

да это же Option.fold!!!!

а ну да

ну прочитай код, пожалуйста, прежде чем охинею нести

как-то не функциональненько ты написал

var cur )

потому что имплементирую Iterator

у него по определению mutable state

и что ты этим хотел показать?

это говорит, что Iterable изоморфно Foldable. прочитай код плз

убедил

пойду поработаю

это тебе https://gist.github.com/anonymous/a8cd77356e9d67473602549772c98747

и? с чего бы "Traversable better than Iterable" ? Зачем их вобще сравнивать с позиции "лучше-хуже" ? траверсабл и итерабл - разный апи для одной сути - обход поэлементно. Ничего кроме этого. Исходя из общего описания - ни там ни сям никаких гарантов даже нет, что эти элементы будут ограничены множеством которое ты хочешь обойти или что ты обойдешь гарантированно каждый элемент множества или не обойдешь какие-то элементы более одного раза. Ничего не гарантируется, кроме гаранта наличия апи для обхода. Более того - Итерабл (а точнее итератор, потому что итерабл лишь гарант получения итератора) - несколько более мощная концепция, поскольку траверсабл всегда может быть выражен через итерабл, а наоборот не всегда(а ведь итератор еще может быть и двунаправленный - здесь траверсабл сразу на лопатки ложится). То, про что ты толкуешь - это всего лишь частные реализации со своими гарантиями, но никак не часть общих определений.

и? с чего бы "Traversable better than Iterable" ? Зачем их вобще сравнивать с позиции "лучше-хуже" ? траверсабл и итерабл - разный апи для одной сути - обход поэлементно. Ничего кроме этого. Исходя из общего описания - ни там ни сям никаких гарантов даже нет, что эти элементы будут ограничены множеством которое ты хочешь обойти или что ты обойдешь гарантированно каждый элемент множества или не обойдешь какие-то элементы более одного раза. Ничего не гарантируется, кроме гаранта наличия апи для обхода. Более того - Итерабл (а точнее итератор, потому что итерабл лишь гарант получения итератора) - несколько более мощная концепция, поскольку траверсабл всегда может быть выражен через итерабл, а наоборот не всегда(а ведь итератор еще может быть и двунаправленный - здесь траверсабл сразу на лопатки ложится). То, про что ты толкуешь - это всего лишь частные реализации со своими гарантиями, но никак не часть общих определений.

Traverse просто более мощное определение, чем Foldable, так же, как Монада более мощное, чем Функтор

а Foldable, как мы уже выяснили, равномощно Iterable

и ещё ращ

не равномощно, потому что фолдабл через итерабл выразимо, а итерабл через фолдабл нет.

мы говорим не о scala.collection.Traversable а о cats.Traverse или scalaz.Traverse

не равномощно, потому что фолдабл через итерабл выразимо, а итерабл через фолдабл нет.

смотри выше

не равномощно, потому что фолдабл через итерабл выразимо, а итерабл через фолдабл нет.

https://gist.github.com/anonymous/dc0ef24e4d3102161cecff4b9a0ee1da

только в твоей вселенной в рамках scalaz, cats

только в твоей вселенной в рамках scalaz, cats

как это понять?

расскажи о других вселенных

так, что эти библиотеки - есть частные реализации со своими гарантиями.