да это понятно-то

>> то есть вполне возможно что ты подходишь к решению задачи исходя из имеющихся знаний Отчасти да. Но я согласен что линзы это полезная штука. Просто просмотрев (хоть и не очень подробно) документацию partial, мне не бросилось особо в глаза примеров, которые было бы особо труднее реализовать через рамда. Исключение - линзы с рекурсивностью. А все остальное как-то не впечатлило. Хотя может действильно я еще не вкурил )

https://github.com/robpike/filter

>> то есть вполне возможно что ты подходишь к решению задачи исходя из имеющихся знаний Отчасти да. Но я согласен что линзы это полезная штука. Просто просмотрев (хоть и не очень подробно) документацию partial, мне не бросилось особо в глаза примеров, которые было бы особо труднее реализовать через рамда. Исключение - линзы с рекурсивностью. А все остальное как-то не впечатлило. Хотя может действильно я еще не вкурил )

у рамды есть мощный evolve

Да. Отчасти о нем тоже вспоминал глядя на кейсы partial

ivy курильщика https://github.com/robpike/ivy

>> то есть вполне возможно что ты подходишь к решению задачи исходя из имеющихся знаний Отчасти да. Но я согласен что линзы это полезная штука. Просто просмотрев (хоть и не очень подробно) документацию partial, мне не бросилось особо в глаза примеров, которые было бы особо труднее реализовать через рамда. Исключение - линзы с рекурсивностью. А все остальное как-то не впечатлило. Хотя может действильно я еще не вкурил )

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

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

Rx напоминает)))

А уж если начнешь в проекте прикручивать partial, то глядя на этот код коллеги точно решат тебя сжечь )

та и от рамды могут сжечь с rx

Это половина того ужаса, который может вселить вид partial )

ну rx он такой. хуяк хуяк сабжектов и вроде реактивный код

ну rx он такой. хуяк хуяк сабжектов и вроде реактивный код

э не! сабжекты онли он деманд

ещё поглобальней вынести ссылки и подписываешь в любом месте кода.

)))

у меня subject в драйвере так что все законно

?

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

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

хорош, на интуицию полагаться эт как раз то что нам нужно)

?

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

ето про голанг?

хорош, на интуицию полагаться эт как раз то что нам нужно)

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

я конечно не вспомню что там было)

подсветку TL влили в гитхаб ееее

https://github.com/telegramdesktop/tdesktop/blob/dev/Telegram/Resources/scheme.tl

const parse = (text) => pipe(reduce((acc, p) => { return { list: [...acc.list, { text: text.slice(acc.last, p.offset) }, { _: p._, text: text.slice(p.offset, p.offset + p.length), } ], last: p.offset + p.length } }, { list: [], offset: 0 }), prop('list'))

как тут выпилить стейт?

стейт = text?

стейт last

ну и text можно

ну, тут сложноватая штука с этим подчёркиванием. а так подгатавливаешь список, где нужно вырезать. типа [[0], prop(list).map([p.offset], [p.offset + p.length /* где-то тут можно зашить p._ */])].flatten.uniq и как-то это нужно замапать на splitAt или сделать второй смещёёный список (например с добавленным 0 в начале) и его zipWith((,)) и slice

Чет как-то запутанно

нубский вопрос, как рамдовские тайпинги для тс подружить с импортом через ramda/src/ ?

работает нормально только если писать import { map } from ‘ramda’;

но так тришейкинг не работает

для тришейкинга есть https://www.npmjs.com/package/babel-plugin-ramda

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

rx,most,... это все императивное решение которое имеет конечный результат что и у фрп

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

этот плагин я видел, но разве бабель и тс не используются либо/либо в основном?

у меня тс собирается своим лоадером, бабеля нету

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

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

дно

я бы тоже много чего сделал, но я не один над проектом работаю

и не я такие решения принимаю

что это за залупа? https://github.com/tpoulsen/recursion_schemes/blob/master/lib/recursion_schemes.ex#L40

нубский вопрос, как рамдовские тайпинги для тс подружить с импортом через ramda/src/ ?

написать типы для ramda/src ?

что это за залупа? https://github.com/tpoulsen/recursion_schemes/blob/master/lib/recursion_schemes.ex#L40

https://elixir-lang.org/getting-started/typespecs-and-behaviours.html

готовые же есть

готовые же есть

Всм?

Они просто для ramda, я имею ввиду declare module 'ramda/src/map' { ... }

