https://stepik.org/course/75

Спасибо

зачем изучать хаскель? Работы-то нет

можешь рассказать что это за тип?

а что конкректно?

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

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

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

мне нравится как A64m иногда забегает и подбивает итог за последние пару экранов

а что конкректно?

все, что такое newtype Arr2, и что он вообще делает и обозначает

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

тапл?

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

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

просто сейчас у тебя половина вещей где должна быть суть заменяется многоточиями

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

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

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

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

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

Тапл - это книжка Пирса?

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

согласен

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

стяп?

а вообще начинать стоит с lyhfgg и http://haskellbook.com/

Да, тапл это книжка пирсал

статически типизированные яп

о, спасибо

т.е. проверить, невнимательность это или нет можно только задав 100600 вопросов базовых

утянул в берлогу :D

если что-то не так то объяснить

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

пирс кстати прикольный дядька, у него самый крутой лекторский голос, что я за жизнь слышал

с серьезным отрывом от остальных

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

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

лучше меййерского во всяком случае

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

Поэтому я и спрашиваю о тестовых заданиях из реальной практики

кстати кто там долго с Арно обсуждал, то как принимают?

или не из этого чятика ребята

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

(хз поступил бы я если бы там с начала не работал)

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

f ... g :D

у Well Typed, весьма простая задача, в которой надо код исправить

в tmux + общение в это время в irc

самое крутое интервью у них что было

onsite google разве что с ним сравнимо было

но у гуглов адреналина в итоге меньше

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

NP-complete задача???

никто точного решения не требует : ]

Ну такое

решите задачу комивояжера за полиномиальное время

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

Какое-то динамическое программирование? Оптимизация и т.п

как хочется, вариантов много там

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

а NP = P задачи у вас нет?

нету

ну хоть так

вон выше Alister предлагает

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

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

Да

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

спасибо, я так понимаю Arr2 выступает в кач-ве функции от двух переменных? вроде бы все на своих местах, но все-таки трудновато для первого раза, не решил бы сам

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

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

в твиге еще знание coq приветствуется

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

HoTT coq?

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

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

тип в смысле короче Arr2

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

разбирайся с начала, короче

кто-то ничего не понял

я ж не зря спрашивал, объяснения что обозначает тип..

ну да, видимо это и был ответ на вопрос к задаче

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

Вакансию когда-то постили, там было написано. ?

ну да

ERROR: S client not available

много чего приветствуется, свой проект там и прочее

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

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

огромная капитализация обязательно?

нет

@elemir90 норм предположение что человек просто очепятался

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

А ты смотрел этот фильм, ну там где в конце <…>? А, я вспомнил - Крестный Отец.

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

да, ну это я сам решу, по аналогии =)

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

и что такое не лямбда

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

для тех кому заспойлили Arr2?

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

ну ладно куда-ни-шло, много лучше, чем многоточие

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

почему две?

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

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 - конструктор, который принимает функцию от двух аргументов. То есть сам 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)) }

спасибо)

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 зопилить

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

степень)

через мамой клянусь?

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

без синглтонов можно на тайплевеле!

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

тайплевел это какой-то грязный хак?

а AscList это ascended list при вставке или я не так понял?