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

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

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

я боюсь, что это не невнимательность

я по себе замечал что ТАПЛ плохо читается до того как научишься программировать на СТЯП и хорошо после

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

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

fmap f (Arr2 g) = Arr2 (\a b -> f (g a b))

у нас offline задача на день, зачастую NP-complete, потом ещё общение, общение важно

у нас offline задача на день, зачастую NP-complete, потом ещё общение, общение важно

Выпендриваются все эти конторы на собеседовании, а потом опердени пишут.

fmap f (Arr2 g) = Arr2 (\a b -> f (g a b))

Выпендриваются все эти конторы на собеседовании, а потом опердени пишут.

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

нет, вот честно, я с самого начала думал, что это не лямба, а фигня какая-та

у нас не так много coq-еров

fmap f (Arr2 g) = Arr2 (\a b -> f (g a b))

Ты из тех людей, что при встрече рассказываешь всем развязки самых обсуждаемых фильмов и сериалов?

там потом будет Arr3 насколько я помню

функция от двух переменных или 2 каррированных функции

нет, вот честно, я с самого начала думал, что это не лямба, а фигня какая-та

> нет, вот честно, я с самого начала думал, что это не лямба, а фигня какая-та > тип в смысле короче Arr2 теперь то напишешь что такое Arr2?

Такое ощущение, что вживую отыгрывается сюжет одной из растаманских сказок Дмитрия Гайдука. Там был чудесный вопрос "что такое говно".

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)) }