Почему функции в языке Haskell - сущности первого порядка? Душкин объяснит 

Дойч ист майн эрстэ фрэмдэ Шпрахэ, я.

Мы ещё не изучили к этому моменту таких страшных слов.

О, да. Когда постигаешь функциональный дзен, мир программирования начинает играть совершенно иными красками.

Это точно!

Вы про что?

@@dushkin_will_explain про некомпетентные заявления, что в других ЯП нельзя делать бесконечные списки/циклы и отрабатывать их, пока память компа не закончится или как-то не остановим вводом. В js/питонах и им подобных - через генераторы, в плюсах - корутины, в Lua - замыканиями и т.д.

Проблема таких языков в том, что в них подобные штуки являются надстройками, которые не вписываются в концепцию языка гармонично.

​@@dushkin_will_explain это правда, хоть формально у того же C# и нет единой концепции, есть наборы инструментов для разных стилей, но практика говорит сама за себя. Зато после ваших лекций начинаешь лучше понимать идеи, стоящие за новыми инструментами, вроде тех же switch-expressions в C#. Спасибо за ответ и в целом за ваш труд

@@АнтонПейсахович, мне нравятся такие комментарии :)

Да, точно. Я иногда такой невнимательный. Благодарю за уточнение.

Почему бы и нет?

@@dushkin_will_explain настоящие прогеры могут и в блокноте!

Рекурсивный вызов же.

@@dushkin_will_explain Я понимаю, что это рекурсия Но идентификатора map нет в параметрах функции map Вопрос, откуда в теле функции map идентификатор самой себя? Откуда он, если не из внешнего мира? Если я не правильно в принципе рассуждаю с точки зрения хаскеля, то как правильно? Повторю вопрос, откуда внутри тела функции map идентификатор на саму себя (map) ведь его нет в параметрах

@@artyomboyko8219, ну а представьте, это был бы не вызов map, а вызов, например, foldl? Что бы изменилось? Где тут побочный эффект, то есть запись в «чужую» память? Это просто вызов функции.

​@@dushkin_will_explain что такое чужая память? это любая память ссылка на которую не была прокинута в функцию через параметры или создана внутри тела функции я не вижу здесь записи в чужую память, поэтому, готов согласится, что сайд "эффекта" нет но я вижу чтение чужой памяти, вижу исполнение кода, ссылка на который поступает в функцию не через параметры (если это не называется сайд эффектом, пусть так) Мой вопрос прост, откуда внутри тела функции map идентификатор map? Откуда ссылка на память, в которой лежит функция map? Физически, откуда? Просто было сказано в предыдущих видео, что в хаскеле функции используют только то, что пришло им в параметры, но здесь я вижу обратное функция f приходит в параметры - прекрасно, поэтому мы используем ее внутри тела, но функция map не приходит в параметры PS что такое foldi не знаю, поэтому не могу сказать, что бы изменилось

​@@dushkin_will_explain Я не вижу здесь записи в чужую память, поэтому, готов согласиться, что это не сайд эффект Но я по прежнему не понимаю, откуда внутри тела функции map идентификатор map Я вижу откуда идентификатор f - из параметров но не идентификатор map таким образом функция map работает не только со своими параметрами, но и с внешними идентификаторами

Нельзя. Язык Haskell обладает строгой типизацией. Перемешивать типы нельзя. Если функция требует параметр типа а, то ей никак нельзя передать параметр типа [а], то есть список элементов типа а.

Потому что список именно так определяется как алгебраический тип данных: List a = [] | a : List a

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

@@Jamcoc0s, как вы хотели бы записать определение функции map?

@@dushkin_will_explain я бы ожидал что по-классике, просто, сразу весь список, без не понятного выделения первого элемента :) я бы понял если это был Range, но здесь все странно :)

@0s, как можно сразу весь список, если его длина неизвестна, и вообще он может быть бесконечным?