>>1180043 (OP)
иногда приходится с мультипоточностью ебаться итд итд. в теории звучит конечно хорошо, но на практике когда ты поуши в работе проще накостылять функцию с 10 аргументами, проверить что твоя задумка работает а потом в свободное время структурировать по человечески

>>1180043 (OP)
Твои бы слова да моим легаси-макакам в уши, которые в конструктор по 12 - 20 аргументов приопихивают

>>1180044
>мелкобуквенный
>говнокодер
Как думаешь, почему я не удивлен?

>>1180045
Ну вон, выше как раз один такой экземпляр, лол.

>>1180043 (OP)
>Назовите хоть один пример функции, которой нужно принимать >=3 аргументов, и я поясню, почему вы неправы и пишете говнокод.

ssize_t write(int fildes, const void *buf, size_t nbytes);
Вперед.
Надеюсь ты знаешь, чем отличается функция от метода.

>>1180043 (OP)
>Назовите хоть один пример функции, которой нужно принимать >=3 аргументов, и я поясню, почему вы неправы и пишете говнокод.

ну хотя бы вот
https://github.com/TTimo/doom3.gpl/blob/master/neo/game/physics/Physics_RigidBody.cpp

ну а вообще говоря C бояре могут на тебя спокойно поссать. Потому что за что я уважаю C за то что там пишутся офигенные функции.

>>1180050
Полехче, а то Оп смузи захлебнётся

>>1180050
Ну вообще я подразумевал разговор о высокоуровневых языках, а не о всяких там портабельных ассемблерах.

Но даже сишнику должно быть очевидно, что на самом деле эта функция принимает два аргумента: файл и (bounded) буфер, который в этот файл нужно записать. И возвращает файл, кстати. Собственно, в расте, например, сигнатура у этой функции именно такая.

>>1180053
>ну хотя бы вот
Укажи конкретную функцию, которая тебе нравится, не буду же я за весь файл пояснять.

>C бояре
Отличная шутка, братан!

>>1180059

https://pastebin.com/yHhcDsr1

ну ладно просто признай что в больших сложных проектах хипстерские смехуёчки пока не работают

>>1180043 (OP)
>пишете
Шкальник не палится.

>Назовите
curry, zipWith, if, foldr/foldl ... (трёхаргументные) - самые очевидные. Тысячи их. Можно начать с необозримого зоопарка многоаргументных комбинаторов. Если не считать вообще все термы одноаргументными в смысле каррирования или раззложения по CL-базису. Что, разумеется, глупо. Кроме того, такая интерпретация не имеет силу в случе согласованного разбора нескольких термов алгебраических типов.

>>1180062
Ну там вообще адский говнокод: t вовсе не используется, derivatives - это output param, rigidBody разнесен на два параметра (с даункастами из voidptr, олололо). Не вижу смысла всерьез это обсуждать. Любому очевидно, что это унарная функция.

>хипстерские
Значение знаешь?

>>1180067
>Шкальник не палится.
К чему ты это спизданул, наркоман?

>curry
Значение знаешь, дебилушка? Это унарная функция. Алсо, в *мл все функции унарные, если уж на то пошло, но я этот - чисто технический - момент в дальнейшем опускаю.

>zipWith
Это комбинатор. Из (a b -> c) делает ([a] -> [c]). Отличная иллюстрация моего поинта, кстати.

>foldr/foldl
Это комбинатор. Из (a b -> a) делает (a -> a). Отличная иллюстрация моего поинта, кстати.

>if
>2018
Если тебе по какой-то причине так нужен иф, то разделяй его на then-часть: (Bool, a -> Maybe a) и else-часть: (Maybe a, a -> a).

Макаба съела [ b ] в двух местах, нутыпонел.

быстрофикс

>>1180079
>К чему ты это спизданул, наркоман?
К тому, что ты не осилил даже орфографию школьного курса.
>>curry
>Значение знаешь, дебилушка?
Значение чего?
>Это комбинатор
>Это комбинатор
Так я о том и говорю.
>Если тебе по какой-то причине так нужен иф, то разделяй его на then-часть: (Bool, a -> Maybe a) и else-часть: (Maybe a, a -> a).
Точно. Так и есть. Шкальник.

Я же как раз написал, что это - многоаргументные фунции 'по модулю' каррирования. А считать их в самом деле одноаргументными - максимально глупо. Что особенно заметно на примере функций согласованного разбора.

>>1180079
>К чему ты это спизданул, наркоман?
К тому, что ты не осилил даже орфографию школьного курса.
>>curry
>Значение знаешь, дебилушка?
Значение чего?
>Это комбинатор
>Это комбинатор
Так я о том и говорю.
>Если тебе по какой-то причине так нужен иф, то разделяй его на then-часть: (Bool, a -> Maybe a) и else-часть: (Maybe a, a -> a).
Точно. Так и есть. Шкальник.

Я же как раз написал, что это - многоаргументные фунции 'по модулю' каррирования. А считать их в самом деле одноаргументными - максимально глупо. Что особенно заметно на примере функций согласованного разбора.

>>1180057
> И возвращает файл, кстати
Нет.

>высокоуровневых языках,
Ok, вот сишарп, чтение из сокета
public IAsyncResult BeginReceive(
byte[] buffer,
int offset,
int size,
SocketFlags socketFlags,
out SocketError errorCode,
AsyncCallback callback,
object state
)

>>1180043 (OP)
функция которая складывает 20 чисел:
foo(a1,a2,a3,a4,...,a20):
return a1+a2+a3+a4+..+a20
Попробуй сделать ее с 0, 1, 2 аргументами

Ну давай оп. Есть функция проектирующая вектор, на заданную плоскость вдоль заданного же вектора.
Очевидно, аргументов необходимо три: плоскость на которую проектируем, вектор, задающий направление, вдоль которого проектируем и собственно проектируемый вектор.
Хочешь не хочешь, а аргументов в общем случае три. Можно конечно исхитриться, и порождать сначала оператор проектирования на заданную плоскость вдоль заданного направления. Но это как по мне хреновая затея. Как по мне, более правильно порождать эти операторы в случае их надобности каррированием исходной трёхаргуметной функции.

>>1180098
Ты даун? Передавай в функцию массив чисел.

>>1180057
Ну ты и поехавший, однако. Я зашел в тред, думаю присоединюсь, а тут в самом деле какой-то смузихлеб решил патраллить но внезапно сосет хуи в прямом эфире.

>>1180102
ну таких примеров в графике тысячи. Опчик чёто поспешил выступить с сим смелым заявлением. Вот к чему приводит непомерное смузихлёбство.

>>1180088
>К тому, что ты не осилил даже орфографию школьного курса.
Просвещайся, мань: https://ru.wiktionary.org/wiki/%D0%BF%D0%B8%D1%81%D0%B0%D1%82%D1%8C#%D0%BF%D0%B8%D1%81%D0%B0%CC%81%D1%82%D1%8C

>Значение чего?
Значение curry. Попробуй описать ее смысл на естественном языке. Curry - это HOF, которая принимает одну функцию с определенными свойствами и возвращает другую функцию с другими свойствами. Алсо, более логичным бы было имя pack (и unpack). Pack берет бинарную функцию и превращает ее в униарную (от тапла); unpack берет унарную (от тапла) функцию и превращает ее в бинарную. Все просто и понятно.

>Так я о том и говорю.
Так твои функции как раз не комбинаторы, ибо в них есть сабэкспрешны со свободными переменными.

>Точно. Так и есть. Шкальник.
Один раз ты уже обосрался, на этот поинт по теме тебе тоже ответить нечего. Мне остается только снисходительно пожать плечами.

>А считать их в самом деле одноаргументными - максимально глупо
Гхм, перечитай мой предыдущий пост. Я надеюсь, что ты видишь разницу между
((a b -> a) -> (a [ b ] -> a))
и
(a -> b -> a) -> a -> -> a
в контексте этого разговора. Если нет, уточняю: обыкновенно фолд воспринимается как функция трех аргументов над (условно) списком. Попробуй ее объяснить естественным языком ее в таких терминах. Мой поинт в том, что Ъ-смысл фолда раскрывается, если логически смотреть на него как на комбинатор функций. Тогда одного взгляда на тип достаточно, чтобы интуитивно понять, что эта функция делает. В итоге получаем, что такой подход одновременно и более интуитивный\естественный, и более простой технически.

