вам что-то такое не прокатит?

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

в "нормальном языке" debugLog настолько агрессивно заинлайнил debugEnabled, что забыл, что она мутабельная

Один для функций, который всегда возвращает сам себя

в любом кроме ассемблера

ну во-первых в ассемблере функций нет а во-вторых в моем "любимом" сишарпе у функций может быть сколько хочешь аргументов

ну во-первых в ассемблере функций нет а во-вторых в моем "любимом" сишарпе у функций может быть сколько хочешь аргументов

это 1 аргумент тупл называется.

А в C# в Func разве может быть сколько угодно аргументов?

А в C# в Func разве может быть сколько угодно аргументов?

14

https://docs.microsoft.com/en-us/dotnet/api/system.func-17?view=netcore-3.1 16

Через оператор $ чтобы, ну или что-то такое эдакое

а причем тут спецификация? в програмировани это тупл. в реализации конкретного языка это может называтся как угодно со своими тараканами что туда можно засунуть

ну вот я и спрашиваю, в каком программировании это тупл

в программировании - да, не очень. в математике - да

просто этот термин точно у нас в матане где-то фигурировал

type T = T with static member inline ($) (T, arg: unit) = () static member inline ($) (T, func: 'a -> 'b): 'a -> 'b = fun _ -> (T $ Unchecked.defaultof<'b>) let inline negate<'a>(): 'a = let argType = typeof<'a> printfn "%A" <| typeof<'a> T $ Unchecked.defaultof<'a> Вот такое должно работать, наверное

(и я тоже не помню где)

где про это можно прочитать

про что прочитать то? то запись (_,_,) это тупл? любая книга по фп. там более честные определения

А в F# и a, b, c — тоже тупл, без всяких скобочек.

только в функцию ту его без скобочек не передашь.

let x = a, b, c foon x

раз в тайпскрипте туплы это [...] то в ассемблере mov [eax], ebx - тоже тупл

что такое "общепринятая нотация"

сишка это фп язык?

ты не знал?

type T = T with static member inline ($) (T, arg: unit) = () static member inline ($) (T, func: 'a -> 'b): 'a -> 'b = fun _ -> (T $ Unchecked.defaultof<'b>) let inline negate<'a>(): 'a = let argType = typeof<'a> printfn "%A" <| typeof<'a> T $ Unchecked.defaultof<'a> Вот такое должно работать, наверное

А что за оператор $?