ну если это комонада - то получишь резултат

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

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

ну да там есть extract, duplicate и extend

Решает одни задачи я имел ввиду

Ну вон я в самом начале диалога приводил пример

а мне вся эта дисскусия кажется ни о чем

я устал что-то доказывать

вычисления

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

В flow и ts есть дженерики ?

женерики сакс

нужен ad-hoc полиморфизм

В flow и ts есть дженерики ?

Ну в контексте этой беседы в джаве тоже есть дженерики но тайпклассы не запилить

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

А Nothing как раз наверное заканчивается Either? если развить тему надуманного примера? Тогда я все же изменю мнение, не ругайтесь)

Это очевидно было бы неудобно

Either для того где надо сказать какая причина падения

Nothing типа как просто null

Да ,я сам сказал поторопился и сам потом понял) Но можно ли сказать в таком случае что разница между кучей compose в том что какую то прям богатую логику лучше решат монады, а compose более тулзовые вещи и скорее даже связанные с одним типом?

Пока в тебя летит очередная комонада замечу что да, примерно так

Всем спасибо!!!)

?

Написал еще и для tcomb генерилку данных https://github.com/typeetfunc/tcomb-generate но уже так чисто по фану)

зачем?)

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

Правда остаётся большая проблема генераторов для refinement типов. Их пока ручками писать всеравно надо. Есть интересный пейпер где скрещивают для этих целей constraint solving и банальные контр примеры при обходе. Но пока там ещё все очень сыро :(

Кстати забавно что в clojure spec эта проблема тоже нифига не решена и о ней даже особо не говорится

https://arxiv.org/abs/1607.05443

Вот пейпер если кому интересно

А такая штука в рамде есть? https://lodash.com/docs/4.17.4#mapKeys

Никто не пользуется что-ли такими вещами?

А такая штука в рамде есть? https://lodash.com/docs/4.17.4#mapKeys

Такой штуки не должно существовать

Это как сделать map для set

Пример: .mapKeys(_=> 'a')

Что станет если полей больше одного?

При том что в идеале порядок полей в объекте не определён

Никто не пользуется что-ли такими вещами?

кстати может кейз тогда подкинешь?

Есть объект с фильтрами: { f1: 1, f2: 2 }. Надо перед отправкой на сервак json сделать так, чтобы все ключи были с суффиксом __in

Можно сделать самому через Object.keys, forEach и объект-буффер. Но зачем, если в лодаш есть такая функция.

Никто не пользуется что-ли такими вещами?

есть https://github.com/ramda/ramda/wiki/Cookbook#map-keys-of-an-object и есть большой кукбук https://github.com/ramda/ramda/wiki/Cookbook

Можно сделать самому через Object.keys, forEach и объект-буффер. Но зачем, если в лодаш есть такая функция.

но ты всегда можешь сделать изо

compose(invertObj, map(toUpper), invertObj)({a:10, b:20})

это тебе ключи модифицирует и вернет обратно объект

compose(invertObj, map(toUpper), invertObj)({a:10, b:20})

дважды риск потерять поля

есть https://github.com/ramda/ramda/wiki/Cookbook#map-keys-of-an-object и есть большой кукбук https://github.com/ramda/ramda/wiki/Cookbook

А это не оверхед? Переводить в массив сначала, потом мэпить новый и потом только из него делать массив? Просто иногда кажется, что это не опрадывает себя, делать такие тяжеловесные композициии.

А это не оверхед? Переводить в массив сначала, потом мэпить новый и потом только из него делать массив? Просто иногда кажется, что это не опрадывает себя, делать такие тяжеловесные композициии.

говорить про оверхед в фп чате

у тебя объект на миллиард полей?

дважды риск потерять поля

с чего это?

мап че взял то и вернул

он же не добавляет и не отнимает

так а {a: 10, b: 10}

{aA: 10, Aa:20, ab: 10}

{aA: 10, Aa:20, ab: 10}

?

оукей

http://ramdajs.com/repl/?v=0.24.1#?const%20f%20%3D%20compose%28invertObj%2C%20map%28toUpper%29%2C%20invertObj%29%0Af%28%7BaA%3A%2010%2C%20Aa%3A20%2C%20ab%3A%2010%7D%29%0A

хотя насчёт инверта не то что я ожидал

f({aA: 10, Aa:10, ab: 10})

так лучше

а ну да

хотя насчёт инверта не то что я ожидал

а ты походу не знаешь как работает объект)) а ты попробуй просто в консоли {aA: 10, AB:20, AB: 10}

))

ладно, ок, никаких рисков. просто маленькая особенность

законы функтора вроде нарушаются, но наверное ничего страшного

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

ERROR: S client not available

законы функтора не нарушаются

просто invertObj съедает по правилу что уникальные ключи должны быть

ну если делать мап на сет или хешмап по ключам

последний invertObj

https://twitter.com/xgrommx/status/877676608076861440

ну шо за вайдотство? https://github.com/facebookexperimental/JSCaml

и почему нe rejscaml

?

@ZeroBias у тебя нормально в debug console открываются массивы и объекты?

Извиняюсь за оффтоп.

Ну да, более менее, а что?

У меня они вечно грузятся, я чет немогу понять в чем проблема.

Это я в дебаг режиме через node.

Ээм, хз) Режим дебага inspect?

А он по умолчанию не в inspect? https://pastebin.com/ibEp84Fr

А есть канал, по редакторам?

Чтобы не оффтопить тут.

@ide_ru

правда он не очень живой

правда он не очень живой

Ping

https://github.com/awto/TypeScriptWithImplicits

а вот и рефлекс https://www.youtube.com/watch?v=AGkSHE15BSs

Ping

?

?

спам был

Почаны, первый раз подключил рамду в жизни, вот реал в первый раз.

И серьёзно ФП не делал раньше.