>>1180092
>Нет.
Пидора ответ.

>чтение из сокета
Я надеюсь, что это неудачная шутка, анон. Посмеялся, типа.

>>1180098
В ньюфаг-тред сбрызни.

>>1180110
>Я зашел в тред
Выйди обратно, у тебя недостаточно фундаментальных знаний для участия в дискуссии.

>>1180114
Спасибо, ты тоже хуй.

>>1180102
Это хороший пример, да. Я для себя решил, что в подобных случаях лучше все же избегать каррирования, и использовать вместо этого именованные аргументы (ну, рекорды\таплы в общем случае). Почему?

Потому что логически твоя функция все-таки имеет вид (t x -> t). Ты берешь вектор и возвращаешь некую производную от этого вектора. То есть в общем случае ты хочешь иметь возможность делать композицию операций над этим вектором. Поэтому логично написать (в псевдо-ооп синтаксисе): vec.project(to: a-plain, along: a-vec).

В смолтоке именованые аргументы были частью имени функции. Я долго присматривался к этому, но в итоге все-таки для себя решил, что лучше иметь легкий синтаксис для structural typing'а и компилятор, гарантирующий элиминацию литералов структур\рекордов. В итоге получается, опять же, и более читабельно, и технически более просто и единообразно.

>>1180118
>vec.project(to: a-plain, along: a-vec).
это хуевая идея по многим причинам.
основная то что ты прячешь функционал который по хорошему надо выносить в оператор в какой то класс. А это ебатня с наследованием итк итк и вообще усложение ради упрощения

>>1180121
Съеби из треда, пожалуйста. Ты не понимаешь, о чем идет речь, и поэтому только засоряешь эфир комментариями совершенно мимо кассы. Ничего личного.

>>1180122
да я сам пожалел что это написал.
Всё съёбываю обосааный и обосраный

>>1180112
>Просвещайся, мань: https://ru.wiktionary.org/wiki/%D0%BF%D0%B8%D1%81%D0%B0%D1%82%D1%8C#%D0%BF%D0%B8%D1%81%D0%B0%CC%81%D1%82%D1%8C
Извини. Я промахнулся. Ты прав.

>>1180112
>берет бинарную функцию и превращает ее в униарную
Ничего она ни во что не превращает. curry x y z = x (y, z)

Позиционных аргументов — поддерживаю.
Именованных можно сколько угодно.

