справедливость восстановлена)

правда не вижу где там смотреть расход по памяти

MemoryDiagnoser атрибут висит? По идее он показывает.

Method | Mean | Error | StdDev | Gen 0 | Allocated | ------- |-----------:|----------:|----------:|-------:|----------:| Choice | 15.4220 ns | 0.3461 ns | 0.6329 ns | 0.0152 | 48 B | Result | 0.0393 ns | 0.0222 ns | 0.0207 ns | - | 0 B |

Все как в теории

MemoryDiagnoser атрибут висит? По идее он показывает.

Спасибо!

Вот код бенчмарка если что

https://pastebin.com/sQDWYreA

Кто-нибудь следит за тайпклассами в f#?

@gsomix, вроде. По крайней мере, за SRTP точно следил ещё недавно.

Как я понял, с настоящими тайпкласссами ждут, пока прояснится ситуация с ними в C#, да и в CLR в целом. Ну а в F# в ближайшее время стоит ждать лишь улучшений для SRTP, которое позволит делать штуки, более близкие по возможностям к тайпклассам.

Вот, нашёл-таки ссылку на вышеупомянтую фичу:

Нян. https://github.com/Microsoft/visualfsharp/pull/3582#issuecomment-332628580

Смотрите, какая интересная штука. https://twitter.com/kot_2010/status/925415377605218304

? В общем, я понял. И для Result, и для Option нужны варианты как struct, так и обычные ссылочные.

И используй, что нужно, в зависимости от ситуации

Вот код бенчмарка если что

Незачёт. Нужен эквивалентный код, но без билдера.

Понятно, почему в твоем случае Result работает быстро. У тебя очень простой код, все инлайнится компилятором, никаких лишних копирований.

Vladimir Нужно добавить bind, короче, посмотреть, как Result будет вести себя в цепочках.

Ну у меня была задача убедиться что по крайней мере не всегда резалт медленней

Ну у меня была задача убедиться что по крайней мере не всегда резалт медленней

Когда нет копирований, он действительно быстрее. Но хотелось бы более интересный случай рассмотреть.

Рассмотрим)

Vladimir В слаке вот такой результат появился для того же кода. Method | Mean | Error | StdDev | Scaled | ScaledSD | Gen 0 | Allocated | ------- |---------:|---------:|---------:|-------:|---------:|-------:|----------:| Choice | 117.3 ns | 2.894 ns | 2.707 ns | 1.00 | 0.00 | 0.0494 | 312 B | Result | 181.2 ns | 1.866 ns | 1.654 ns | 1.55 | 0.04 | 0.0203 | 128 B |

BenchmarkDotNet=v0.10.9, OS=Mac OS X 10.12 Processor=Intel Core i7-4980HQ CPU 2.80GHz (Haswell), ProcessorCount=8 .NET Core SDK=2.0.0

> Mac OS X Это интересно.

очень

Vladimir В слаке вот такой результат появился для того же кода. Method | Mean | Error | StdDev | Scaled | ScaledSD | Gen 0 | Allocated | ------- |---------:|---------:|---------:|-------:|---------:|-------:|----------:| Choice | 117.3 ns | 2.894 ns | 2.707 ns | 1.00 | 0.00 | 0.0494 | 312 B | Result | 181.2 ns | 1.866 ns | 1.654 ns | 1.55 | 0.04 | 0.0203 | 128 B |

прошу прощения за оффтоп, но думаю, что очень релевантная ссылка https://github.com/telegramdesktop/tdesktop/issues/2060

прошу прощения за оффтоп, но думаю, что очень релевантная ссылка https://github.com/telegramdesktop/tdesktop/issues/2060

Да. :)

Мне внезапно понадобился (но это неточно) иммутабельный json, есть что-нибудь готовое?

Т.е. нужна F# либа с иммутабельным JObject.

Т.е. нужна F# либа с иммутабельным JObject.

FSharp.Data? Там есть JsonValue, который обычный DU.

FSharp.Data? Там есть JsonValue, который обычный DU.

Спасибо, вроде подходит.

