Arr2 - конструктор, который принимает функцию от двух аргументов. То есть сам Arr2 - функция от одного аргумента, где первый аргумент - функция от двух. Чтобы смапать функцию внутри Arr2, нам для начала нужно эту функцию оттуда достать, сделать это можно через паттерн-метчинг или через селекторы/ключи рекорда: fmap f (Arr2 g) = Arr2 (\a b -> f (g a b)) fmap f g = Arr2 (\a b -> f (getArr2 g a b)) После того, как мы достали функцию от двух аргументов, которая возвращает a, нам нужно сделать новую функцию на основе этой, которая возвращает b. То есть мы создаем новую функцию от двух аргументов, передаем эти два аргумента в старую функцию, получаем значение типа a, которые мы отдаем в мапающую функцию, которая нам отдает b. Ну и осталось обратно запихнуть новую функцию в Arr2, сделать это можно через конструктор-фунцию Arr2 (\a b -> f (g a b)) или рекордную запись Arr2 { getArr2 = (\a b -> f (getArr2 g a b)) }

Arr2 - конструктор, который принимает функцию от двух аргументов. То есть сам Arr2 - функция от одного аргумента, где первый аргумент - функция от двух. Чтобы смапать функцию внутри Arr2, нам для начала нужно эту функцию оттуда достать, сделать это можно через паттерн-метчинг или через селекторы/ключи рекорда: fmap f (Arr2 g) = Arr2 (\a b -> f (g a b)) fmap f g = Arr2 (\a b -> f (getArr2 g a b)) После того, как мы достали функцию от двух аргументов, которая возвращает a, нам нужно сделать новую функцию на основе этой, которая возвращает b. То есть мы создаем новую функцию от двух аргументов, передаем эти два аргумента в старую функцию, получаем значение типа a, которые мы отдаем в мапающую функцию, которая нам отдает b. Ну и осталось обратно запихнуть новую функцию в Arr2, сделать это можно через конструктор-фунцию Arr2 (\a b -> f (g a b)) или рекордную запись Arr2 { getArr2 = (\a b -> f (getArr2 g a b)) }

То есть, это маппер из одного типа в другой. И не более.

как наиболее халявно и без синглетонов AscList зопилить

у меня тут и так линейные типы, ещё и тайплевел тащить

уже линейные типы юзаешь?

играюсь понихоньку

@catamorphism да просто тип, в котором элементы упорядочены

а чего бы сет просто не взять?

что за haskell_learn?

тебе туда нельзя будет, я надеюсь)

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

В хаскель завезли линейные типы? :О

никакого, я играюсь с линейными типами и делаю (сделал) сортировку

никакого, я играюсь с линейными типами и делаю (сделал) сортировку

выложи гист

завозят и еще долго будут, судя по всему

Надо завести @haskell_learn

Наверное можно, но зачем?

Ок, вопрос от новичка - как начать получать деньги за кодинг на хаскеле? Желательно на удалёнке. Какой минимум знаний нужен для такой работы, и что следует прочитать и прорешать? К примеру, для работы на java достаточно прочитать Эккеля, узнать, зачем нужен Spring (загадка великая, до сих пор никто не ответил), чуть-чуть знать так называемые прости господи паттерны проектирования и уметь делать простые запросы на sql, для чего достаточно упражнений на sql-ex. И ещё уметь пользоваться maven'ом (чего там уметь-то). Итак, что нужно для Хаскеля? И где под него ищется работа?

@kana_sama ну вот что ты наделал?

+1, какая-то медвежья услуга получилась.

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