Как вообще тру-фшарперы относятся к кастомным операторам?

https://docs.microsoft.com/en-us/dotnet/fsharp/style-guide/component-design-guidelines#avoid-defining-custom-symbolic-operators

https://docs.microsoft.com/en-us/dotnet/fsharp/style-guide/component-design-guidelines#avoid-defining-custom-symbolic-operators

Полностью согласен, функции с нормальными именами практически всегда лучше

А то смотришь на код типа “a >>=+> b” и даже не знаешь, как это прочитать

HOPAC

В гопаке есть упоротые операторы, но часто употребимые как в хаскеле. >>= >>-, Channel give похож на go *<-

Упоротые это всякие Alt. Prepare Job with nack

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

Оператор заменяет сразу две сущности |> + функцию (Job.map или Job.bind)

Как вообще тру-фшарперы относятся к кастомным операторам?

надеюсь плохо

Зачем нам оператор + если есть функция sum?

A |> sum B Норм же? Не то что эти ваши операторы А + В

Зачем нам оператор + если есть функция sum?

Это плохой пример, как работает (+) мы знаем со школы.

Монадические комбинаторы в школе не проходят, но мы ж не в школе

Все верно, а еще их нет в стандартной библиотеке.

A |> sum B Норм же? Не то что эти ваши операторы А + В

a.plus b было бы вполне норм

В гопаке есть упоротые операторы, но часто употребимые как в хаскеле. >>= >>-, Channel give похож на go *<-

а что это значит? >>= >>-

Все верно, а еще их нет в стандартной библиотеке.

Это значит, что читатель, знающий F#, может быть с ними не знаком, у него может не быть интуиции в их отношении.

Если компилятор позволяет любую функцию использовать как экстеншен метод

Это значит, что читатель, знающий F#, может быть с ними не знаком, у него может не быть интуиции в их отношении.

согласна

В стандартной либе нет map в комп экспрешнах. Им тоже нельзя пользоваться?

Что делает map понятно из названия, что делает >>- уже не так просто понять при чтении. ;)

а что это значит? >>= >>-

Это монадический bind и map обыкновенный

В стандартной либе нет map в комп экспрешнах. Им тоже нельзя пользоваться?

Но там есть отдельно map и выражения, то есть тут не новая сущность, а сочетание уже знакомого

Спорим ниочом) в Fake есть оператор </> который заменяет Path.Combine. Очевидно что он делает из интеллисенса.

Короче, операторы это хорошо. Их понимание вопрос второй. Вы же поняли что :: или @ делает.

Вот к >>- или >>= можно привыкнуть так же быстро

Тем более они общеупотребимые

Тем более они общеупотребимые

Только не >>-

а что это значит? >>= >>-

Смерть

Тем более они общеупотребимые

По-моему «общеупотребимость» субъективна

Плюс или минус еще можно назвать общеупотребимыми, с натяжкой можно считать таковым бинарный сдвиг, но даже про оператор собаки я не представляю что он делает

Я так думаю, у всех присутствующих (кто учился в техничкском вузе, конечно) были хотя-бы вышмат и матанализ. В рамках этих дисциплин вводилось немало символьных операций. Их тоже словами заменить? Когда постоянно используешь какую-либо нотацию - она быстро запоминается

Уж точно |+| лучше читается, чем SemigroupK.combine

Лёгкость освоения != удобство ежедневного использовпнияш

Симвоьные операторы в dsl благо

вот только в другой библиотеке |+| может означать все что угодно

Ну и что с того?

combine тоже

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

combine тоже

это уж как автор пожелает. вовсе необязательно

это уж как автор пожелает. вовсе необязательно

Для оператора это тоже верно

эт япро оператор имелл ввиду

combine то хоть какойто контекст подразумевает

Холивар за операторы. Нормас

Уж точно |+| лучше читается, чем SemigroupK.combine

Читается точно не лучше. Возможно легче пишется, но экономия нажатий кнопок должна быть на уровне тулинга а не языка, т.е. студия должна дать ввести «SK.C» и сама развернуть в то что надо

Джависты тоже гордятся что они геттеры и сеттеры одной кнопкой разворачивают в простыню

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

Я так думаю, у всех присутствующих (кто учился в техничкском вузе, конечно) были хотя-бы вышмат и матанализ. В рамках этих дисциплин вводилось немало символьных операций. Их тоже словами заменить? Когда постоянно используешь какую-либо нотацию - она быстро запоминается

Да, несколько лет тренировок, но порой мне все равно непросто читать математические выражения. Приходится брать листок, карандаш, переписывать и внимательно следить за последовательностью значков. ?‍♂️

Проблема в том, что в голове нужно держать довольно много контекста, а тексты, где каждый знак важен, очень тяжело читать.

в общем для изращенцев есть такая штука https://marketplace.visualstudio.com/items?itemName=TaoLiu.MathSymbol

Это монадический bind и map обыкновенный

Где же ты был, когда я про оператор для map спрашивал. Норм и лигатра для него есть ?

Где же ты был, когда я про оператор для map спрашивал. Норм и лигатра для него есть ?

Но все знают, что map — это <$>. ?

