в лиспе вроде списки массово пользуют. всех пережил

https://gist.github.com/AlexeyRaga/9825fb67e0a926005d72032e59182a27

В лисп машинах были специальные регистры в архитектуре для списков

В лисп машинах были специальные регистры в архитектуре для списков

хз про что это. ссыль есть?

со времен знакомства с ди, все время в голове вопрос почему так много коллекций в дотнете

Списки массово и правда опасно юзать (но ограниченно, с умом, очень даже ок). Остальное - это экономия на спичках. В бенчмарках разница будет, в реальном приложении - нет. Асинк и Таск используются в IO сценариях. Я лично делал йоба хайлоад на асинках фшарпа, все было збс. Мейлбокс против Датафлоу из той же оперы. Датафлоу быстрее да, но тянуть это уебищное апи в кодобазу - преступление. Лучше было взять просто стримы (нессос те же) и получить перф с нормальным кодом. Но Молдован все равно молодец.

Вроде бы вообще совсем разные технологии-то?

Да, но если ты хочешь тупо конкурентную очередь с обработчиком, то датафлоу это может сделать. Экшн блок

Серьёзно? А состояние там где? ._.

Ну мутабельную переменную заведи, чо как здрасте-то!

Чёт какая-то херня

@omgszer как сделать заглушку для kprintf? В дебаге юзаем обычный kprintf, а в релизе kprintf заглушку, которая не генрерит строки, но и не ломает код. Я чет не могу допереть

адово, например

Ну если найдёшь инфу про архитектуру лисп машин... Я тут с ограниченным интернетом пока, по талонам

let myLog = if debug then ignore else Printf.kprintf

Так вот низя?

А чо будет?

или наоборот

let myLog = #if DEBUG ignore #else Printf.kprintf #endif

так же как и тут let myLog = if debug then ignore else Printf.kprintf

интрестинг

ему какая разница?

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

Строка то все равно аллоцируется

А тебя не устроит решение на #if?

Ну у нас галочкой можно включить лог 🙂

В каком месте вообще аллоцируется строка? Printf.StringFormat уже это сделал или ещё нет?

let myLog (x : '_a when '_a :> Printf.StringFormat<'_b,unit>) = #if ! DEBUG Printf.kprintf (printfn "%s") x #else Unchecked.defaultof<_> #endif

Короче, я придумал, как сделать, но делать мне неохота. Попробуй заполнить тудушку :) 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()

Чет дичь какая-то

Я старался!

А там получается функция с любым количеством аргументов?

На самом деле точно не с любым, потому что чисто физически количество типоаргументов в FSharpFunc ограничено.