https://github.com/types/npm-ramda

только они рассчитаны на то, что ты монолитный инстанс юзаешь

а

понял

как у димы в флоу

https://github.com/zerobias/telegram-mtproto/blob/feature/mtproto3/flow-typed/ramda_vx.x.x.js#L1120

https://github.com/types/npm-ramda

лол, откуда эта превьюха?

это фото организации

вообще мейнтейнер этих типов рамды немного упоротый

Они просто для ramda, я имею ввиду declare module 'ramda/src/map' { ... }

а можно в нем заюзать объявление функции, которое написано в npm-ramda?

или копипастить все?

?

import { func } from 'ramda' export default func

шторм не подтянул тайпинги

declare module 'ramda/src/map' { import { map } from 'ramda'; export default map; }

как?

ERROR: S client not available

А тайпскрипт

ну у меня цель комплишен в иде

елси без него, то можно и просто import { map } from 'ramda/src/map’

Никто ещё не предложил babel-plugin-ramda?

у него бабела нет

Аа

Народ! Рамдовский метод composeK требует что б каждый из методов в цепочке возвращал контейнер того же типа, что и предыдущий: composeK(s => Maybe.Just(s + 1), s => Maybe.Just(s + 1), s => Maybe.Just(s))(5) //=> Maybe.Just(7) А можно ли писать проще? Что б не прописывать возвращене контейнера каждый раз, тем более что вернуть ты можешь в любом случае контейнер того же типа. Иными словами, можно ли в рамде встроенными создать цепочку вызовов без создания какой либо утилитной функции своими руками? В смысле что б писать не так: const ofMaybe = fn => a => Maybe.Just(fn(a)); composeK(ofMaybe(inc), ofMaybe(inc), ofMaybe(identity))(5) //=> Maybe.Just(7) а как-то так: method(inc, inc, s => Maybe.Just(s))(5) //=> Maybe.Just(7) ?

Народ! Рамдовский метод composeK требует что б каждый из методов в цепочке возвращал контейнер того же типа, что и предыдущий: composeK(s => Maybe.Just(s + 1), s => Maybe.Just(s + 1), s => Maybe.Just(s))(5) //=> Maybe.Just(7) А можно ли писать проще? Что б не прописывать возвращене контейнера каждый раз, тем более что вернуть ты можешь в любом случае контейнер того же типа. Иными словами, можно ли в рамде встроенными создать цепочку вызовов без создания какой либо утилитной функции своими руками? В смысле что б писать не так: const ofMaybe = fn => a => Maybe.Just(fn(a)); composeK(ofMaybe(inc), ofMaybe(inc), ofMaybe(identity))(5) //=> Maybe.Just(7) а как-то так: method(inc, inc, s => Maybe.Just(s))(5) //=> Maybe.Just(7) ?

хуйня какая-то

ты можешь в коробку, запихнуть коробку-коробки?

Понял только про хуйню

О чем второе предложение?

Int -> Int -> [Int] -> Int -> [Int] как ты себе такой трешак представляешь?

ты хочешь смешать 2 категории

a -> b Monad m => a -> m b

стрелки Клейсли с функциональными стрелками

Хотя сорри! Мой кейс вполне заменяется методом map контейнера ) Maybe.Just(5).map(inc).map(inc) //=> Maybe.Just(7)

ну вот)

или compose(map, map, filter)(Maybe.Just(5))

и если у тебя 2 рядом map то лучше map(o(f, g))

это фьюжен

Хотя сорри! Мой кейс вполне заменяется методом map контейнера ) Maybe.Just(5).map(inc).map(inc) //=> Maybe.Just(7)

Уже второй раз хочу тебе об этом написать)

Бля, на меня снова накатало.

Расскажите мне, пожалуйста, в человеческих, можно даже "поцанских", терминах, что такое монада касательно программирования?

Всё что я понял из мирриады статей это то что монада в скалке это любой тип с флатМапом но наверное есть чёт ещё?

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

И так по кругу.

Всё что я понял из мирриады статей это то что монада в скалке это любой тип с флатМапом но наверное есть чёт ещё?

вот это

Проиграл с введения, спасибо. Возможно в этот раз пойму, люблю смешные пояснения.

Т.е. монада это типо контейнера который соблюдает вот эти три правила на правый юнит, левый юнит и ассоциативность?

Т.е. монада это типо контейнера который соблюдает вот эти три правила на правый юнит, левый юнит и ассоциативность?

да =)