в ленивых язках нет

вроде

а не

но только не все, а что надо для take

а (.) . (.) . (.) это три аргумента - два аргумента - один аргумент?

(.) . (.) . (.) :: (b -> c) -> (a2 -> a1 -> a -> b) -> a2 -> a1 -> a -> c

сложно

ну функция от 3 потом от 1

а

а сиси вот

(.).(.) :: (b -> c) -> (a1 -> a -> b) -> a1 -> a -> c

а как запилить три, потом два, потом один?

от 2 а потом от 1

у джина спроси)

че за джин

это назвается процесс инхабитации

восстановление функции по ее сигнатуре

https://hackage.haskell.org/package/djinn

о

спасибо

ну еще есть варинт программирования на дырках

хм, слышал про такое в идрисе

оно есть в хаскеле?

в агде это раньше было

оно есть в хаскеле?

да

о

оно есть в хаскеле?

http://vaibhavsagar.com/blog/2017/05/22/discovering-continuations/

о

Djinn> f ? a -> a f :: a -> a f a = a Djinn> f ? (b -> c) -> (a -> b) -> a -> c f :: (b -> c) -> (a -> b) -> a -> c f a b c = a (b c) Djinn> f ? (b -> c) -> (a -> a1 -> b) -> a -> a1 -> c f :: (b -> c) -> (a -> a1 -> b) -> a -> a1 -> c f a b c d = a (b c d) Djinn> f ? (b -> c) -> (a -> a1 -> a2 -> b) -> a -> a1 -> a2 -> c f :: (b -> c) -> (a -> a1 -> a2 -> b) -> a -> a1 -> a2 -> c f a b c d e = a (b c d e)

continuation) Djinn> type C a = (a -> r) -> r Djinn> returnC ? a -> C a returnC :: a -> C a returnC x1 x2 = x2 x1 Djinn> bindC ? C a -> (a -> C b) -> C b bindC :: C a -> (a -> C b) -> C b bindC x1 x2 x3 = x1 (\ c15 -> x2 c15 (\ c17 -> x3 c17)) Djinn> callCC ? ((a -> C b) -> C a) -> C a callCC :: ((a -> C b) -> C a) -> C a callCC x1 x2 = x1 (\ c15 _ -> x2 c15) (\ c11 -> x2 c11)

есть еще одна штука

ща вспомню

во! https://github.com/lspitzner/exference

а в общем это называется инхабитация

oooooo

caaaddr

а как запилить три, потом два, потом один?

фух! f :: (c1 -> c2) -> (d -> e -> c1) -> (a -> b -> c -> d) -> a -> b -> c -> e -> c2 f a b c d e f g = a (b (c d e f) g) f (\x -> x + 10) (\x y -> x * y) (\x y z -> x + y + z) 10 20 30 40 50 60 70 2410

офигеть

теперь осталось поинт фри

ахаха

f = ((((const .) .) .) .) . (. flip (flip . ((flip . ((flip . (ap .)) .)) .) . (.) . (.) . (.)) id) . (.) . (.) . (.) . (.)

лол

найс

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

Или комбинаторы хотя бы

во! https://github.com/lspitzner/exference

@kana_sama

f = ((((const .) .) .) .) . (. flip (flip . ((flip . ((flip . (ap .)) .)) .) . (.) . (.) . (.)) id) . (.) . (.) . (.) . (.)

а у следующей функции короче что ли

которая берет 4 потом 3 [...]

а нет

f = ((((const .) .) .) .) . (. flip (flip . ((flip . ((flip . (flip .)) .)) .) . (. flip (flip . ((flip . (flip .)) .) . (. flip (flip . (flip .) . flip flip id . (ap .)) h) . (.) . (.)) i) . (.) . (.) . (.)) j) . (.) . (.) . (.) . (.)

сисек много

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

ну это не такая уж и простая задача

f = ((((const .) .) .) .) . (. flip (flip . ((flip . ((flip . (flip .)) .)) .) . (. flip (flip . ((flip . (flip .)) .) . (. flip (flip . (flip .) . flip flip id . (ap .)) h) . (.) . (.)) i) . (.) . (.) . (.)) j) . (.) . (.) . (.) . (.)

че за

магия

так

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

