Вроде и понимаю что неплохо бы, а все равно влом

Как вариант, можно на курсы какие-нибудь записаться.

@DarkByte2016 Про bind и let! написано у Смита в главе про вычислительные выражения.

Желательно на русском))

Когда требуете литературу на русском нужно в 90% случаев быть готовым к тому что это перевод книги 2-3 годичной давности + ещё есть вероятность плохого переводчика и редактора. Лучше английский выучить как можно раньше

Один из хороших примеров чем лучше fsharp по сравнению с csharp это Visitor vs Discriminated Union https://stackoverflow.com/a/694822/330090

Visitor, кстати, играет ключевую роль в TypeShape. https://github.com/eiriktsarpalis/TypeShape

посмотрел интересно, народ из mbrace головастые, он там для rank 2 юзает тот же самый метод как и linq, класс содержит генерик метод. я когда-то писал давно монад трансформеры на c# немного по другому делал наследовал генерик класс от негенерика и давал гарантию что этот базовый класс не может иметь других наследников

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

@anton_shelin Бывает. С сообщениями все в порядке.

ну значит ок

Один из хороших примеров чем лучше fsharp по сравнению с csharp это Visitor vs Discriminated Union https://stackoverflow.com/a/694822/330090

Конкретно этот пример не актуален, поскольку в C# 7 таки есть паттернматчинг, На C# 7 можно переписать почти всё, что там написано чуть ли не один в один.

Конкретно этот пример не актуален, поскольку в C# 7 таки есть паттернматчинг, На C# 7 можно переписать почти всё, что там написано чуть ли не один в один.

И DiscriminatedUnions тоже добавили?

DiscriminatedUnions - это просто типы суммы. они в С# реализованы традиционно наследованием от базового класса

Отметим - от пустого базового класса

DiscriminatedUnions - это просто типы суммы. они в С# реализованы традиционно наследованием от базового класса

В этом и проблема как ты диспатчить то будешь?

Отметим - от пустого базового класса

Для диспатча тебе придется туда вставлять метод Eval или если так не делать то матчить по типу рефлекшеном или делать визитор если охота компиль чек.

Да почти так же switch(shape) { case Circle c: WriteLine($"circle with radius {c.Radius}"); break; case Rectangle s when (s.Length == s.Height): WriteLine($"{s.Length} x {s.Height} square"); break; case Rectangle r: WriteLine($"{r.Length} x {r.Height} rectangle"); break; default: WriteLine("<unknown shape>"); break; case null: }

Ага я добавлю новый класс наследник и как компилятор мне подскажет что этот класс не покрыт?

Суть в компиль тайм чеке.

Компилятор нет, но все щас пользуют решарпер, а он скажет обязательно. Суть в том, что это не есть какая-то там киллер фича. Паттерн матчинг типов сумм - это больше к вкусовщине относится чем к концептуальным преимуществам. И даункаст в рантайме тот же самый в F# что и в C# - за исключением структур конечно

В F# это тоже всего лишь ворнинг, если не путаю :(

но структуры в F# забагованы, ждём пока починят -на всякий случай добавлю

Там какой-то конкретный юзкейс забагован.

DU+Pattern matching как раз таки киллер фича. Несколько строчек кода и готова сложная бизнес-логика с проверкой на этапе компиляции

И то не страшно, всего лишь не компилируется :)

DU+Pattern matching как раз таки киллер фича. Несколько строчек кода и готова сложная бизнес-логика с проверкой на этапе компиляции

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

Решарпер не избавляет от необходимости держать кучу бойлерплейт кода для кодирования DU.

по-моему можно впечатлится даже локончиностью и чистотой F#-кода. Ну и не у каждого есть R#.

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

а можно ссылку на эту фичу r#?

Решарпер не избавляет от необходимости держать кучу бойлерплейт кода для кодирования DU.

C# 7 умеет через is эти типы разбирать. Дополнительно кодировать не нужно.

ну и R# тебе не запретит сокмпилировать не полный switch, а только поможет в его генерации

ну и R# тебе не запретит сокмпилировать не полный switch, а только поможет в его генерации

F# тоже не запретит :(

ну и R# тебе не запретит сокмпилировать не полный switch, а только поможет в его генерации

Он сгенерит по всем наследникам класса?

В F#, кстати, ногу себе отстрелить сложнее

Чем в C#

И то не страшно, всего лишь не компилируется :)

страшно) поскольку баг компилятора просто не даст тебе откомпилировать то, что ты захочешь [<Struct>] type A = | B of int | C of int - фейл

страшно) поскольку баг компилятора просто не даст тебе откомпилировать то, что ты захочешь [<Struct>] type A = | B of int | C of int - фейл

Страшно было бы, если б он компилировал и некорректно вёл себя в рантайме. А вот кода, который не компилируется, я не боюсь :)

Это плохо, но не страшно.

а можно ссылку на эту фичу r#?

такие вещи в 21 веке проверяют аюсолютно все уважающие себя стат. анализаторы

такие вещи в 21 веке проверяют аюсолютно все уважающие себя стат. анализаторы

а ссылку то можно?

А я вот щас возьму да проверю, раз людям интересно.

А я вот щас возьму да проверю, раз людям интересно.

спасибо, а то я без r#

@fvnever Я про то, что DU все равно не очень удобно описывать.

ERROR: S client not available

Да, сделать можно, но это будет коряво и неудобно

Страшно было бы, если б он компилировал и некорректно вёл себя в рантайме. А вот кода, который не компилируется, я не боюсь :)

есть у них и такой баг - с рекордами. тоже ждём фикса. "Это плохо, но не страшно." - это делаетданную фичу с неупакованными DU бесполезной только и всего

@ruzzke_mir Можно ссылку на issue?

такие вещи в 21 веке проверяют аюсолютно все уважающие себя стат. анализаторы

А должны бы компиляторы

такие вещи в 21 веке проверяют аюсолютно все уважающие себя стат. анализаторы

Ну чёт нет, не проверяют. Ни единого ворнинга ни от компилятора, ни от решарпера.

Ну чёт нет, не проверяют. Ни единого ворнинга ни от компилятора, ни от решарпера.

Спасибо

Кстати, сгенерить все ветки свитча он тоже не может для такого случая.

Для енумов генеряет.

Сюда бы @controlflow он бы все рассказал. Но он ща в штатах кофий попивает и к людям уже не спустится на грешную землю.

И проверки на полноту для enum работают.

Ну чёт нет, не проверяют. Ни единого ворнинга ни от компилятора, ни от решарпера.

у тебя всё последнее С# и R# ?

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

у тебя всё последнее С# и R# ?

Да, все последние обновления на студию и решарпер.

Решарпер должен построить AST

по всему солюшну

Имхо, на больших проектах будут большие тормоза

Да и сейчас он не самый быстрый

В теории, можно написать расширение для Рослина

Но тут вопрос

Какое поведение для наследников наследников?