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

@Emiya402 запили пост в интернетах. это лучший ввод в ФП

+1

там заодно и разъяснят почему > Free(монад) там называется Fix ("the fixed point of a functor”)

@folex пка что отправляю только один запрос

я, кстати, так и начал. истребляю проверки на null опшнами

а чё, в дотти какие то особые доказательства?

https://github.com/slamdata/matryoshka

ого. спасибо! endless learning...

@folex пка что отправляю только один запрос

в sender() разве не Success(value) надо шпарить?

@Emiya402 запили пост в интернетах. это лучший ввод в ФП

Да меня Мизулина посадит. Но спасибо :3

@28574301 нет вообще не факт

а чё, в дотти какие то особые доказательства?

не знаю, у меня откуда-то такое ощущение было, что типа зависимые типы делают язык теорем прувером. я тут не специалист совсем.

а там жеж нет завтипов

только более строгая и компактная формулировка скальной системы

o:

я думал что дотти какраз от dependent object types название

там нет экзистенциальных типов но есть зависимые

https://infoscience.epfl.ch/record/215280/files/paper_1.pdf ну тут много раз упоминается "Dependent Types"

хотя мб я путаю

dependent object type != dependent type

э да; это название системы типов

исчисления вернее

https://twitter.com/odersky/status/593319039042265088

Прям в шапке "Keywords: Calculus, Dependent Types, Scala".

вы бы хоть свои ссылки почитали :) > Pathdependent types give a limited form of type/term dependency, where types can depend on variables, but not on general terms.

Я честно признаюсь - не читал.

While hiking together in the French alps in 2013, Martin Odersky tried to explain to Phil Wadler why languages like Scala had foundations that were not directly related via the Curry-Howard isomorphism to logic. This did not go over well. As you would expect, Phil strongly disapproved.

лол, отличное начало для whitepaperа

освежающе прям

я в общем к тому, что скале и сейчас есть эти самые path-dependent types, на них шейплесс построен

в дотти их просто по другому упакуют

While hiking together in the French alps in 2013, Martin Odersky tried to explain to Phil Wadler why languages like Scala had foundations that were not directly related via the Curry-Howard isomorphism to logic. This did not go over well. As you would expect, Phil strongly disapproved.

откуда

https://pbs.twimg.com/media/Cu_vQ4vWYAEA3Wy.jpg:large

а, увидел

Кому было интересно как получить ответ от актора вне актора

сегодня вечером залью простенький HTTP client с этой шнягой

неплохо раскрыт концепт монады здесь http://amosatva.ru/?p=1553

в принципе товарищи все правильно говорили что все через ask нада делать

бля

щас дам ссылку на монаду

вот там от раскрыт в божественном смысле

это всё перепевки пифагорейства

неплохо раскрыт концепт монады здесь http://amosatva.ru/?p=1553

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

https://en.wikipedia.org/wiki/Monad_(philosophy)

http://www.newadvent.org/cathen/10447b.htm

википедия отдыхает

адвентисты рулят

неоплатонизм по определению это адаптация греческой философии

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

ну это говорит о том что жто концепция католически адвентическая ))

конкретно эту статью написал шотландский католик Вильям Тёрнер в начале 20го века

вообще монада монады это вселенная

Monads are burritos, это же очевидно

ну это говорит о том что жто концепция католически адвентическая ))

waaaat

концепция лейбница, о чём в статье и написано, если почитать её серьезно, а не на хихи

ну лан

я серьезно ее не читал, сознаюсь ))

мне интересно еще как может существовать католико-адвентистская концепция ??

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

А еще Монада в аналитической психологии рассматрвиается как эквивалент Самости, т.е. некоторого духовного центра души, т.ч. вся эта котовасия с ФриМонадами может быть рассмотрена как продолжение алхимического Делания

обед как бы

Пыщ! http://scalalaz.ru/series-06.html

До подкастовых приложений скалалаз медленно доплывает почему-то (У меня плеер-фм на андроид)

У остальных есть такая проблема? Или файл скачал и ололо?

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

6 эпизода нет еще в фиде, по опыту через пару дней мб появится

ERROR: S client not available

или джента

неплохо раскрыт концепт монады здесь http://amosatva.ru/?p=1553

Бля, посоны, вот это пушка! Теперь все стало кристально ясно!

или джента

https://scontent-arn2-1.xx.fbcdn.net/v/t1.0-9/14632804_536559003210868_3492623286339279090_n.jpg?oh=64342ae0fb4ff0231f7bbc235469895a&oe=58A12230

джент это ж "стиль в котором играет мешуга" :)

единственный представитель стиля ага :)

зато много всякого на ютубе =)

мне нравится как этот стиль обыгрывается у Twelve Foot Ninja

Что дешевле развернуть: строку или список?

слишком мало условий

какой список?

Список строк суммарной длины Н или строку длины Н

Делаю автомат который парсит строку

реализация списка какая?

Задался вот вопросом

java.util.ArrayList?

Стандартная

А нужно его брать?

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

Не знал о такой структуре данных

это не структура данных, это метод последовательного обхода списка

я думаю что ArrayList развернуть дешевле потому что он mutable, в остальном это тот же массив как и строка

это имхо

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

не трогать память? ?

не трогать память? ?

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

я думаю что ArrayList развернуть дешевле потому что он mutable, в остальном это тот же массив как и строка

а как мутабельность на скорость влияет ?

я говорил по памяти

не было речи в чем дешевле

а как мутабельность на скорость влияет ?

есть случаи же когда она действительно влияет)

ну на выделение тоже время уходит

хотя думаю оно минимально

бгг

смотря сколько памяти и каким образом выделяется