Dv
Size: a a a
2020 August 01
Dv
Мне кажется, что ты по-другому не сделаешь
Dv
Да, строка, которая передаётся в лямбдочку, всегда зааллоцируется.
Dv
Строка то все равно аллоцируется
А тебя не устроит решение на
#if?NM
А тебя не устроит решение на
#if?Ну у нас галочкой можно включить лог 🙂
Dv
Ну у нас галочкой можно включить лог 🙂
Ну тады ой
Dv
В каком месте вообще аллоцируется строка?
Printf.StringFormat уже это сделал или ещё нет?NM
В каком месте вообще аллоцируется строка?
Printf.StringFormat уже это сделал или ещё нет?А вот хз
Dv
Слушай, вроде нет
Dv
let myLog (x : '_a when '_a :> Printf.StringFormat<'_b,unit>) =
#if ! DEBUG
Printf.kprintf (printfn "%s") x
#else
Unchecked.defaultof<_>
#endif
Ну таки да, попытка хорошая, но не сработала :(
Dv
Там нельзя возвращать
Unchecked.defaultof, потому что эта штука в обычной ситуации возвращает функциюDv
И её снаружи пытаются вызвать, передав аргументы
Dv
Щя я сделаю.
Dv
Короче, я придумал, как сделать, но делать мне неохота. Попробуй заполнить тудушку :)
let inline negate<'a>(): 'a =
printfn "%A" <| typeof<'a>
if typedefof<'a> = typedefof<FSharpFunc<_, _>> then
// TODO: Generate a function of right type (see typeof<'a>.GetGenericTypeArguments()) that will ignore everything and return negate<> as its result
else // terminal case, unit
Unchecked.defaultof<_>
let debugLog format =
if debug then
Printf.kprintf (
printfn "%A: %s" DateTime.Now
) format
else negate()
Dv
Я верю, что это можно сделать с кэшом, чтобы был zero-alloc на длинной дистанции
NM
Короче, я придумал, как сделать, но делать мне неохота. Попробуй заполнить тудушку :)
let inline negate<'a>(): 'a =
printfn "%A" <| typeof<'a>
if typedefof<'a> = typedefof<FSharpFunc<_, _>> then
// TODO: Generate a function of right type (see typeof<'a>.GetGenericTypeArguments()) that will ignore everything and return negate<> as its result
else // terminal case, unit
Unchecked.defaultof<_>
let debugLog format =
if debug then
Printf.kprintf (
printfn "%A: %s" DateTime.Now
) format
else negate()
Чет дичь какая-то
Dv
Чет дичь какая-то
Я старался!
NM
Я старался!
А там получается функция с любым количеством аргументов?
Dv
А там получается функция с любым количеством аргументов?
А хер знает. Я специально добавил распечатку типа, проверь.