Это работает?

The type 'ChatUser' does not have 'null' as a proper value

Проблема по всей видимости в том, что в F# записи не могут быть null

В f# ничего не может быть null, для того чтоб проверить на null, надо сделать боксинг

(box Val) = null

let SomeNull x = if isNull(box x) then None else Some x

Как-то так получается

Может проще разрешить null для рекорда?

Спасибо, с боксингом сработало

Может проще разрешить null для рекорда?

Тоже вариант, но не круто

Может проще разрешить null для рекорда?

[<AllowNullLiteral>] ?

Он для записей не работает

С доступом к БД в F# на .Net Core пока очень больно :(

Я бы операции типа залезть в бд или опросить сервис. Оборачивал бы Result вместо Option.

Я бы операции типа залезть в бд или опросить сервис. Оборачивал бы Result вместо Option.

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

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

А он и может, нет?)

https://www.reddit.com/r/fsharp/comments/652sin/what_are_the_worst_parts_of_f/

Зачем такие обсуждения существуют?

Ну, то есть, все кто пользуется и так знают проблемные места.

И те, кто их может исправить, вряд ли найдут что-то новое в таких обсуждениях.

А есть какая-нибудь защита от посылания null сюда? let toUpper (x: string) = x.ToUpper()

А что надо вернуть если null?

А что надо вернуть если null?

Хочется что бы нескомпилировалось

К сожалению, в системе типов F# null — это корректный элемент типа string. Никакой возможности отследить его на уровне типов нет.

Можно только защиту соорудить разной степени муторности.

Можно обертку сделать.

Ну, я бы начал с Option.ofObj x, а дальше всякое.

Ну, я бы начал с Option.ofObj x, а дальше всякое.

Option.ofObj наверное.

Уже исправился, ага :)

За выходные портировал свой бложик с Freya + OWIN + IIS на Freya + .NET Core + Kestrel. Впечатления положительные. Ionide + VS Code хорошо работает с F#-проектами на Core.

Только с RSS осталось разобраться, и буду запускать в продакщен.

Отличные новости!

А сейчас есть на что посмотреть?

За выходные портировал свой бложик с Freya + OWIN + IIS на Freya + .NET Core + Kestrel. Впечатления положительные. Ionide + VS Code хорошо работает с F#-проектами на Core.

Чистоту функций соблюдал?

Чистоту функций соблюдал?

Воистину воскресе!

(нет, не соблюдаю и никогда не соблюдал; здесь вам не Хаскель)

Впрочем, оно как-то само собой выходит. Если в приложении ничего мутабельного нету — значит, оно всё чистое :)

@fvnever Предлагаю об успешном переходе на .Net Core написать в твиттер. :)

@fvnever Предлагаю об успешном переходе на .Net Core написать в твиттер. :)

Да, хорошая идея. Как выведу в продакшен — напишу.

Спасибо.

Мне там ещё деплой портировать :(

(нет, не соблюдаю и никогда не соблюдал; здесь вам не Хаскель)

Что же сразу на C# не пишешь? Вбрасывали же видео, что есть вариант держать чистыми хотя бы доменные функции (и без всяких монад).

Впрочем, жахну докером везде.

Что же сразу на C# не пишешь? Вбрасывали же видео, что есть вариант держать чистыми хотя бы доменные функции (и без всяких монад).

Я видео не смотрел, но идея более чем здравая.

https://docevaad.github.io/Chain

Мне кажется, что, если б в F# (или C#) были эффекты, то было бы очень удобно на разных слоях приложения локализовать разные эффекты.

Скажем, на уровне DAL — только [DB], а на уровне Web — только [HTTP].

И, что важно, на других уровнях этих эффектов не разрешать.

@angmarr Потому что F# -- это улучшенный C#. :)

Очень симпатично и архитектурно бы выходило.

https://docevaad.github.io/Chain

Отдельное спасибо за https://github.com/FransBouma/DocNet :)

Я давно искал такую штуку.

@angmarr А от того видео я до сих пор оправиться не могу.

Так и представляю себе болл, который нужно зафорсить на топ хилла.

Ладно, посмотрю то видео на ночь. Больно вы заинтриговали :)

Бже. Он и правда предлагает зафорсить болл на хилл %)

Бже. Он и правда предлагает зафорсить болл на хилл %)

Но мысли здравые. Я что то подобное у Рич Хики слышал (хотя в clojure и нет типов).

@angmarr Про это ploeh пишет.

Я думаю, получше, чем в докладе рассказано.

Я думаю, получше, чем в докладе рассказано.

> 2k17 > читать ?? (если он такой умный, что же доклад не сделает?)

Лучше прочитать хороший текст, чем слушать про болл на хилле. :)

Лучше прочитать хороший текст, чем слушать про болл на хилле. :)

Суть в том что это вообще старая идея, просто хорошо что это кто то пропагандирует.

А есть какая-нибудь защита от посылания null сюда? let toUpper (x: string) = x.ToUpper()