Можно ли методами рамда сделать это же? const fn = a => () => inc(a); const futureCall = fn(5); futureCall() //=> 6

Типа кэрринга, но для функции с одним аргументом, типа inc.

зачем?

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

Нашел: const fn = compose(always, inc); const futureCall = fn(5); futureCall() //=> 6

Хотя нет, не то. Нужно что б вычисление выполнилось именно в момент финального вызова

partial?

partial?

Ого! Спасибо огромное! )

Вот блин, знаю же все методы, а в голове в нужный момент не всплывают )

В итоге так: compose(partial(inc), of)(5)() //=> 6

дано [1,2,3,4,1,2,4,5,1,2,4] получить [[1,2,3,4],[1,2,4,5],[1,2,4]] найти закономерность и обобщить написавши метод

а какое решение для этого в хаскеле?

дано [1,2,3,4,1,2,4,5,1,2,4] получить [[1,2,3,4],[1,2,4,5],[1,2,4]] найти закономерность и обобщить написавши метод

groupWith(lt, [1,2,3,4,1,2,4,5,1,2,4]); //=> [[1, 2, 3, 4], [1, 2, 4, 5], [1, 2, 4]]

ERROR: S client not available

а в хаскеле groupBy

хмм

Раз уж напомнили о тех задачках, то я тут еще попрактиковался )

frequency([1,2,1,2,4,2,1]) // => [[1,1],[2,1],[1,2],[2,2],[4,1],[2,3],[1,3]]

const frequency = o(nth(1), mapAccum((acc, val) => { const getIncreasedVal = o(inc, propOr(0, val)) const getAccumPair = juxt([assoc(val, __, acc), pair(val)]); return o(getAccumPair, getIncreasedVal)(acc) }, {} )); frequency([1,2,1,2,4,2,1]); //=> [[1, 1], [2, 1], [1, 2], [2, 2], [4, 1], [2, 3], [1, 3]]

Может есть и более краткое решение на рамде, но я пока не нашел

const frequency = o(nth(1), mapAccum((acc, val) => { const getIncreasedVal = o(inc, propOr(0, val)) const getAccumPair = juxt([assoc(val, __, acc), pair(val)]); return o(getAccumPair, getIncreasedVal)(acc) }, {} )); frequency([1,2,1,2,4,2,1]); //=> [[1, 1], [2, 1], [1, 2], [2, 2], [4, 1], [2, 3], [1, 3]]

жесть

объясни что делает juxt

вот 1 оно встретилось 1 раз, дальше 2 - 1 раз, потом 1 уже встретилось 2 раз

Это если что, описание )

groupWith(lt, [1,2,3,4,1,2,4,5,1,2,4]); //=> [[1, 2, 3, 4], [1, 2, 4, 5], [1, 2, 4]]

о, а я через редьюс пытался лол

объясни что делает juxt

Как раз возвращает тапл, как и надо для mapAccum

?

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

?

делать функции data last

map(f => f(a,b))

делать функции data last

Не понял

ну данные последним аргументом

Я про НАБОР аргументов, и в каждую функцию в цепочке

compose сможет как-нибудь массив принять?

map(f => f(НАБОР АРГУМЕНТОВ), [КАЖДАЯ ФУНКЦИЯ])

map(f => f(НАБОР АРГУМЕНТОВ), [КАЖДАЯ ФУНКЦИЯ])

Спасибо за наводку на мысль! )

Либа в две строки) https://github.com/zerobias/ensue Но это всё равно не выход

Нужен нормальный Reader, всё остальное — полумеры

Не совсем понятно, нужно ли передавать в функции одни и те же аргументы, или каждая функция должна генерить новые n аргументов, которые нужно передать дальше

Можно оборачивать каждую функцию в apply и возвращать массив аргументов

Просто передавать через все функции ровно один аргумент

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

Не совсем понятно, нужно ли передавать в функции одни и те же аргументы, или каждая функция должна генерить новые n аргументов, которые нужно передать дальше

Конечно аргументы по пути должны трансформироваться. Поэтому я и сказал именно об аналоге compose. По пути через цепочку аргументы должны трансформироваться.

Иначе я бы применил juxt )

Или converge

Я так понимаю, что монада Reader для этой таких задач не подходит? Она же обеспечивает только чтение переменных?