Композиция тоже не катит тебе?)

Нет.

Я хочу bind.

И код, эквивалентный коду Василия, чтобы можно было сравнить адекватно.

Сам вечером напишу, пожалуй.

+

@angmarr Мы ответили на твой вопрос? :)

Частично, те как моноид сделать я понял (в примере есть), но для этого не нужно HKT, а вот с монадами/Applicative пока не понятно.

Частично, те как моноид сделать я понял (в примере есть), но для этого не нужно HKT, а вот с монадами/Applicative пока не понятно.

Не понятно, как будет со стороны пользователя? Или с точки зрения реализации в FSharpPlus?

Не надо FSharpPlus, там какая-то дичь Можно как вот тут https://github.com/Microsoft/visualfsharp/pull/3582#issuecomment-332628580

Просто FSharpPlus -- это самая продвинутая библиотека с generic-абстракциями на SRTP. :)

Наверное, надо еще посидеть, покурить их исходинки.

Основная фишка, что SRTP умеет выбирать нужную перегрузку не только в зависимости от типов входных значений (как в примере с Add). Но и в зависимости от типа выходного значения. Поэтому мы можем разрешить тип f a в функции pure :: a -> f a в зависимости от контекста. А дальше включается structural typing. Applicative<T> — это любой тип, который реализует методы Return и Apply. 'ApplicativeT : (static member Return: 'T -> 'ApplicativeT) Хорошо: + возможно библиотечное решение с необходимыми абстракциями; стандартная библиотека остаётся простой и привычной Плохо: - F#-only возможность - негативно влияет на время компиляции - плохие сообщения об ошибках

Коллеги, кто нибудь смотрел https://github.com/louthy/language-ext ? Мне решение понравилось, попробовать что ли на f# way перевести?

Коллеги, кто нибудь смотрел https://github.com/louthy/language-ext ? Мне решение понравилось, попробовать что ли на f# way перевести?

Чего-то не хватает в FSharpx.Extras и ExtCore?

Реализации на тех же идеях, что обсуждаются в мейн стримах. Возможно получится менее нагруженная чем в Csharp модель объявления генериков за счет T<_, int>

Красивая реализация взятия not null за счет implicit conversion

Ещё Марка подвезли https://twitter.com/DotNextConf/status/925703231241621504

Добрый день, никто здесь случайно не знает годных книжек по прологу?

Ох...

@Belosnezzzka, Возможно, @gsomix тебе даст направление в чатик по Прологу, если таковой имеется. Он, как я понял, много разных чатиков знает и чуть ли не во всех состоит.)

Коллеги, кто нибудь смотрел https://github.com/louthy/language-ext ? Мне решение понравилось, попробовать что ли на f# way перевести?

Я юзал, особенно пригодилось в решениях, где даже FSharp.Core был недопустим.

https://twitter.com/_cartermp/status/925931675195863040

Доброе утро.

Ещё Марка подвезли https://twitter.com/DotNextConf/status/925703231241621504

Хайпят. :)

Надо сегодня сесть за перевод.

Хайпят. :)

Хайпим! А как не хайпить, раз уж притащили его в Москву? :) Доброе утро!

Хайпим! А как не хайпить, раз уж притащили его в Москву? :) Доброе утро!

Нужно тоже хайпануть — закончить перевод статьи про F# хотя бы к концу конференции.

Нужно тоже хайпануть — закончить перевод статьи про F# хотя бы к концу конференции.

А ты что сейчас переводишь?

А ты что сейчас переводишь?

Статью про веб-сервисы и жирафа. :)

https://github.com/fsharplang-ru/translations/issues/27

Статью про веб-сервисы и жирафа. :)

О, классно, удачи!

@gsomix https://pastebin.com/LdTKyC2L

| Method | Mean | Error | StdDev | Gen 0 | Allocated | |----------- |-----------:|----------:|----------:|-------:|----------:| | Choice | 15.6631 ns | 0.3496 ns | 0.6818 ns | 0.0152 | 48 B | | Result | 0.0000 ns | 0.0000 ns | 0.0000 ns | - | 0 B | | ResultBind | 18.8496 ns | 0.4081 ns | 0.5012 ns | - | 0 B | | ChoiceBind | 27.7817 ns | 0.6435 ns | 1.4786 ns | 0.0305 | 96 B |

@gsomix https://pastebin.com/LdTKyC2L

:3

Спасибо.

На здоровье) Результат практически идентичен прошлому запуску с композицией кстати

На здоровье) Результат практически идентичен прошлому запуску с композицией кстати

Правда, код все еще неэквивалентен примеру Василия. :) Но я вчера заленился писать бенчмарк.

В стандартной библиотеке, кстати, есть bind для Result.

мм, сча его затестим

И давай уже вложенные байнды!

Господа, простите, если немного оффтоп, но кто-нибудь пойдёт на открытую конференцию ИСП РАН? (isprasopen.ru). Там про компиляторы обязательно что-то будет, про статический и динамический анализ кода, и вообще.

Господа, простите, если немного оффтоп, но кто-нибудь пойдёт на открытую конференцию ИСП РАН? (isprasopen.ru). Там про компиляторы обязательно что-то будет, про статический и динамический анализ кода, и вообще.

Все пойдут! // я не пойду :(

Vladimir let resultFun x y = x |> Result.bind (fun _ -> y) resultFun (Ok 0) (Ok 0) |> Result.bind (fun x -> resultFun (Ok 1) (Ok 1) |> Result.bind (fun y -> resultFun (Ok 2) (Ok 2) |> Result.bind (fun z -> resultFun (Ok 3) (Ok 3) |> Result.bind (fun h -> Ok (x + y + z + h))))) |> ignore

