AE
Мне кажется, что для того, чтобы быть функциональным язычком программирования, надо иметь в себе реализованной одну из систем типов лямбда куба _)
Это вообще другое.
Size: a a a
2020 March 23
AE
Это теория типов.
ХЛ
Это теория типов.
Да, и что?
ХЛ
Все языки, которые я считаю функциональными, построены на одной из этих систем типов.
AE
Да, и что?
Это ортогональная концепция.
AE
Ни Коммон Лисп, ни Эрланг не реализовывают ни одну из этих вершин.
AE
С++ кажется тоже.
AE
При этом это всё языки с очень хорошей поддержкой функционального программирования.
LL
Но я могу дизморалить оппонентов аналогичным кодом на го или на питоне. Дизмораль в более быстром написании кода :)
Код на го может только мотивировать тех, кто на нём не пишет
AE
С другой стороны, даже безумный ATS вроде бы имеет хорошую поддержку обычных функциональных инструментов.
VM
Вот да, присоединюсь к этому оратору. Правда, таким макаром C тоже функциональный, но это мелочи 😅
Нет. В C функции не являются объектами, тем более первого порядка. 😁
YK
интересно, найдется ли герой, который вкорячит туда CL https://dreamcast.wiki/Using_Ruby_for_Sega_Dreamcast_development
YK
портов реализаций CL на SH4 вроде не существует
2020 March 24
AE
Нет. В C функции не являются объектами, тем более первого порядка. 😁
Ну, тем не менее сложить функцию в переменную, а потом вызвать её вполне можно.
VM
Не функцию, а указатель на функцию.
VM
Указатель на кусок кода, который можно выполнить. Это сильно отличается от объекта-функции.
AE
Чем же?
AE
Семантически кажется особенного ничем. В С++ лямбды устроены примерно так же, кстати. В рантайме исполняемый код не создаётся и не удаляется.
VM
Объект называют «объектом первого класса», если он[3][4]:
может быть сохранен в переменной или структурах данных;
может быть передан в функцию как аргумент;
может быть возвращен из функции как результат;
может быть создан во время выполнения программы;
внутренне самоопознаваем (независим от именования).
может быть сохранен в переменной или структурах данных;
может быть передан в функцию как аргумент;
может быть возвращен из функции как результат;
может быть создан во время выполнения программы;
внутренне самоопознаваем (независим от именования).
VM
Функция в C нельзя создать и передать в другую функцию.