fn(name='John', surname='Smith', phone='333', address='NewYork', etc etc

>>1180112
>ибо в них есть сабэкспрешны со свободными переменными.
Где?

>>1180135
curry : ((a b) -> c) -> a -> b -> c
= ((a b) -> c) -> (a -> b -> c)
мммкей?

>>1180125
Принято. Проехали.

>>1180124
Ну, в рид-онли можешь остаться, лол. В обычном инфиксном (как a+b, только вместо плюса - project) синтаксисе это будет:
vec project {to: a-plain; along: a-vec}

>>1180136
Да, но весь поинт в том, что именованные аргументы - никакие не аргументы, а обычные таплы\рекорды. То есть именно аргументов остается ровно два.

>>1180138
Ну они же каррированные, анон.

Ебаная макаба.

curry : ((a,b) -> c) -> a -> b -> c
= ((a,b) -> c) -> (a -> b -> c)

>>1180142
>Ну они же каррированные, анон.
Так в Λ и CL все многоаргументные термы типизируются каррированно. Но понимаются они всё-равно как многоаргументные. В общем, это зависит от того, как считать аргументы, как это определить. Но считать их в смысле каррированности - очень глупо.

>>1180144
Да понятно, как там скобки стоят.

>>1180142
>Ну они же каррированные, анон.
Так а свабодные переменные в них где?

>>1180152
>свабодные
fix свободные

>>1180146
>Но считать их в смысле каррированности - очень глупо.
Гхм, так я же и не предлагаю это делать. Просто в некоторых случаях - как, например, с fold и zipWith - естественная за неимением лучшего слова форма функции совпадает с каррированной. Но, например, для map я предлагаю бинарный тип ([a] (a -> b) -> [ b ]), а не унарный ([a] -> ((a -> b) -> ...)), нутыпонел.

>>1180149
Тогда к чему тот пост был? Думать о значении (смысле) функции в терминах ее реализации через рерайтинг - не особо полезно, имхо.

>>1180148
Разобрали еще в начале треда, le glupyshechka.

>>1180043 (OP)
Поиск элемента в массиве, ты маленький что ли?
Подаём в функцию указатель, размер и искомый элемент. Дада щас ты скажешь что массив нужно об'явить глобально, пошёл нахуй.

>>1180155
>Думать о значении (смысле) функции в терминах ее реализации через рерайтинг - не особо полезно, имхо.
Как так. Почему? Не понимаю. Как ещё можно думать о смысле функции?

>>1180152
Во внутренней лямбде. Короче, я понял, в чем недопонимание. Я под "комбинатором" имел в виду "суперкомбинатор", функцию вида \f.(transform f) - именно на такую реализацию нам интуитивно как бы намекает предложенная мной сигнатура для тех функций, в противоположность обычной \xs\ys\f.(...); энивей, обе формы эквивалентны, и реализация к типам никак строго не привязана, так что можете забить на эту цепочку разговора - я неудачно и некорректно выразился.

Впрочем, перечисленные функции в том же х-ле, например, комбинаторами все равно не являются, так что предлагаю в рамках этого треда вообще забить на общеупотребимое значение этого слова (ввиду его малой полезности) и под комбинатором подразумевать функцию вида ((... -> ...) -> (... -> ...)), например.

>>1180162
>Как так. Почему?
Ну потому что если ты думаешь о функции в терминах ее реализации, то тем самым убиваешь весь смысл существования этой функции (абстракцию).

>Как ещё можно думать о смысле функции?
Через типы.

>>1180157
Это бинарный предикат: contains? :: ([a] a -> Bool). Иди делай laba1.cpp и в ньюфаготред.

>>1180170
>Через типы.
Я, всё равно, не понимаю.
Терм как вычисление имеет смысл именно в системе переписывания. Типизация есть привнесение внешней логической системы для строгого рассуждения о том, что для термов возможно/невозможно/нежелательно и никак не влияет на их вычислительный смысл.

>>1180186
Анон, ну ты какой-то аутизм разводишь. Ты когда видишь функцию increment, думаешь о том, как она выражается в нумералах Черча? Или о том, в какой регистр на х86 записывается ее аргумент? Или все-таки о том, что эта функция увеличивает число на единицу? Типы нужны людям, чтобы нагляднее видеть, что функция делает. Вот смотришь на тип curry - и сразу видишь: она берет функцию от a,b тапла и преобразует ее в функцию от a и b. И никакого рерайтинга.

>>1180044
>а потом в свободное время структурировать по человечески
Нет ничего более постоянного, чем временное.

>>1180200
>Анон, ну ты какой-то аутизм разводишь.
Что значит? Межу прочем, не я предложил, что функции с числом аргументов >=3 не нужны.
>эта функция увеличивает число на единицу
Так. Но типизация тут не поможет.
>Типы нужны людям, чтобы нагляднее видеть, что функция делает
Не для этого. Я же написал, для чего.
Для понимания (вычислительного) смысла функции тип содержит слишком мало информации - почти ничего.
>преобразует ее в функцию от a и b
Да не преобразует он её. Я же писал уже: curry x y z = x (y, z). Ну где здесь преобразование? Что это такое, вообще?

Полагаю, количество аргументов терма T осмысленно будет определять как кратность (n) аппликации вида (T M₁ … Mₙ) для образования означиваемого терма.

>>1180215
>Межу прочем, не я предложил, что функции с числом аргументов >=3 не нужны.
Ну так вроде вот этот конкретный наш диалог и не имеет никакого отношения к тому предложению, разве нет?

>Так. Но типизация тут не поможет.
Конечно поможет, ведь тип имеет дескриптивное имя. "increment : Num -> Num" полностью достаточно для понимания того, что это объявление делает (инкрементирует число).

>Не для этого.
>Да не преобразует он её.
Ну ок, лол.

>Ну где здесь преобразование?
Эм, ну (curry f) возвращает функцию g соответствующего типа. autism-intensifies.png

>Полагаю, количество аргументов
Не совсем понял, к чему этот абзац. Алсо, определение выглядит кольцевым.

>>1180218
>дескриптивное имя
Ничего не гарантирует. В общем случае не отражает все существенные детали.
>инкрементирует число
А как именно? А может умножает на 10? А может отображает в 0? А может это id?
>Не совсем понял, к чему этот абзац.
Предположение как определить количество аргуменов терма более осмысленно, чем в духе каррирования. В случае карриования всё и так ясно. Хотелось бы понимать число аргументов функции как общее количество термов параметризующих вычисление, которое определяет терм.
>определение выглядит кольцевым.
Где?

>>1180043 (OP)
function getDistance(x1:int, y1:int, x2:int, y2:int):uint {}
function drawButton(x:int, y:int, buttonText:String, w:uint, h:uint):void {}
function networkConnection(host:String, port:uint, tryReconnect:Boolean):void {}

>>1180227
>А как именно? А может умножает на 10?
Ну, в cs у этого слова все-таки одно вполне понятное значение. В целом, лично у меня нет особого интереса продолжать разговор на эту тему, да и тред про другое.

>Предположение как определить количество аргуменов
Ну мне кажется все и так понимают, что такое "количество аргументов", а давать строгое определение вне конкретного формализма особого смысла нет.

>Где?
>>Полагаю, количество аргументов терма T...
>>...для образования означиваемого терма (то есть Т).
Получается, из (T M_1..M_n) у тебя образуется T. Но ты под "означиваемым" что-то другое имел в виду, очевидно. (Впрочем, опять же, не вижу смысла об этом рассуждать вне конкретного формализма.)

>>1180232
Все перечисленные тобой функции должны принимать структуру.

>>1180232
Кстати, я поражаюсь количеству вкатывальщиков, которое привлек этот тред, лол.

distance : (Point Point -> Num)
draw : (Context Widget -> Context)
Последнее это вообще какая-то шизофазия. В общем случае connect : (Config -> Connection).

>>1180043 (OP)
аргументы функции это конвенция передачи параметров через стек, а функция это лишь частный случай JMP.
я бы вообще сказал, что функции не нужно. только basic и goto, только хардкор.

>>1180249
Это такой тонкий стеб путем пародирования вконец поехавших байтоебов, лол? Неплохо, анон, оценил.

>>1180241
>вне конкретного формализма
Почему вне? Я предполагал системы переписывания термов: Λ или CL.
>Получается, из (T M_1..M_n) у тебя образуется T
Нет. С помощью терма T образуется "n-кратная" означиваемая аппликация вида (T M₁ … Mₙ). В отличие от неё аппликация (T M₁ … Mₙ₋₁), например, редуцируется до некоторой нормальной формы, но не до значения. Значит аргументов недостаточно.

>>1180241
>Ну, в cs у этого слова все-таки одно вполне понятное значение.
Сейчас бы по сигнатуре функции прозревать детали её реализации. Впрочем, если ты - телепат, никаких проблем.
>тред про другое
Согласен. Но ты же сам предложил обходиться типами для понимания смысла функций.

>>1180253
>Нет.
Ну я потому и написал, что ты, очевидно, имел в виду не то, что написано, см: >>1180241

>>1180262
>Сейчас бы по сигнатуре функции прозревать детали её реализации.
См.: >>1180170 и следующий пост.

>Согласен.
Ну вот и славно.

Чтобы уже точно сменить тему, предлагаю обсудить, нужны ли двухаргументным функциям first-class таплы и какой тип будет у (полифорфных по количеству аргументов) apply и compose.

>>1180043 (OP)
>Назовите хоть один пример функции, которой нужно принимать >=3 аргументов, и я поясню, почему вы неправы и пишете говнокод.
Point Point Point -> Plane
Поясняй.

>>1180043 (OP)
Зачем 2? Любые аргументы можно заменить одним parameter object'ом.

>>1180297
Зачем аргументы функции вообще? Можно завести один глобальный стэк и пихать все в него.

Функции с количеством параметров отличным от одного нужны только для оптимизации (то есть чтобы не создавать кучи промежуточных каррированных функций)

>>1180309
Мочерок, иди нахуй.
(Автор этого поста был забанен. Помянем.)

>>1180297
Что угодно можно заменить (почти) чем угодно, но не всегда это имеет смысл. Бинарные функции выражают базовую идею композиции двух разных вещей. Если ты знаешь, как из соединить две вещи, то ты легко можешь обобщить это на n вещей. Алсо, попробуй сходу (без гугла!) привести пример тернарной операции из математики.

>>1180310
Оптимизации компилятора (и карринга в частности) не имеют никакого отношения к логической арности функций. Алсо, только что полтреда это обсуждали, лол, посмотри выше посты (и не вскрывай эту тему еще раз, пожалуйста).

>>1180312
>>1180309
Чет проиграл и зарепортил, разумеется.

>>1180317
>Чет проиграл
Вся твоя жизнь в двух словах.

>>1180043 (OP)
>Назовите хоть один пример функции, которой нужно принимать >=3 аргументов
Функция, которая считает корни квадратного уравнения, например.

>>1180326
P(x) = \sum[k](a_k x^k). Иными словами, коэффиценты полинома задаются вектором [a_0..a_n], и квадратное уравнение - это просто частный случай при n=2.

>>1180328
Вместо аргументов векторы.

>>1180332
Чего? Не понял, что ты сказать хотел.

Если проще объяснять: функция нахождения корней многочлена принимает один аргумент - этот многочлен.

>>1180334
А еще можно ПРИНЯТЬ все предыдущее состояние программы.

>>1180344
Зачем?

>>1180314
> Алсо, попробуй сходу (без гугла!) привести пример тернарной операции из математики
Я не он, но что в голову сразу приходит, так это смешанное произведение векторов.
Конечно, его можно представить через скалярное и векторное произведение, но всё-таки его лучше иметь для него представление, в качестве отдельной функции о трёх аргументах.

>>1180362
В принципе, этот пример аналогичен >>1180268: с одной стороны вроде бы и легко подобрать бинарный аналог, но с другой вроде лучше бы без него обойтись - и при этом если использовать именованные параметры, то они будут иметь имена уровня b a, b, c. Но, во-первых, тут возникает мысль, почему бы не обобщить на произвольное n; а во-вторых - в англоязычной литературе, например, обозначение (a,b,c) не используется.

Наконец, проблему бессмысленных имен в рекордах можно решить позиционными конструкторами для этих самых рекордов. Тогда:
a × b или a cross b
но
triple{a, b, c} или triple{first:a, second:b, third:c}

Можно даже заменить {} на обычные круглые скобки, и тогда вообще никто даже подвоха не заметит.

>>1180375
Еще один, лол. Это унарная функция треугольник -> площадь треугольника.

>>1180376
егорушка это ты? ок, тогда "создать треугольник с заданными тремя точками".

>>1180378
Структура.

>>1180378
Тебе бы какой-нибудь учебник по cs для старшеклассников почитать, анон.

> Назовите хоть один пример функции, которой нужно принимать >=3 аргументов,
Вообще, таких функций море. Банально они могут родиться в ходе построения мат. модели, для которой пишем программу.
Вполне может случиться так, что у тебя есть функция, считающая что либо и имеющая вид, например
f(a, b, c, d) => c * cos(d) / a + b
Причём все параметры вполне могут быть независимы и структурно не являться частями одной сущности. Так что однозначно заявлять, что больше двух функций не надо глупо. Всегда стоит помнить о научном софте для конкретных рассчётов, в котором может родиться и не такое

>>1180384
* двух аргументов
быстрофикс

>>1180383
С чего ты сделал вывод что я его не читал? то что вы предлагаете хуету которая не применима в реальной жизни говорит только о том, что вы шизики из академии, не видившие реальных проектов.

>>1180386
С этого: >>1180378

>>1180384
Анон, посмотри вот этот пост, там я по большому счету ответил на этот твой поинт: >>1180370

Любая такая функция будет естественным образом зависеть от имен аргументов. Конечно, можно и c * cos(d) / a + b написать в tacit-стиле, но... это очень мозгоебно получится если только тебя зовут не Слава, лол. Более того, над такой функцией не будет никаких естественных трансформаций аргументов типа flip : ((a,b) -> (b,a)). На самом деле, она ничем не отличается от какой-нибудь connect(host, port, timeout, onSuccess, onFailure) - разница только в том, что здесь аргументы более абстрактные, а потому им трудно дать короткие дескриптивные имена (ну не писать же arg-to-cos вместо d, в самом деле).То есть логически эта функция имеет именованные параметры (тапл\рекорд) и является унарной.

>>1180043 (OP)
Давай, поясняй за спецификацию
developer.mozilla.org/ru/docs/Web/API/CanvasRenderingContext2D/drawImage

>>1180043 (OP)
> Назовите хоть один пример функции, которой нужно принимать >=3 аргументов
Сложить три строки

>>1180170
> .cpp
По определению говнокод если ты об этом.

>>1180043 (OP)

В методах 3 параметра хватает, как правило. В функциях нет, и ты сосешь хуй.

>>1180113
>Я надеюсь, что это неудачная шутка
>Твоя функция не функция ррряя!
А ты точно программист?

>>1180413
Уже было.

>>1180434
concat : Str Str -> Str, дальше сам догадаешься?

>>1180443
Есть такое, да.

>>1180482
Лол, ну тогда все плохо, анон. Тебе в ньюфаготред.

Алсо, все еще поражаюсь. Практически каждый первый ответ - вкатывальщики и прочие первый-курс-не-школота. Как от них защищаться-то? В (некоторых) других тредах такого пиздеца нет.

>>1180043 (OP)
strncpy( char destptr, const char srcptr, size_t num )

А такой вариант?

>>1180491
>эти маневры
тащемта программисты, внезапно, программируют компьютеры, которые выполняют какую-то работу. и, представь себе, иногда программистам действительно нужно читать данные из сокета, а не только слаживать векторы и находить площадь треугольника.
я надеюсь ты понимаешь, что жидко серишь в этом треде? твои вскукареки имеют мало отношения к профессии программирования.

>>1180043 (OP)
>Положняк такой: функции с 3 или больше аргументами НЕНУЖНЫ.
Излишество. Каждая функция должна принимать только один аргумент, да и то неявно.

>>1180383
Какой?

>>1180491
>concat : Str Str -> Str,
Прощу прощения за нубский вопрос. Что значит эта запись? Что за нотация и как её расшифровывать?
>concat
Это название функции?
>Str Str
Это два аргумента?
>-> Str
Это типа возвращаемое значение?

Зачем использовать несколько функций с двумя аргументами, если можно одну с бОльшим количеством?

>>1180562

интырфейс сеграгатион принцып

>>1180043 (OP)
Можно вообще без аргументов. Передавать параметры через глобальные переменные и возвращать значения через них же.

>>1180513
В общем-то выше уже обсуждали. Вместо num+srcptr должен быть один параметр - слайс. В том же расте это так и работает.

>>1180539
Ньюфаготред тут: >>1008826 (OP)

>>1180557
Ну, рекорды даже в паскале есть, так что по идее вообще любой. Чего-то специфического для старшеклассников я посоветовать не могу, извиняй. Разве что htdp?

>>1180560
"конкат имеет тип: функция из пары (Str, Str) в Str". Нотация - обычная нотация для комплюктер сцайенс, x : t обычно означает "икс имеет тип тэ", стрелочка обычно означает функциональный тип; сравни с х-лем, например: concat :: String -> String -> String. На все остальные вопросы ответ "да".

>>1180569
Можно и срать, не снимая свитер, да.

>>1180572
>Можно и срать, не снимая свитер, да.
Именно этим ты тут целый тред тред и занимаешься.

>>1180572
>срать, не снимая свитер
А зачем его снимать?

https://github.com/fantasyland/fantasy-land
освящаю этот итт тред

>>1180098
js
[1,2,3,4,5].reduce((x, y) => x + y)

>>1180858
У тебя функция принимает три аргумента.

>>1180043 (OP)
(,,)
data Point = Point Float Float Float
Ну ты понел. Вот только не надо тут, что "конструкторы - это не функции".

>>1180334
Вот только ты не сможешь написать функцию нахождения корней для произвольного полинома. А для квадратичного - можешь, и у неё тогда будет ровно три аргумента.

>>1180155
map :: (a -> b) -> ([a] -> ) как раз естественнее в унарной форме, как и zipWith, обе лифтят функцию на уровень списков.

>>1180057
Си так то тоже ЯП высокого уровня. То что ты не можешь двинуться дальше хелловорлда не означает, автоматически, что язык становится ассемблером.

Так что давай поясняй за memcpy, хуесос

>>1180907
> Си так то тоже ЯП высокого уровня.
Как оно там, в 70-х?

>>1180105
>>1180113
>>1180858
Проигал с вас. Зачем на такую очевидную толстоту отвечать?

>>1180885
>лифтят функцию
Чего?
>уровень списков
Что это?

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

Я не в курсе, но это уже, возможно, кто-то написал. Ситуация такая: я пишу на процедурке, мне нужна функция взятия подстроки. Аргументы, соответственно, такие: строка, индекс начала, индекс конца подстроки

>>1180948
Двух итераторов достаточно.

>>1180950
>итераторов
Говнокодер as is.
Впрочем, что с хацкельдебила взять.

>>1180379
Структура чего, девяти координат?

>>1180956
>хацкельдебила
А хуй ты угадал.

>>1180885
Всё же не стоит путать категоризацию вычисления (терма) и его параметризацию.

>функции
Нормальные люди используют методы

>>1180583
Как скажешь.

>>1180674
Чтобы не испачкался :3

>>1180855
>Algebraic
>JavaScript
/0

А вообще - спасибо, прикольная штука.

>>1180871
Два, ты чем читаешь?

>>1180877
Конструкторы - это не функции.

>>1180883
>ты не сможешь написать функцию нахождения корней для произвольного полинома
Численные методы не завезли?

>и у неё тогда будет ровно три аргумента.
Нет, один (полином).

>>1180885
Тоже хороший поинт. Но все-таки логичнее тогда давать ей более общий тип (х-льский fmap). Опять же, тут можно смотреть на мап как на функцию от списка или как на функциональный комбинатор. Первое выглядит лучше, если предполагается ад-хок полифорфизм. А второе выглядит более APL-но.

Алсо, можно же вообще все функции над последовательностями рассматривать как (хикковские) трансдьюсеры, тогда естественным образом это все будут функциональные преобразования.

>>1180907
Второй абзац прочитать мсье лабодел не осилил?

>>1180935
Ну представь, что у тебя есть тип t и функция, работающая с этим типом - например, (t -> t). И тут у тебя ВНЕЗАПНО появляется тип f<t>, зависящий от t. И тебе нужно твою функцию заставить работать с этим новым типом. То есть было (t -> t), а нужно (f<t> -> f<t>). То есть ты ее как бы "поднимаешь" (лифтишь) на уровень выше. Makes sense?
Алсо, не путать с лямбда-лифтингом.

>>1180948
Вот смотри. У тебя есть вызов: (substr "foo" 0 1). Что такое 0? Что такое 1? Какие-то беспонтовые magic numbers, хуй поймешь что они значат, пока в документацию не посмотришь. А лучшая документация, как известно, - та, которую не нужно писать. Так что вне зависимости от темы этого треда, подобные функции всегда должны принимать именованные аргументы: "foo".substr(from: 0, to: 1). Ну и чисто случайно тогда получается, что функция принимает как раз два аргумента (строку и слайс-to-be) и имеет вид (t x -> t).

Алсо, перед тем как ты скажешь ОЧИВИДНА ЖИ НУ СЛЕВА НАПРАВО ЖИ ЗНАЧИТ СПЕРВА ИНДЕКС СТАРТА ПОТОМ ИНДЕКС КОНЦА, я напомню, что евреи - самый могущественный народ в мире, на минуточку - пишут справа налево.

Не понимаю месседжа ОП-поста. Очевидно, что любую функцию f(x,x1,x2...) можно превратить в функцию f(struct), где struct = {x1,x2..}.
Но что поменяется от этой словесной эквилибристики? Логика работы? Память? Нихуя не поменяется, это просто жонглирование словами. Это такой же мусор как ифлесс дурачки. Соотвественно, ОП - пидор, а его мать шлюха. /тред

>>1181390
>ифлесс дурачки
Так это он и есть >>1180079

>>1180043 (OP)
Пфффф

>>1181390
>в функцию f(struct), где struct = {x1,x2..}.
Я не это предлагаю. Постарайся читать внимательнее, прежде чем отвечать.

>это просто жонглирование словами
As a side note, все программирование да и вся математика, кстати, тоже состоит исключительно из синтаксических преобразований, то есть "жонглирования словами".

>>1181394
"Ифлесс дурачком" является, например, Боб Харпер - надеюсь, не нужно объяснять, кто это такой. Кроме того, иф - это просто одна специфическая функция, в которой нет ничего фундаментального, так что нет никакого смысла заострять на ней внимание. С тем же успехом можно говорить о "гото-лесс дурачках", например.

>>1181407
Ну откуда столько лабоделов с процедурщиной головного мозга лезет? Process - это рекорд, не нужно никаких функций для его создания.

Кроме, быть может, бинарной функции ассоциации пары label+value к имеющемуся рекорду, если наща система типов это поддерживает.

>>1181540
>Ифлесс дурачком" является, например, Боб Харпер
Аппеляция к авторитету не аргумент.

>>1181540
>надеюсь, не нужно объяснять
Нужно.

>>1181540
>математика, кстати, тоже состоит исключительно из синтаксических преобразований, то есть "жонглирования словами"
С этого и надо было начинать.

>>1180043 (OP)
Функции больше чем с 1 аргументом не нужны.
Для передачи нескольких значений существуют списки/структуры/кортежи.

>>1181540
>Я не это предлагаю.
>Все функции должны принимать либо 0 аргументов (тогда это и не функции вовсе), либо 1 аргумент (унарные функции), либо 2 аргумента (бинарные функции). Все остальное нужно запретить (code convention'ом или компилятором).

В глаза ебешься, собственно ничего необычного. ВЕсь тред маневров и порваной сраки ОПа-хуя.

>>1181544
А о чем спор-то? Не вижу утверждений для опровержения, кроме "ррряя ифлесс-дурачок))".

>>1181551
http://existentialtype.wordpress.com/

>>1181553
Ну это любому совершеннолетнему посетителю этого раздела должно быть очевидно, разве нет?

>>1181562
>любую функцию f(x,x1,x2...) можно превратить в функцию f(struct)
>Все функции должны принимать либо 0 аргументов (тогда это и не функции вовсе), либо 1 аргумент (унарные функции), либо 2 аргумента (бинарные функции).
Если ты не видишь разницы между этими двумя пропозишнами, то тебе в /me, анон.

>>1181556
Кортежи - антипаттерн. Списки - антипаттерн.

Вместо первых всегда должны использоваться структуры, а вторые попросту ненужны.

Если же ты предлагаешь все-таки использовать кортежи и арифметику, например, типизировать как + :: ((Num, Num) -> Num), то у тебя получаются функции, которые только технически имеют (якобы) 1 аргумент, а на самом деле являются многоаргументными (выше по треду мы этот нюанс уже обсудили, можешь глянуть). И в таком случае лучше предпочесть карринг кортежам энивей.

>>1181585
>Ну это любому совершеннолетнему посетителю этого раздела должно быть очевидно, разве нет?
Тебе видней. Отправляйся в /math/, там тебе ещё видней станет.

>>1181589
>Кортежи - антипаттерн. Списки - антипаттерн.
Одно утверждение офигительней другого. Доказывать их ты, конечно, не будешь?

>>1181593
>Тебе видней.
Тут не поспоришь, да.

>>1181595
Кортежи - это рекорды с имплиситными именами. Режем их бритвой Оккама. Списки - это вообще артефакт из 80-ых; вместо них давным-давно используются tree-like структуры данных. Stelee разбирал эту тему, погугли "cons cosidered harmful" или что-то в таком духе.

>>1181585
>Если ты не видишь разницы между этими двумя пропозишнами, то тебе в /me, анон.
Тебе просто неприятно, что тебя обоссали даже на уровне голой теории.
В изначальном утверждении не было ограничений на типы аргументов функции, соответственно структура - валидный аргумент, поэтому каждая функция может быть сведена к 1-3 параметрической и твое утверждение рассыпается как карточный домик.

>>1181632
>Режем их бритвой Оккама
Почему не рекорды?

>>1181632
>структуры данных
Выплюнь гадость.

>>1181641
Братишка, я тебе Oberon принес. Ссылки, да с такими-то nil'ами, алгол 68 сосет!

>>1181639
Почитай начало треда.

>>1181640
Потому что рекорды заменяют кортежи, но не наоборот.

>>1181641
М?

>>1181644
>Братишка, я тебе Oberon принес.
Выплюнь гадость. ^_^

>>1181646
>М?
Структуры данных - это муть, эрзац топосов для неосиляторов. Даже сочетание этих слов - кромешное недомыслие.

>>1181646
>но не наоборот
Почему, это?

>>1181648
И по совместительству это устоявшийся термин с понятным всем значением. Если ты хочешь заменить "tree-like структуры данных" более удачным выражением, то можешь не стесняться, а просто взять и заменить.

>>1181649
Имен нет.

>>1181652
>понятным
Хрен там плавал. Как и любая словемная муть - для иллюзии понимания и успокоения сомнений.

>>1181652
>Имен нет.
Какая .. жаль.

Вот была функция y = f(x,y,z) - плохая уебищая, громоздкая запись. Быдлоговнокод. Так писать не надо

А вот y = f(x, g(y, z)) - совсем другое дело. Красивый, великолепный, замечательный код. Только выиграли, ввели функцию g( y, z) и избавились аж от двух аргументов x, y, добавив всего-лишь промежуточную функцию g.
Господи, до чего же функциональное программирование прекрасное и элегантное.

>>1181674
При чем тут функциональное программирование? Алсо, какой-то идиотский пример. Почитай тред, выше уже разбирали кучу примеров.

>>1181674
Адекват итт

>>1182113
Семен итт

Мойша Шейнфинкель рад этому треду.

>>1182186
inb4 каррирование

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

>>1182196
Увы, момент потерян, надо было это делать в конце 90х, начале нулевых, пока программистская терминология формировалась. А так - мойшинг отличное трололо.

>>1182205
>в конце 90х, начале нулевых, пока программистская терминология формировалась
Ты хотел сказать пока декоммунизация еще была актуальна?

>А так - мойшинг отличное трололо.
So be it! К тому же ассоциаций с запахами немытых индусов не вызывает, в отличие от.

Странно, что никто не упомянул про put(map, key, val)

Кажется, мы стали забывать...

>>1180043 (OP)
>Назовите хоть один пример функции
заливка прямоугольника по координатам, сосни манька

>>1207526
draw (Context, Shape) -> Context

>>1180043 (OP)
Какая-нибудь fold(list, callback, initialValue);

>>1180043 (OP)
>Назовите хоть один пример функции, которой нужно принимать >=3 аргументов,

get_something_by_key(collection, key, default)

inb4 завернуть в монаду Maybe

>>1209697
Выше обсуждали, поищи в треде по "fold".

>>1209808
>завернуть в монаду Maybe
Очевидно, не правда ли?

>>1180043 (OP)
Функция должна принимать ровно один аргумент, иначе это и не функция вовсе

>>1209844
>Очевидно, не правда ли?
А нахуя? Потом накатывать maybe(default, get_something(collection, key)) ? Дольше же писать.

А тут от другого анона вопрос похожий, что скажешь? >>1183170

>>1180050
>чем отличается функция от метода.
ничем, удаляй паскаль

>>1209861
>Дольше же писать.
Я не вижу смысла ради экономии пары символов нарушать принцип single responsibility. Алсо, у тебя какая-то хуйня написано, на самом деле это выглядит как-то так: val = get(coll, key) || default.

>вопрос похожий, что скажешь?
Мапы - это последовательности пар ключ-значение, по идее. Так что put(m, [k v]). Хотя наверное лучше все-таки использовать описанные выше именованные аргументы, то есть в итоге будет что-то вроде m.put(key: "foo", val: 42). Есть еще предложения?

>>1209888
>put(m, [k v])
Почему бы тогда все аргументы в тапл не завернуть?
>m.put(key: "foo", val: 42)
Тут все равно остается три аргумента: m неявный аргумент.

>Есть еще предложения?
А смысл? Если в принципе можно всё в таплы/рекорды попихать и быть довольным с функцией одного аргумента? Даже двух не надо.

>>1209959
>Почему бы тогда все аргументы в тапл не завернуть?
Потому что это тупо и бесполезно, выше по треду подробно обсуждалось.

>Тут все равно остается три аргумента: m неявный аргумент.
Здесь два аргумента: m<K,V> и {key: K, val: V}.

>А смысл?
Опять же, см. выше по треду.

>>1209990
Есть такая функция:
school_dot m1 m2 a = m1 m2 cos a

>>1209870
В паскале процедуры

К А Р Р И Р О В А Н И Е
А
Р
Р
И
Р
О
В
А
Н
И
Е

>>1210133
Что?

>>1210897
Ненужно.

А если у меня аргументов два-три, но один из них это структура на 5 членов?

>>1211248
Садись на все.

printf("Автор этого поста - %s. Кто он? %s. Что он сосет? %s.", op, pidor, huj);

drawRect(int x, int y, int width, int height);

>>1211248
Это нормально, если твоя структура действительно представляет собой какую-то конкретную сущность.

>>1211338
Два аргумента - строка и список подстановок. Откуда в этом треде столько дебилов-вкатывальщиков?

>>1211340
draw : (Context, Shape -> Context). Rect - это рекорд или класс. Зачем ты вылез из ньюфаготреда?

>>1211349
А ты из под шконки вылези, Дейкстра недоделанная. Похуй, что неудобно, зато 3 аргумента.

>>1211349
>какую-то конкретную сущность.
Человек не видел WIN API...

Конструктор вектора в 3D

>>1211367
>зато 3 аргумента.
Оп-пост хотя бы прочитай, школотрон.

>>1211368
Ну почему, говнища я много всякого повидал.

>>1211371
Конструктор. А речь о функциях. Обсуждали сотню раз выше по треду.

>>1211373
>Конструктор. А речь о функциях.
Конструктор и есть функция, вылезай из своих маняабстракций, растоман.

>>1211373
>Оп-пост хотя бы прочитай, школотрон
Боже, я не заметил, что ты пишешь, что функции даже на 3 аргумента не нужны. Ору, конечно, гений кода.

>>1211377
>>1211375
-> >>1008826 (OP)

>>1211384
Всегда удобно не ответить по сути и выдать загадочную хуйню.

>>1180043 (OP)
Покажи мне хоть одну баблиотеку, в которой ббольше 100 строк кода, и которая следовала бы этим правилам.
Нашел? ок. Теперь найди такой фрейцмворк,адепт теор. программирования.

Зачем тебе функции?
Тебе нужно только сплочение и патриотизм.
(И ещё начальная школа и тюрьма.)

>>1180043 (OP)
def print(*args, sep, end):
sys.stdout.write(sep.join([arg for arg in args])+end)
Самое лёгкое что вспомнил, лол

Ясно, что многомерный
массив можно элементарно свести к одномерному (и даже двумерность не требуется.
Но это никак не оправдывает маразматично хаявления этого субъекта.)

Залетный из ньюфаг треда /ph/ отсылает почтенных мужей в ньюфаг тред /pr/, умилительно.
Ничего, ОП, вот окончишь второй курс и рано или поздно свыкнешься с мыслью что откровения, которые ты вычитал для себя в статье про логический позитивизм на вики совсем не откровения для взрослых людей.

>>1211389 Всегда удобно съебать обратно в ньюфаг-тред.
>>1211616 Показал, проверяй личку.
>>1211623 Аппроприэйт подпись у тебя.

>>1211631
Параша, авторы которой не слышали про single responsibility principle. Намешали говна в кучу и рады. ЗАТО УДОБНО!!1 Ты и сам видишь, что там только бинарные функции: джойн, конкатенация, запись в поток. Если хочется иметь именно такой принт, то следует использовать именованные аргументы (выше уже обсуждали).

>>1211746
Чего, блядь? Иди таблетки прими, шизик.

>>1211791
>Вы все говно! Говно! УУУУУ!!!! Говно! Моча!
Содержательно.

>>1211130
>Что?
Макаба звездочки съела.
school_dot m1 m2 a = m1 × m2 × cos a
Скалярное произведение векторов же.

>>1211927
Смотришь в книгу - видишь фигу.

>>1211936
Скалярное произведение для двух векторов определяется вообще-то. Алсо, выше уже подробно обсуждали разные произведения векторов, почитай.

>>1211971
Ну да. Умножаешь магнитуды двух векторов на косинус угла между ними и вуаля. Теперь покажи как эту функцию запилить с одним-двумя параметрами.

>>1211972
https://en.wikipedia.org/wiki/Dot_product#Algebraic_definition

>>1211990
В этой задаче вектора заданы не координатами, а магнитудами и углом. Т.е. координаты взять не откуда.

>>1211995
А, хоспати, ты про это. Ну ты можешь либо повыебываться и принимать пару векторов и угол, либо просто использовать именованные параметры, выше это уже обсуждали в контексте математических функций.

>>1212082
Все ясно с твоими манёврами.

>>1212230
Совсем шизик?

>>1212606
Ты чтоли оп треда про мейби списки? Тогда всё ясно.

>>1180043 (OP)
>Назовите хоть один пример функции,
Найти медиану множеств.

>>1214912
https://en.wikipedia.org/wiki/Median_algebra
Вот это, а то нагуглишь не то.

>>1214915
ОП путает математические функции с программированием

Ждем от ОПа reduce с двумя или одним аргументом.

>>1214928
Скажу за ОПа - заверни все аргументы в рекорд.

>>1215048
Ага - больше 2-х аргументов нельзя, а тапл с 100 элементов - норм. Тапл же один.
Логика!

>>1180043 (OP)
Объединение разных цепочек в rxjava.

>>1180043 (OP)
Комбинатор S

/thread

>>1180092

> >высокоуровневых языках,
> Ok, вот сишарп, чтение из сокета
> public IAsyncResult BeginReceive(
> \tbyte[] buffer,
> \tint offset,
> \tint size,
> \tSocketFlags socketFlags,
> \tout SocketError errorCode,
> \tAsyncCallback callback,
> \tobject state
> )

Ебашу класс с полями buffer offset size socketflags errorcode callback, заполняю его и отправляю в метод как первый параметр, обжектстейт будет как второй
Хуле нам, далбаебам

>>1214851 Тебя и там шизиком назвали, лол?
>>1214913 Выше уже обсуждали аналогичные случаи.

>>1214915
О том и речь, что если аргументов больше 2, то стоит ради читаемости и всего святого, что есть на этой планете, использовать именованные аргументы, как смолток-диды завещали.

>>1214928
Выше уже подробно обсуждали, почитай тред.

>>1215060
Зачем там больше двух аргументов?

>>1215101
Ненужно, ведь есть cake.

>>1180043 (OP)

На архитектуре AMD64 Micosoft ABI- три аргумента для extern "C" функций , по числу аргументов, передающихся в регистрах.

Для методов классов - два ааргумента, потому что один регистр отъедает this.


/thread

>>1215355
Байтоеб в треде, все в регистры.

>>1215329
>Ненужно
Ты скозал?

>>1215329
Разные источники данных -> разные цепочки -> их надо каким-то образом объединить -> несколько аргументов функции

>>1215785
Дя ^_^

>>1217090
То есть про списки ты не слышал, так?

>>1180043 (OP)
Всегда работаешь с указателями на структуры
@
Никаких проблем
мимо-пишу-драйвера-под-линукс

>>1180043 (OP)
C ncruses когда-нибудь работал?
Там функции типа
void print_title(WINDOW ⁕win, int starty, int startx,
int width, char ⁕string, chtype color);

в порядке вещей.

>>1223228
Ты еще вонючий WinAPI с его монструозными функциями вспомни - это сделает ОПа неправым что ли?

>>1180043 (OP)
Функций с более чем 1 аргументом просто не бывает.

N аргументов - это, на самом деле - один N-tuple.

Так что ОП-хуй.

/thread

>>1223186
Уважуха мужикам!

>>1223228
Да я много с каким говнокодом работал, но тред-то не про это.

>>1224796
>N аргументов - это, на самом деле - один N-tuple.
Про карринг мойшинг мсье, видимо, не слышал.

>>1224796
Когда разберешься чем tuples отличаются от currying, тогда и заходи.

>>1224816
>>1224815
Карринг, хуярринг - какое это сюда имеет отношение вообще?

Если вы не поняли, о чём речь, попробуйте понять.

Ебал ваш рот, тоже хочу таким умным быть.

>>1180043 (OP)
А исходники ядра linux видели?

Там немало функций типа

void __wait_rcu_gp(bool checktiny, int n, call_rcu_func_t ⁕crcu_array, struct rcu_synchronize ⁕rs_array);

>>1180043 (OP)
>Положняк такой: функции с 3 или больше аргументами НЕНУЖНЫ.

Правильно ли я догадываюсь, что ты с таким убеждением так и не написал ни одной широко востребованной программы?

>>1225158
По делу есть что сказать?

>>1225194
Речь о высокоуровневых языках.

>>1180043 (OP)
Для графики - vector(x, y, z)
Для БД - add(id, name, desc)
Для расчет промежутка времени - period(time1, time2)
И много других подобных примеров.
Иди нахуй школьник.

>>1225320
Открой для себя алгебраические типы данных.

>>1225281
Исходники redox kernel видели?

fn file_op(a: usize, fd: FileHandle, c: usize, d: usize) -> Result<usize>

slozhit_chetire_chisla(a, b, c, d) { return a + b + c + d; }

>>1225376
Хорош, ОП обоссан. Ждём оправданий.

>>1225369

Зачем нужны эти параметры? Кто мешает все эти 4 параметра в один тип упаковать?

>>1225349
И че?

>>1225460
>Кто мешает все эти 4 параметра в один тип упаковать?
Нахуя?

>>1225460
Это и есть один тип.
Круглые скобки по бокам видишь?
Ну и вот - это 4-tuple.

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

>>1225472
Нет, анон. Раст не поддерживает именованные компоненты в таплах. Это не тапл, а синтаксис вызова функции. Чисто формально можно считать любую функцию принимающей тапл, так как в расте нет карри^W мойшинга, но в этом нет никакого смысла (и это уже осбуждалось в начале треда, почитай).

>>1225369
Кроме того, это очень плохой пример кода. Параметры с именами a,c,d типа usize - это просто квинтэссенция говнокодерства впрочем, я предполагаю, что это не реальная строка оттуда, а просто contrived пример. Случаи, в которых действительно необходимо использовать рекорды с несодержательными именами мемберов, уже подробно описали в начале треда (правда, почитай).

>>1225369
>Исходники redox kernel видели?

Вот ещё оттуда

fn futex(addr: &mut i32, op: usize, val: i32, val2: usize, addr2: *mut i32) -> Result<usize>

>>1180043 (OP)
> Назовите хоть один пример функции, которой нужно принимать >=3 аргументов
int sum(const double ^★arr1, const double ^★arr2, double ^★result)

>>1180043 (OP)

Смотрим исходники servo

fn create_cached_response(request: &Request, cached_resource: &CachedResource, cached_headers: &Headers, done_chan: &mut DoneChannel) -> CachedResponse

fn handle_range_request(request: &Request, candidates: Vec<&CachedResource>, range_spec: &[header::ByteRangeSpec], done_chan: &mut DoneChannel) -> Option<CachedResponse>

ОПа закормили уже хуями, лол.
Он, наверное, так счастлив никогда раньше не был.

>>1225596
>val
>val2
>addr
>addr2
Коуд квалити из аур хайест прайорити! Ты бы хоть доку или сурс скинул, телепаты в отпуске. Сама операция принимает addr и val, а что они в своей реализации наворотили яхз.

>>1225634
Отличный пример кода, в котором обязательно должны использоваться именованные параметры, спасибо.

>>1225653
Изливай свои проекции в /ga.

>>1225634
>Смотрим исходники servo

Ещё

fn new_resource_threads(user_agent: Cow<'static, str>, devtools_chan: Option<Sender<DevtoolsControlMsg>>, time_profiler_chan: ProfilerChan, mem_profiler_chan: MemProfilerChan, embedder_proxy: EmbedderProxy, config_dir: Option<PathBuf>) -> (ResourceThreads, ResourceThreads)

fn classify(&self, context: LoadContext, no_sniff_flag: NoSniffFlag, apache_bug_flag: ApacheBugFlag, supplied_type: &Option<MimeType>,
data: &[u8]) -> MimeType

>>1180043 (OP)
Ну ты черт. Давай привнесем матбазы в твою воду и вспомним, что функция - частный случай оператора. А среди них бывают и тернарные.

>>1225922
Лол. Не, серьезно?

>>1226024
>функция - частный случай оператора
У вас какая-то неправильная матбаза.

string hui(int a, int b, int c){
...
return trun;
}
|
|
(стрелочка типо вниз ага)
struct spesialno_for_hui{
int a, b, c;
}
string hui(spesialno_for_hui ssssssssy_na_ebalo){
int a = ssssssssy_na_ebalo.a, b = ssssssssy_na_ebalo.b, c = ssssssssy_na_ebalo.c;
...
return trun;
}

Бинарные функции не нужны

ФУНКЦИЯ выебать_мамку_опа(ХУЙ в_ротан, ХУЙ в_пиздень, ХУЙ в_анус);

>>1180043 (OP)
Очевидная хуйня. Функции должны быть разделены по уровням абстракций и если на одном уровне необходимо выполнить что-то с количеством аргументов >2, то не нужно хуячить говно типа оберток для аргументов, оставь это для фанатиков уровня https://habr.com/company/piter/blog/418157/

тест

>>1243956
>https://habr.com/company/piter/blog/418157/
Ну он как бы все правильно говорит (и любому более-менее опытному/любознательному разработчику это все должно быть очевидно), разве что примеры не всегда самые удачные.

>>1180043 (OP)
Быдло не знает про каррирование.

>>1180043 (OP)
Ну собственно да.
Ибо есть инкапсуляция.

>>1246085
JavaDebilFuncitonBean javaDebilFuncitonBean = JavaDebilFuncitonBeanFactory.createJavaDebilFuncitonBean()
javaDebilFuncitonBean.setParameter0(..)
javaDebilFuncitonBean.setParameter1(..)
...
javaDebilFuncitonBean.run()
JavaDebilFuncitonBeanResult javaDebilFuncitonBeanResult = javaDebilFuncitonBean.getResult()

Кажется, мы стали забывать...

>>1225235
Внатуре, он то нихуя дельного сказал, но ты то просто информационная бомба
> Если вы не поняли, о чём речь, попробуйте понять.

>>1243059
Тут очевидный список же.
ФУНКЦИЯ выебать_мамку_опа(ХУЙ *в_место, int число_смычков);

>>1180043 (OP)
Тред не читал, сразу отвечал.

Все функции должны принимать либо 0 аргументов, либо 1 аргумент (структура с описанием всех входных данных). Всё остальное нужно запретить. Пруф ми ронг.

>>1267920
В динамическом языке это равносильно именованным аргументам, а в статическом заебешься структуры под каждую функцию делать.

>>1180043 (OP)
>Все функции должны принимать либо 0 аргументов
Все функции принимают хотя бы 1 параметр на сам объект:
self, this итд

иди собирай портфель на понедельник

>>1267920
>Пруф ми ронг.
Выше по треду подробно объяснялось - глянь ближе к началу, если интересно. Заодно поржешь с местного контингента.

Алсо,
>либо 0 аргументов
>тогда это и не функции вовсе

>>1267981
Не заебешься, тоже уже обсуждалось - гугли rows, labels, intersection/union types, смотри выше.

>>1180043 (OP)
https://github.com/MonoGame/MonoGame/blob/develop/MonoGame.Framework/Graphics/SpriteBatch.cs
253 строка

>>1279546
Ну и говнокод. Неудивительно, что эта параша не взлетела.

У функции draw тип такой: (DrawingContext ctx, Sprite s -> DrawingContext), обыкновенная бинарная функция. Тыщу раз уже этот пример приводили.

>>1180043 (OP)
Ты лох чмо твои доводы рушит любой конструктор с параметрами соси тварь привет здравствуйте

>>1279546
>253 строка
А ссылки на строки ты давать не научился еще, даун?

>>1279805
Не обижай местных ребятишек, у них еще все впереди.

>>1180243
Предлагаешь на каждую из этих функций завести структуру с параметрами? И ничего, что проблема большого количества аргументов не решается, а просто переходит на новый уровень?

>>1279591
Приведи пример кода для данного конкретного случая

>>1280611
Нормальную структуру, а не какой-нибудь кей-валуе лист.

>>1215106
Не атомарно же. А если твой волшебный читатель дед Пердед из соседнего отдела будет юзать?

>>1281660
Какого кода? Я тебе сигнатуру функции привел, дальше думаю сам сможешь разобраться, если не дурак.

>>1180045
Научи их Builder-паттерну, а не на двощах жалуйся.

>>1281848
Что мне твоя сигнатура, ты мне реальный код покажи (c#). На словах я тоже могу много каких сигнатур привести.

>>1279546
> 253 строка
На гитхабе можно делать ссылки на строку
https://github.com/MonoGame/MonoGame/blob/develop/MonoGame.Framework/Graphics/SpriteBatch.cs#L253
Или даже блок
https://github.com/MonoGame/MonoGame/blob/develop/MonoGame.Framework/Graphics/SpriteBatch.cs#L253-L262

>>1281925
>дальше думаю сам сможешь разобраться, если не дурак.
Ну, вы поняли.

>>1279591
>>1281848

>(DrawingContext ctx, Sprite s -> DrawingContext)
>Какого кода?
Сделал тебе тестовый "проект" за 5 минут. Покажи, что ты хотел сделать с этим.
https://pastebin.com/aAhxwr4G

>>1180043 (OP)
>>1279591
Слив засчитан. Тред можно закрывать.

>>1180043 (OP)
Некоторые функции требуют некоторое количество параметров, чтобы юзер смог влиять на работу функции.
Я что по-твоему должен в один параметр массив/объект ложить? Нахуй пройди.

>>1286050
Лично ты ничего не должен, ведь ты не имеешь никакого отношения к разработке софта, малыш.

>>1286066
> ведь ты не имеешь никакого отношения к разработке софта, малыш.
Давай ретурни свой брейнлог уже.

>>1180043 (OP)
Два трехмерных вектора заданных параметрически. Решай это в двух аргументах, чмо мразь говно падла ну давай иди сюда я тебя сам трахну ублюдок мать твою говно собачье

>>1286114
>Два трехмерных вектора
>Два

>>1286114
Слышал про структуры?

>>1180043 (OP)
ОП, отгадай загадку. Сколько параметров у функции f:A×B×C→D ?

>>1180043 (OP)
У меня от тебя КАРРИРОВАНИЕ

>>1286818
один?
Не оп.

работал с несолькими библиотеками на сях когда то
весь интерфейс библиотеки представлял собой три функции - инициализирующую, закрывающую и выполняющую основную работу
главная функция принимала в себя структуры определенного типа, тип которой определялся первым полем этой структуры, и вторым параметром выплевывала вторую структуру в которой значит первое поле был размер выплевываемого, а вторым полем значит месиво байтов в виде результа, все это вы дело приводили к соотв структуре у себя в коде
ах, да, еще было два варианта работы - либо библиотека вам изнутри себя память под результат выдавала, либо вы соотв вызовом все той же функции могли передать ей выделенную память и она уже туда помещала результат
и еще было версионирование библиотеки - все у той же функции тем же макаром вы запрашивали какой она версии, и потом могли соответственно работать
ну и еще с парочкой библиотек работал с похожими принципами
конечно, такой подход имеет место быть
но, бля, вершина библиотекостроения на сишке, импо, это все равно com-интерфейсы, больше всего нравились они
потому что с наколенными поделиями все равно больше проблем было

>>1180043 (OP)
И да и нет, с одной стороны конечно удобно, когда надо передать 1-2 аргумента, а не 4-5. С другой стороны, в развивающемся проекте код довольно динамичен и сегодня в функцию надо 3 аргумента, а завтра последний выкинуть и добавить 2 других, а после завтра выкинуть нахер эту функцию, а код ее раздербанить по другим методам.И не всегда, если агрегировать несколько аргементов один - будет реально нужная сущность, а не искуственно выдумая хрень для одного метода.

>>1287925
> И не всегда, если агрегировать несколько аргементов один - будет реально нужная сущность, а не искуственно выдумая хрень для одного метода.
Двачую этого.
Оп хуй

>>1180043 (OP)
>Все функции должны принимать либо 0 аргументов (тогда это и не функции вовсе)
Это простые метки для переходов (замечательный мир ассемблера).

>либо 1 аргумент (унарные функции), либо 2 аргумента (бинарные функции)
Функция всегда возвращает значение, а как же процедуры, которые не возвращают значений?

>Все остальное нужно запретить (code convention'ом или компилятором)
Запрещать ничего не нужно, но ты можешь всегда написать свой "code convention" и предоставить свои труды на всеобщее обозрение осуждение.

>Назовите хоть один пример функции, которой нужно принимать >=3 аргументов, и я поясню, почему вы неправы и пишете говнокод.
Для начала предоставь свой не "говнокод", иначе любой разработанный код можно подвести под рамки "говнокода" с любой точки зрения субъективного самомнения, без исключений.

>>1180043 (OP)
А какая вообще разница? Ну будет один аргумент, какой-нибудь тупль, и из него будем доставать все аргументы. Суть не меняется.

>>1180043 (OP)
>ПОЛОЖНЯК ТАКОЙ: функции с 3 или больше аргументами НЕНУЖНЫ.
На самом деле положняк такой, что Хаскель не нужен. Пруф ми ронг.

>>1288005
>Это простые метки для переходов (замечательный мир ассемблера).
facepalm.jpg

>Функция всегда возвращает значение, а как же процедуры, которые не возвращают значений?
Процедуры неявно возвращают успешность своего завершения%или не завершаются вовсе, или вызывают эксепшены%

>Запрещать ничего не нужно
Иногда нужно. Но тут, пожалуй, соглашусь - хотите плодить говнокод - плодите.

>>1180043 (OP)
Готов?
function Human(name,age,iq)
{
this.name=name;
this.age=age;
this.iq=iq;
}
op=new Human("OP",12,60);

>>1288125
Парируй!
[CODE]
function Identity(user)
{
this.name = user->name;
this.age = user->age;
this.iq = user->iq;
}
op = new Identity({"OP", 12, 60});
[/CODE]

>>1288105
>facepalm.jpg
holepalm.jpg

>Процедуры неявно возвращают успешность своего завершения%или не завершаются вовсе, или вызывают эксепшены%
Байтоёбы смотрять на тебя укоризненно, как на лиственную белоснежку в окружение 7 гномов.

>Иногда нужно. Но тут, пожалуй, соглашусь - хотите плодить говнокод - плодите.
Твой код также говнокод ханжа ты этакая.