Dv
На самом деле точно не с любым, потому что чисто физически количество типоаргументов в
FSharpFunc ограничено.FSharpFunc ограничено.Size: a a a
2020 August 01
NM
На самом деле точно не с любым, потому что чисто физически количество типоаргументов в
А он никогда не заходит в первое условие
н
можно на лямбдах и их инлайнинге по идее сделать то что нужно
NM
А блин
Dv
А он никогда не заходит в первое условие
Ну он же тебе названия типов печатает? Печатает. Вот и смотри туда.
н
выглядеть будет ужасно (в фшарпе по крайней мере)
Dv
Мб там специализация какая-то неучтённая.
Dv
Если тут кто понимает, как работает FSPickle, то давайте попробуем сделать через него круто
NM
Microsoft.FSharp.Core.FSharpFunc`2[System.String,Microsoft.FSharp.Core.Unit]
Dv
Microsoft.FSharp.Core.FSharpFunc`2[System.String,Microsoft.FSharp.Core.Unit]
А чо, у него
typedefof разве не соответствует typedefof<FSharpFunc<_,_>>?Dv
Вроде должен.
Dv
Мб там как-то совсем косоруко
typedefof в этом месте заинлайнился?NM
А чо, у него
typedefof разве не соответствует typedefof<FSharpFunc<_,_>>?Не, эт я косякнул)
NM
Заходит туда
NM
Ну короче такое генерит оно
Dv
На строчке
debugLog "That: %d - %d = %d" 2 2 4 у меня сгенерилось такое:Microsoft.FSharp.Core.FSharpFunc`2[System.Int32,Microsoft.FSharp.Core.FSharpFunc`2[System.Int32,Microsoft.FSharp.Core.FSharpFunc`2[System.Int32,Microsoft.FSharp.Core.Unit]]]
Dv
Как я и предполагал, там всегда функция от одного аргумента.
Dv
Это упрощает дело, не правда ли?
NM
Хм, да