Коллеги, всем привет. Посмотрел видео с обучающим роликом по Excel нахождения самой длинной победной сериии https://www.youtube.com/watch?v=edZ1Sa49mE0&t=77s. Заинтересовало, как было бы это на базовом F#. Реализовал пример, получилось: let timeScheet = [ "Вера", [ 4; 0; 9; 2; 4; 0; 7 ] "Сергей", [ 5; 5; 4; 8; 0; 5; 0 ] "Василиса", [ 3; 3; 6; 9; 5; 0; 7 ] "Милина", [ 0; 3; 5; 0; 0; 9; 4 ] "Екатерина", [ 5; 0; 9; 0; 1; 0; 6 ] "Илья", [ 0; 6; 5; 0; 6; 5; 0 ] "Ольга", [ 2; 4; 9; 8; 4; 8; 7 ] ] let folder = fun state item -> if item = 0 then 0::state else match state with | x::xs -> (x + 1)::xs | [] -> 1::state let getLongestSeries series = series |> List.fold folder List.empty<int> |> List.max timeScheet |> List.map ( fun (name,sheet) -> name, getLongestSeries sheet ) // Output: // val it : (string * int) list = // [("Вера", 3); // ("Сергей", 4); // ("Василиса", 5); // ("Милина", 2); // ("Екатерина", 1); // ("Илья", 2); // ("Ольга", 7)] Как по вашему мнению можно упростить функцию folder?

ой нет

тупанул, да =D

let getLongestSeries series = let rec f arr c max = match arr with | [] -> List.max [max; c] | 0 :: xs -> f xs 0 (List.max [max; c]) | x :: xs -> f xs (c + 1) (List.max [max; c]) f series 0 0

немного упростить можно: let getLongestSeries series = let rec f arr c max = match arr with | [] -> List.max [max; c] | 0 :: xs -> f xs 0 (List.max [max; c]) | x :: xs -> f xs (c + 1) max f series 0 0

Коллеги, всем привет. Посмотрел видео с обучающим роликом по Excel нахождения самой длинной победной сериии https://www.youtube.com/watch?v=edZ1Sa49mE0&t=77s. Заинтересовало, как было бы это на базовом F#. Реализовал пример, получилось: let timeScheet = [ "Вера", [ 4; 0; 9; 2; 4; 0; 7 ] "Сергей", [ 5; 5; 4; 8; 0; 5; 0 ] "Василиса", [ 3; 3; 6; 9; 5; 0; 7 ] "Милина", [ 0; 3; 5; 0; 0; 9; 4 ] "Екатерина", [ 5; 0; 9; 0; 1; 0; 6 ] "Илья", [ 0; 6; 5; 0; 6; 5; 0 ] "Ольга", [ 2; 4; 9; 8; 4; 8; 7 ] ] let folder = fun state item -> if item = 0 then 0::state else match state with | x::xs -> (x + 1)::xs | [] -> 1::state let getLongestSeries series = series |> List.fold folder List.empty<int> |> List.max timeScheet |> List.map ( fun (name,sheet) -> name, getLongestSeries sheet ) // Output: // val it : (string * int) list = // [("Вера", 3); // ("Сергей", 4); // ("Василиса", 5); // ("Милина", 2); // ("Екатерина", 1); // ("Илья", 2); // ("Ольга", 7)] Как по вашему мнению можно упростить функцию folder?

let scanBased series = series |> Seq.scan (fun state -> function 0 -> 0 | _ -> state + 1) 0 |> Seq.max let folderBased series = series |> List.fold (fun (maximum, current) -> function | 0 -> max maximum current, 0 | _ -> maximum, current + 1) (0,0) ||> max timeScheet |> List.map ( fun (name,sheet) -> name, getLongestSeries sheet, scanBased sheet, folderBased sheet )

let scanBased series = series |> Seq.scan (fun state -> function 0 -> 0 | _ -> state + 1) 0 |> Seq.max let folderBased series = series |> List.fold (fun (maximum, current) -> function | 0 -> max maximum current, 0 | _ -> maximum, current + 1) (0,0) ||> max timeScheet |> List.map ( fun (name,sheet) -> name, getLongestSeries sheet, scanBased sheet, folderBased sheet )

? Благодарю, scanBased прекрасен.

немного упростить можно: let getLongestSeries series = let rec f arr c max = match arr with | [] -> List.max [max; c] | 0 :: xs -> f xs 0 (List.max [max; c]) | x :: xs -> f xs (c + 1) max f series 0 0

?

http://fpconf.ru/

ну а в Минске 17 декабря http://fby.by

Дороговато ?

Что дороговато? fbyby, это 3К рублей российских

FPConf подороже, но в Мск найти дешёвую площадку - та ещё проблема

Ну и 5К для московской конфы, это вполне нормальная цена.

К тому же всегда есть возможность не платить - нужно всего лишь пойти докладчиком :)

К тому же всегда есть возможность не платить - нужно всего лишь пойти докладчиком :)

Вот бы в СПб, а то еще 5к на сапсан (и 8 часов) тратить не хочется

К тому же всегда есть возможность не платить - нужно всего лишь пойти докладчиком :)

?

Не, ну если серьёзно, то для конфы это, наверное, более менее оправданная цена, да.

?

Часто так делаю :) Вот и на FPConf буду докладывать :)

Смотрите, какая интересная штука. https://twitter.com/kot_2010/status/925415377605218304

Какого чёрта!

