иногда нужна мотивация) и может быть даже компаньен

Так то я скалолазанием занимаюсь

и там на скале пишешь на скале

Не, на скалы иногда езжу:)

блин, как-то странно смотрятся доклады про фри монады, решил ознакомиться, просмотрел доклад с scala days, сначала тебе базовые понятия монад и функторов объясняют, а потом резко бах - и вот уже через 30 секунд туда-сюда летают монад-трансформеры, везде типы с дырками и объявляется что это очень удобно и просто :(

блин, как-то странно смотрятся доклады про фри монады, решил ознакомиться, просмотрел доклад с scala days, сначала тебе базовые понятия монад и функторов объясняют, а потом резко бах - и вот уже через 30 секунд туда-сюда летают монад-трансформеры, везде типы с дырками и объявляется что это очень удобно и просто :(

Как нарисовать сову

Как нарисовать сову

вот-вот

блин, как-то странно смотрятся доклады про фри монады, решил ознакомиться, просмотрел доклад с scala days, сначала тебе базовые понятия монад и функторов объясняют, а потом резко бах - и вот уже через 30 секунд туда-сюда летают монад-трансформеры, везде типы с дырками и объявляется что это очень удобно и просто :(

попробуй вот это

http://degoes.net/articles/easy-monads

тут была уже эта ссылка

прочитал с underscore статью, там тоже "вот определение, а теперь мы возьмем кучу штук из scalaz и их применим, и всё сразу круто"

С Майлзом не так много фоточек в интернете ):

С Майлзом не так много фоточек в интернете ):

Хмм, а почему Трэвис затисался в этот стикерпак?)

http://degoes.net/articles/easy-monads

а почему штука типа def socialProgram: ConsoleIO = WriteLine( "Hello, what is your name?", ReadLine(name => WriteLine("Hello, " + name + "!", End) ) ) считается чистой или детерминистичной? в этом конкретном примере не дается интерпретатора, а от него все и зависит

Хмм, а почему Трэвис затисался в этот стикерпак?)

что бы был

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

? можно удалить

а почему штука типа def socialProgram: ConsoleIO = WriteLine( "Hello, what is your name?", ReadLine(name => WriteLine("Hello, " + name + "!", End) ) ) считается чистой или детерминистичной? в этом конкретном примере не дается интерпретатора, а от него все и зависит

хотя дальше дается, но он игнорит неприятные вещи типа рид-онли ФС или там нехватки памяти

Использует ли кто в свсоей команде публичный кодингстайл для скалы, к примеру тот что у ребят из датабрикса ( забудь скалу всякий сюда входящий ) или еще что-то ?

http://docs.scala-lang.org/style/

а почему штука типа def socialProgram: ConsoleIO = WriteLine( "Hello, what is your name?", ReadLine(name => WriteLine("Hello, " + name + "!", End) ) ) считается чистой или детерминистичной? в этом конкретном примере не дается интерпретатора, а от него все и зависит

потому что мы возвращаем не вэлью а ИО

мы всегда возвращаем ИО

http://docs.scala-lang.org/style/

датабрикс гайды ты конечно же видел (:

датабрикс гайды ты конечно же видел (:

(:

мы всегда возвращаем ИО

то есть, если придираться, то оно чистое и детерминистичное, потому что ничего само по себе не делает? :)

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

Но датабриксовский уж слишком жёсткий

то есть, если придираться, то оно чистое и детерминистичное, потому что ничего само по себе не делает? :)

я не понимаю как вы не понимаете =)

я не понимаю как вы не понимаете =)

в статье выше, задается некая последовательность вызовов кейс классов / функций, которая представляет собой АСТ, который потом разбирает некий интерпретатор но сама по себе она не имеет большого смысла =>? именно поэтому считается чистой/детерминистичной?

конкретно, меня смущает, что созданный АСТ обзывается чистым, это парадокс — он ведь ничего и не делает

(небольшая придирка к статье, в общем)

ну я ж не де гоес

у меня похмел жесткий, но вообще да

примерно что ты сказал то и есть

а, ну окей)

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

ну да, просто странно обзывать именно АСТ чистым

конечно, он чистый, потому что ничего не делает

конечно, он чистый, потому что ничего не делает

Ничего не делает, но описывает что делать

наверное это называется как нибудь типа "алгебра" =)

Алгебра это компоненты композиции

> компоненты композиции

нену а чо

норм же

наверн можно еще сказать "словарный запас" :)

да, сумманты суммы

вот алгебра эллочки была не очень обширной

не говорила она "железно" /=

трудности перевода

конкретно, меня смущает, что созданный АСТ обзывается чистым, это парадокс — он ведь ничего и не делает

