p
definition
Size: a a a
2020 May 02
EG
Проверка аргументов лежит внутри функции
p
Должно быть разграничение кмк. Одна часть проверяет валидность, и передаёт в нормальном виде функции другой.
EG
Кроме user-defined functions, есть ещё built-in functions, у которых объявления нет
EG
Должно быть разграничение кмк. Одна часть проверяет валидность, и передаёт в нормальном виде функции другой.
А зачем? Типизации нет, количество аргументов тоже вопрос зыбкий
EG
Встроенные функции вообще просто список аргументов берут, и у user-defined функций тоже будет способ так сделать
EG
У меня в этом плане perl-style функции, без сигнатур.
p
А зачем? Типизации нет, количество аргументов тоже вопрос зыбкий
А у тебя карированные функции?
EG
А у тебя карированные функции?
Нет
EG
Каррированные функции сильно бьют по динамическим возможностям
p
Вроде же в лиспе карированные
EG
Я ориентируюсь на Arc, в нём вроде как нет
EG
Каррированные функции порождают проблему для variadic-функций
EG
spli> (+ 1)
1 :: integer
spli> (+ 1 2)
3 :: integer
spli> (+ 1 2 3)
6 :: integer
spli> (+ 1 2 3 4)
10 :: integer
EG
Но у меня будет функция
(partial) или что-то в этом роде, которая будет позволять каррирование, собственноEG
((partial + 1) 2) == 3p
Еще бы можно было делать
((partial / _ 2) 6) == 3AZ
Мне надо их двух итераторов сделать третий итератор, перебрать массив значений я тоже могу
суть та же останется лол
EG
Еще бы можно было делать
((partial / _ 2) 6) == 3Такой синтаксический сахар в арке есть
EG
Но это ж макрос тривиальный