Эх блин, он страшненький ?

И по-моему компилятор в F# на него ругается

Не за компом сейчас, проверьте пожалуйста кто может

А как относитесь к >=> в Giraffe?

Не за компом сейчас, проверьте пожалуйста кто может

Да, не комплируетя

А как относитесь к >=> в Giraffe?

А оно отличается от suave?

Это кляйзли и там, и там вроде.

А оно отличается от suave?

Тут вроде высказывают недовольство по поводу операторов кастомных. Вот и спрашиваю

Тогда норм. Плохо что в жирафе task юзаются

А чем таски плохи? Не по канону?

Семантика у них другая, с функционально точки зрения они хуже (зато перформанс лучше, это да).

Да, не комплируетя

А какую ошибку пишет? Зарезервированный оператор?

error FS0035: This construct is deprecated: '$' is not permitted as a character inoperator names and is reserved for future use

А было у кого такое? Проект не собирается, хотя в коде ошибок нет. error FS0192 : internal error : primDestForallTy: not a forall type Гуглится только одна ишья на github f#, закрытая Д. Саймом (типа невоспроизводится).

let primDestForallTy g ty = ty |> stripTyEqns g |> (function TType_forall (tyvs, tau) -> (tyvs, tau) | _ -> failwith "primDestForallTy: not a forall type")

Как вообще тру-фшарперы относятся к кастомным операторам?

Стараются не выносит в них api, а в рамках модуля можно как и что угодно)

Стараются не выносит в них api, а в рамках модуля можно как и что угодно)

Вот это кстати очень здравая идея

let primDestForallTy g ty = ty |> stripTyEqns g |> (function TType_forall (tyvs, tau) -> (tyvs, tau) | _ -> failwith "primDestForallTy: not a forall type")

let primDestForallTy g ty = ty |> stripTyEqns g |> (function | TType_forall (tyvs, tau) -> (tyvs, tau) | _ -> failwith "primDestForallTy: not a forall type") Так понятнее?

https://twitter.com/ben_a_adams/status/1008406784212656130

интересно что такое mw

нашел - middleware =)

А вот ссылка https://www.techempower.com/benchmarks/#section=test&runid=bebca46e-899f-4958-8052-d5f5f5c81eb2&hw=ph&test=plaintext&l=qmx0ql

Привет.

Привет

Привет

Пишешь на F#?

Хочу познать чудесный мир ФП. Пока просто смотрю

Хочу познать чудесный мир ФП. Пока просто смотрю

Ок, рекомендую начать с https://fsharpforfunandprofit.com/

Да, уже читаю) спасибо

Давайте навалимся и проголосуем за подсветку операторов в райдере https://youtrack.jetbrains.com/issue/RIDER-16929#u=1529310658198

Хочу познать чудесный мир ФП. Пока просто смотрю

все познается в сравнении! Не забудь заглянуть в мир лиспа - язык Clojure ;)

все познается в сравнении! Не забудь заглянуть в мир лиспа - язык Clojure ;)

Я только эликсир немного пробовал...

все познается в сравнении! Не забудь заглянуть в мир лиспа - язык Clojure ;)

+

Dima По поводу F# и прода. ;) https://fsharp.org/testimonials/

это возможно решить на F# оптимальным способом?

#announcement #task_102 ? Задача 102: Минимальное кол-во операций (решение будет в понедельник) Дано натуральное число N. Вы можете выполнять след.операции над числом: вычитать 1, делить на 2 (если делится), делить на 3 (если делится). Необходимо найти наименьшее кол-во операций, ктр приведут заданное число к 1. Входные данные: N - натуральное число от 1 до 10^6 Вывод: число X - наименьшее кол-во операций, ктр приведут число N к 1. Пример: N = 9 Answer = 2 P.S. На след.неделе мы перенесем публикацию анонса, чтобы у вас было больше времени на решение задачи!

но не оптимальное

#announcement #task_102 ? Задача 102: Минимальное кол-во операций (решение будет в понедельник) Дано натуральное число N. Вы можете выполнять след.операции над числом: вычитать 1, делить на 2 (если делится), делить на 3 (если делится). Необходимо найти наименьшее кол-во операций, ктр приведут заданное число к 1. Входные данные: N - натуральное число от 1 до 10^6 Вывод: число X - наименьшее кол-во операций, ктр приведут число N к 1. Пример: N = 9 Answer = 2 P.S. На след.неделе мы перенесем публикацию анонса, чтобы у вас было больше времени на решение задачи!

надо завести массив и хранить там количество операций, которые нужны, чтобы получить число, соответствующее индексу. в x[1] запишем ноль, потом идём вперёд, на клетку +1, x2, x3 и записываем туда новое количество операций, если получается меньше, чем там уже было

Не функциональненько получается, зато за линию

Числодробилки вообще делать на ФП бывает удобно, но крайне неоптимально. Мутабельность изо всех щелей, а ускорение в 90% случаев достигается через разбиение работы на X слайсов (где X кол-во ядер). Короче, там больше C++ какой-то тренируется чем F#

Что за шрифт?

Что за шрифт?

Fira Code