Да, но обычный бенчмарк дотнет не пойдет. Надо хип мерять, сколько лишней памяти выделилось скажем на 1К вызовов

BDN под большой дотнет умеет это мерить. Там есть какой-то memory analyzer.

Кто-нибудь следит за тайпклассами в f#?

Да, я слежу. После ближайших доработок SRTP можно будет писать тайпклассы. Ну а дальше там есть ещё пара сахарных задачек, чтоб было поудобнее.

Вот бы в СПб, а то еще 5к на сапсан (и 8 часов) тратить не хочется

Самолёт можно найти и быстрее, и дешевле.

Самолёт можно найти и быстрее, и дешевле.

Там еще до аэропорта доехать/регистрация и в центр потом (я указал в сумме туда и обратно)

Да, я слежу. После ближайших доработок SRTP можно будет писать тайпклассы. Ну а дальше там есть ещё пара сахарных задачек, чтоб было поудобнее.

Можешь накидать синтаксис, как будет выглядеть pure (return) монадный?

Мне непонятен запрос.

Наверное, никак не будет выглядеть.

В хаскеле есть тайпклассы и соответственно определение return вот: class Monad m where return :: a -> m a … Мне интересно, как оно будет в F#, если тайпклассы добавят без HKT

Никак не будет выглядеть, я же сказал :)

Будет как в хаскеле, но без вот этого определения class.

SRTP же.

Те монадок, не будет

Будут.

Давай синтаксис

Монадки уже есть, какие угодно.

Список, например.

Давай синтаксис

Ты скажи, шо те надо, я дам синтаксис.

Речь о Computation Expressions же, да?

Синтаксис для «определения тайпкласса» будет пустым множеством.

Просто не пишешь определений и всё. Сразу пишешь код, который обобщённо использует инстансы тайпклассов.

Сошников в своей книге даже перевёл Computation Expressions как "Монадические выражения".

Речь о Computation Expressions же, да?

Не, мы не совсем об этом сейчас рассуждаем.

А, о представлении монад через SRTP?

Да, скорее об этом.

Только не про монады, а про тайпклассы вообще.

C SRTP вроде уже обсуждали, что нельзя будет расширить сторонние классы. Это так и осталось?

C SRTP вроде уже обсуждали, что нельзя будет расширить сторонние классы. Это так и осталось?

Я ж кидал ссылку выше

Нян. https://github.com/Microsoft/visualfsharp/pull/3582#issuecomment-332628580

C SRTP вроде уже обсуждали, что нельзя будет расширить сторонние классы. Это так и осталось?

Да, обсуждали, и нельзя (без будущего времени) расширить сторонние классы. А будет можно как раз.

На этом примитиве можно сделать то же самое, что тайпклассами.

А дальше нужно будет просто их немножко сахарком обмазать (ну, я согласен, что хочется видеть их в виде отдельных определений, а не кучи SRTP-констрейнтов на каждый метод).

Но тогда можно будет даже какую-то надстройку над компилятором соорудить, которая бы позволяла именовать группы таких констрейнтов. И вот вам уже и готовые тайпклассы, в общем-то.

Можешь накидать синтаксис, как будет выглядеть pure (return) монадный?

Хороший вопрос. Пишешь метод расширения Return для нужного тебе типа.

И функцию return, которая будет через SRTP вытаскивать нужные перегрузки.

Но тогда можно будет даже какую-то надстройку над компилятором соорудить, которая бы позволяла именовать группы таких констрейнтов. И вот вам уже и готовые тайпклассы, в общем-то.

(как раз сделаем читалку и генерилку этой скрытой F#-метадаты в сборках, и дело в шляпе)

Вон как хитро сейчас сделано в FSharpPlus. https://github.com/gusty/FSharpPlus/blob/master/src/FSharpPlus/Functor.fs#L103

@angmarr ^

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

Самое хитрое в FSharpPlus — это название. Никак не могу его запомнить :(

Я вижу один минус у всей этой истории с тайпклассами через SRTP.

Это влияет на время компиляции.

Раньше было совсем невыносимо, но к F#4.1 немного поправили производительность.

Будет надо — ещё поправим.

https://pastebin.com/ibW9SAAf

| Method | Mean | Error | StdDev | Gen 0 | Allocated | |----------- |-----------:|----------:|----------:|-------:|----------:| | Choice | 11.9967 ns | 0.2645 ns | 0.3149 ns | 0.0152 | 48 B | | Result | 0.0000 ns | 0.0000 ns | 0.0000 ns | - | 0 B | | ResultBind | 17.9475 ns | 0.3891 ns | 0.4480 ns | - | 0 B | | ChoiceBind | 27.1420 ns | 0.6881 ns | 1.5531 ns | 0.0305 | 96 B |