О, Василий дополнил результаты запуском под Ubuntu. Method | Mean | Error | StdDev | Scaled | Gen 0 | Allocated | ------- |---------:|----------:|----------:|-------:|-------:|----------:| Choice | 102.6 ns | 0.0679 ns | 0.0567 ns | 1.00 | 0.0743 | 312 B | Result | 148.7 ns | 0.2098 ns | 0.1859 ns | 1.45 | 0.0303 | 128 B |

Господа, простите, если немного оффтоп, но кто-нибудь пойдёт на открытую конференцию ИСП РАН? (isprasopen.ru). Там про компиляторы обязательно что-то будет, про статический и динамический анализ кода, и вообще.

Надо завести где-нибудь список ближайших мероприятий. :) @neftedollar

Если что, на isprasopen регистрация до 10 ноября. Денег им не надо.

Если что, на isprasopen регистрация до 10 ноября. Денег им не надо.

Спасибо.

Привет всем!

А как спецсимволы в строку вставлять?

Например чтобы строка получилась "+10%"

sprintf "+%d" intPercent

sprintf "+%d%" intPercent - так ошибка

sprintf "+%d%" intPercent - так ошибка

sprintf "+%d%%" intPercent

sprintf "+%d%%" intPercent

Спасибо, сейчас проверю!

Vladimir let resultFun x y = x |> Result.bind (fun _ -> y) resultFun (Ok 0) (Ok 0) |> Result.bind (fun x -> resultFun (Ok 1) (Ok 1) |> Result.bind (fun y -> resultFun (Ok 2) (Ok 2) |> Result.bind (fun z -> resultFun (Ok 3) (Ok 3) |> Result.bind (fun h -> Ok (x + y + z + h))))) |> ignore

Ты замыкания хочешь проверить?

Ты замыкания хочешь проверить?

Я просто хочу такой же код, как у Василия.

Добрый день, никто здесь случайно не знает годных книжек по прологу?

Мне лично понравилась "Братко Иван - Программирование на языке Пролог для искусственного интеллекта".

Ты замыкания хочешь проверить?

Чтобы понять, какой оверхед вносит computational expression.

Если вообще.

| Method | Mean | Error | StdDev | Gen 0 | Allocated | |----------------------- |--------------:|-----------:|-----------:|-------:|----------:| | Choice | 16.3119 ns | 0.3904 ns | 1.0818 ns | 0.0152 | 48 B | | Result | 0.0000 ns | 0.0000 ns | 0.0000 ns | - | 0 B | | ResultBind | 19.2608 ns | 0.4157 ns | 0.3889 ns | - | 0 B | | ChoiceBind | 35.0061 ns | 0.7852 ns | 1.8661 ns | 0.0305 | 96 B | | ResultBindWithClosures | 2,579.8346 ns | 50.7796 ns | 49.8723 ns | 0.0725 | 232 B | | ChoiceBindWithClosures | 156.9951 ns | 3.1293 ns | 6.4626 ns | 0.1321 | 416 B |

Ага!

| Method | Mean | Error | StdDev | Gen 0 | Allocated | |----------------------- |--------------:|-----------:|-----------:|-------:|----------:| | Choice | 16.3119 ns | 0.3904 ns | 1.0818 ns | 0.0152 | 48 B | | Result | 0.0000 ns | 0.0000 ns | 0.0000 ns | - | 0 B | | ResultBind | 19.2608 ns | 0.4157 ns | 0.3889 ns | - | 0 B | | ChoiceBind | 35.0061 ns | 0.7852 ns | 1.8661 ns | 0.0305 | 96 B | | ResultBindWithClosures | 2,579.8346 ns | 50.7796 ns | 49.8723 ns | 0.0725 | 232 B | | ChoiceBindWithClosures | 156.9951 ns | 3.1293 ns | 6.4626 ns | 0.1321 | 416 B |

Спасибо.

Вывод - так не делайте)

Вывод - так не делайте)

Это же основной кейс. :)

Что вы тут за эксперименты проводите? :)

Что вы тут за эксперименты проводите? :)

Result vs Choice

Result vs Choice

А в чём разница?

А в чём разница?

Первый value type.

Так и думал :)

Сломали бы уже совместимость что-ли и сделали всё грамотно

Сломали бы уже совместимость что-ли и сделали всё грамотно

Что сделали?

Что значит "грамотно"?

Что значит "грамотно"?

Поменять всё на Value Type

Option, Choice и т.п.

Поменять всё на Value Type

Ну, вон Result у нас value type. Работает на порядок медленее в одном из основных кейсов.

Ты про замыкания?

Ты про замыкания?

Я про вложенные bind.

Ну, там же замыкания?

Ну, там же замыкания?

Да. И копирования в итоге.

Да. И копирования в итоге.

Ну можно же на уровне компилятора сделать оптимизации?

Ну можно же на уровне компилятора сделать оптимизации?

Предлагай.

Грубо говоря, в зависимости от кейса использовать value/ref type?

Ну и вообще, нужно разобраться изначально в чем причина тормозов

Нельзя так делать!

Нельзя так делать!

Почему?

Почему?

Нельзя делать семантику неявной.

Нужно два разных типа, чтобы их можно было явно использовать.

Окей, в чём тогда причина тормозов?

Окей, в чём тогда причина тормозов?

В копированиях.