Кстати говоря, я рекомендую все null-ы сразу преобразовывать в Option. В бизнес-коде у меня никогда не бывает null, за редчайшими исключениями. 1. Если я вызвал какой-то C#-метод, про который известно, что он может вернуть null — сразу заворачиваю в Option.ofObj. 2. Мои собственные функции никогда не возвращают null, я себе запрещаю.

Это позволяет никогда не видеть NRE в продакшене. Вот честно, не припомню такого случая, чтоб в ФП-коде где-то стрельнуло.

Ага, а примеры про Email и Shopping Cart этот чувак взял из доклада Scott Wlaschin - Domain modelling with the F# type system.

(хотя гарантии от системы типов, конечно, намного лучше, чем моё честное слово)

@angmarr Мне просто не понравился доклад.

Кстати говоря, я рекомендую все null-ы сразу преобразовывать в Option. В бизнес-коде у меня никогда не бывает null, за редчайшими исключениями. 1. Если я вызвал какой-то C#-метод, про который известно, что он может вернуть null — сразу заворачиваю в Option.ofObj. 2. Мои собственные функции никогда не возвращают null, я себе запрещаю.

Я тоже так делаю. Просто хотел в котлин чате, привести пример языка где null запрещены, но все же есть Option. У нас там сейчас небольшой спор о том что в стандартной библиотеке нет Option.

В стандартной библиотеке есть Option!

В JDK 8 :)

Ага, а примеры про Email и Shopping Cart этот чувак взял из доклада Scott Wlaschin - Domain modelling with the F# type system.

Ну давай сыль

Или у Котлина своя стандартная либа для портабельности в JS и native?

https://skillsmatter.com/skillscasts/4971-domain-driven-design-with-scott-wlaschin

В JDK 8 :)

Котлин работает на JVM 1.6 (а это 99% андроидов) и JS/Native

В этом докладе показывались типы с ограничениями. Я понял так, что это какой-то нугет. Но моих способностей хватило лишь на это http://www.nuget.org/packages/FSharp.DependentTypes/0.0.1-beta . Что-то версия вообще не радует.

Или я не то нашел?

@Kleidemos То.

Или у Котлина своя стандартная либа для портабельности в JS и native?

Есть своя маленькая, состоящая в основном их экстеншен-методов

@Kleidemos И есть библиотека получше и поживее, кажется.

Сек.

для чего практически применяется F#?

веб? мобилы? может десктоп? ?

для чего практически применяется F#?

В целом можно делать всё то же, что на C#.

А, нет, не лучше и не живее. https://github.com/Lleutch/ConstraintTP

для чего практически применяется F#?

А для чего практически применяется VB? ?

В целом можно делать всё то же, что на C#.

можно то можно, вот только делают ли... на C# специалистов еще можно найти (хоть тоже не бог весть сколько), а вот про F# мало кто вообще знает

@DarkByte2016 Вы хотите об этом поговорить?

Ну давай сыль

Вот это получше будет: https://fsharpforfunandprofit.com/ddd/

А для чего практически применяется VB? ?

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

можно то можно, вот только делают ли... на C# специалистов еще можно найти (хоть тоже не бог весть сколько), а вот про F# мало кто вообще знает

Это как сравнивать Java и Scala, от первой уже никто не получает удовольствия.

веб? мобилы? может десктоп? ?

Многие вещи лучше удаются (работа с БД и XML с тайп-провайдерами), кое-где мы отстаём за счёт C#-first тулинга (ну, в WPF, например). Я делаю всякие сайтики на F#. С десктопом туговато по вышеописанным причинам; с мобилами получше (благодаря тому, что Xamarin и с C# не ахти как работает, и сложно было бы сделать хуже на F#), но я не слышал про тех, кто бы мобилы на F# программировал.

За выходные портировал свой бложик с Freya + OWIN + IIS на Freya + .NET Core + Kestrel. Впечатления положительные. Ionide + VS Code хорошо работает с F#-проектами на Core.

А исходников нет? :)

А исходников нет? :)

Пф, разумеется есть. https://github.com/ForNeVeR/fornever.me/pull/54

@fvnever @DarkByte2016 Ну, под мобилы forki пишет.

Fable + React Native.

В продакшене.

А исходников нет? :)

В общем-то порт на неткор вот тут весь: https://github.com/ForNeVeR/fornever.me/pull/54/commits/8930d9e7209cd05cec668165f8dff1aae474801c Эта версия компилируется. А дальше я уже переархитектурить начал, и из-за этого дифы стали совсем красные, хоть изменения и тривиальные.

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

Только вот какого-то хера, он до сих пор на 7 месте TIOBE. И MS его развивает и поддерживает Roslyn.

Только вот какого-то хера, он до сих пор на 7 месте TIOBE. И MS его развивает и поддерживает Roslyn.

MS его не развивает.

Roslyn-то есть, да. А вот VB до сих пор не работает на неткоре, например.

Ну то есть светлого будущего у языка не видится.