А он никогда не заходит в первое условие

Microsoft.FSharp.Core.FSharpFunc`2[System.String,Microsoft.FSharp.Core.Unit]

А чо, у него typedefof разве не соответствует typedefof<FSharpFunc<_,_>>?

Как я и предполагал, там всегда функция от одного аргумента.

в программировании функция всегда от одного аргумента )

Будет работать с AOT?

(я понимаю, что идея спорная, но хоть что-то)

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

по сути ты спрашиваешь кол-во элементов тупла который в функцию приходит или кол-во элементов в массиве аргументов (смотря с какой стороны рассматривать).

по сути ты спрашиваешь кол-во элементов тупла который в функцию приходит или кол-во элементов в массиве аргументов (смотря с какой стороны рассматривать).

в программировании функция всегда от одного аргумента )

https://github.com/dotnet/fsharp/issues/3362 вот пример

open System let mutable debug = true let debugLog (format: Printf.StringFormat<'a, unit>): 'a = Printf.kprintf ( fun s -> if debug then printfn "%A: %s" DateTime.Now s ) format [<EntryPoint>] let main _ = debugLog "This: %s" "foo" debugLog "That: %d - %d = %d" 2 2 4 debug <- false debugLog "Invisible! %s" "haha" debug <- true debugLog "Visible" 0

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

так я же уже написал

@fvnever а тайп провайдер должен получается тупо заглушки генерить жеж?

Я уже подумываю о том, чтобы в пронете твоё право голоса ограничить, кстати.

эээээ

Но тут проблема в том, что ты не можешь его параметризовать типом

блжть

Компилятор решил, что хорошая идея — параметр пак для этой функции обернуть в туполь и положить в кучу.

ну так это проблема конкретной реализации конкретного компилятора, а подхода что у функции всегда 1 агрумент.

А сртп как поможет?

это в каком таком программировании