В этом же и писечка. Есть на свете всякая грязь. Ввод/вывод, с которого неизвестно что придёт, если вообще не убьётся с ошибкой. Глупые юзеры, падающие сервера. Нам хотелось бы изолировать проблему говённости и непредсказуемости внешнего мира от всякой там логики приложения

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

Такую структуру не обязательно пускать в основной интерпретатор, чтобы протестировать.

Т.е. ты можешь сделать множество способов "запустить" свою логику. В каком-то она крутится в твоих route, кидает эксепшны и отсылает логи куда-то.

интерпретатор

я один сразу о другом думаю?

В каком-то она верифицируется синхронно в юнит-тестах.

В каком-то очень вербозно даёт поиграться с собой в консольке. В каком-то обрабатывает распердоленные коллекции в спарке.

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

А еще эти "способы" можно подвергать композиции

Что доставляет существенно

ERROR: S client not available

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

Мы про фримонаду?

Наверное, я сталкивался только с теми четырьмя. Т.е. 1. ad-hoc 2. debug 3. testing 4. vectorization/batch processing

Плюс разнообразная оптимизация с помощью Free+Coyoneda или Trampoline

Но минус фримонад в их как раз неалгебраичности

Т.е. в игре всегда части вроде A => Free[F, B]

Это может быть существенным минусом, когда ты хочешь "проанализировать" построенную структуру, не запуская ничего, к примеру, чтобы построить swagger схему из неё

Это может быть существенным минусом, когда ты хочешь "проанализировать" построенную структуру, не запуская ничего, к примеру, чтобы построить swagger схему из неё

как решить?

как решить?

Для просто структур, которые не предполагают композиции, можно заюзать Free Applicative

Для случаев вроде HTTP route, где есть необходимость делать разветвления в процессе обработки запроса, нужно либо что-то вроде servant, либо если не переходить на уровень типов, какой-то Free Arrow

Но даже если ты придумаешь Free Arrow, какого-то arrow for-comprehension, как в Haskell ты не дождёшься, и твой DSL будет очень мрачной нечитаемой математизированной фигнёй

Либо раздутой хернёй, как akka streams graph DSL

То есть по сути всё сводится к тому чтобы а) определить AST для своей предметной области б) задать в нем операции типо map, flatMap, итд в) написать интерпретатор, который будет делать что-то конкретное разбирая твой AST?

То есть по сути всё сводится к тому чтобы а) определить AST для своей предметной области б) задать в нем операции типо map, flatMap, итд в) написать интерпретатор, который будет делать что-то конкретное разбирая твой AST?

Касательно пункта б) Только map

Касательно пункта б) Только map

разве в определении монады не pure и flatMap ?

point/flatMap за тебя реализует Free

мы же можем выразить map через flatMap и pure по идее

point/flatMap за тебя реализует Free

Мы говорим о конкретном каком-то библиотечном free или о том, который я сам должен сделать?

Мы говорим о конкретном каком-то библиотечном free или о том, который я сам должен сделать?

Без разницы. Можешь юзать из scalaz/cats, можешь сам написать

Без разницы. Можешь юзать из scalaz/cats, можешь сам написать

Ну да, я понял. Просто вроде понятные пункты из того, что я выше написал, в туториалах ВНЕЗАПНО превращаются в гору магических импортов из scalaz, которые делают какую-то магию

Ну да, я понял. Просто вроде понятные пункты из того, что я выше написал, в туториалах ВНЕЗАПНО превращаются в гору магических импортов из scalaz, которые делают какую-то магию

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

посоны, кто-нибудь юзал, как впечатления? https://www.pramp.com/invt/3xKJK6zWABsvzMQMG9yb

Вот тут про free applicatives хорошо рассказаноhttps://m.youtube.com/watch?v=H28QqxO7Ihc

мы же можем выразить map через flatMap и pure по идее

Классическая Free[F, ?] является монадой если F - функтор, при этом для любой F можно обернуть в койонеду и получить функтор, чтобы этого не делать каждый раз, койонеду добавили во Free третим членом ADT.

Советую ради интереса начать с Free[F[_], A] = Pure[A](a: A) | Bind[F[_], A](fa: F[Free[F, A]]) и добавить все известные операции

Мне вот интересно, а вам не жалко производительности на эт, это ж виртуальный вызов?

Константы считать - на скале не кодить.

Ты еще у актора подсчитывай место, которые переменные занимают, чтобы на уровне кеша проца каждый тред читал регистр целиком и они бы не пересекались.

А что регистр можно прочитать не целиком?)

Я думаю ты хотел написать всеж кэшлаин

Ну я про л1 л2 кеши, а регистром что называют?

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