ну да ладно, читаю значит дальше книгу =)

ну да ладно, читаю значит дальше книгу =)

Какую?

Какую?

Expert F# 4

Я в глаза долблюсь, или как

{"y":{},"z":["xyz","zyx"]}

Что не так с этим JSON?

Unexpected end when deserializing object.

С этим JSON всё в порядке.

Каких-нибудь невидимых символов в конце нет?

Хотя эта библиотека всё равно не умеет DU конвертить

А в F# наследования записей нет?

Нет

А в F# наследования записей нет?

За такие вопросы у нас во дворе... ?

Ну типа если есть 20 записей, и у них 4 поля повторяются, нужно для каждой прописывать?

Можно использовать вложенные записи - выносите общие поля в тип (если они логически объединены) и радуетесь. Или обычные классы

Обычно используют camelCase и добавляют I. Но когда ты один, ты можешь не делать(но по моему стоит)

OK, в общем решил “не лезть в бутылку”, буду делать по стандартным стаилгайдам.

Как в F# проверить что что-то НЕ равно null, без паттернматчинга? На X <> null компилятор ругается, что устарело.

OK, в общем решил “не лезть в бутылку”, буду делать по стандартным стаилгайдам.

Лучше не шути про бутылку

Как в F# проверить что что-то НЕ равно null, без паттернматчинга? На X <> null компилятор ругается, что устарело.

not isNull(X)

Наверное так

Funogram уже наверное больше 2к строк

Записи для инлайн режима в 500 строк вышли ?

not isNull(X)

Странно у меня vscode как раз на этот код ругался (по этому и пришел с вопросом).

Странно у меня vscode как раз на этот код ругался (по этому и пришел с вопросом).

<> - deprecated, а not isNull что?

if not (isNull X) then

Вот так надо

Записи для инлайн режима в 500 строк вышли ?

Отсутсвие тайппровайдеров

Лучше не шути про бутылку

Здесь люди интилигентные

Отсутсвие тайппровайдеров

Мб простотпофиксить тацппровпйдер для .net core?

Мб простотпофиксить тацппровпйдер для .net core?

Там вроде зависимости?

Там вроде зависимости?

Не понял

Мб простотпофиксить тацппровпйдер для .net core?

Если это так легко, почему ещё не пофиксили?

Ура! Я посмотрел "болл он хилл!"

Если это так легко, почему ещё не пофиксили?

Я не знаю как фиксить, но из разговоров тут, я так понял надо убрать Emit метод

Не понял

https://github.com/Microsoft/visualfsharp/issues/1496#issuecomment-244315047

Вот их ответ

Короче, я думаю ещё долго их ждать

https://github.com/Microsoft/visualfsharp/issues/1496#issuecomment-244315047

Спасибо. А мб тогда сделать на .net standard 2 Alfa/beta?

Ура! Я посмотрел "болл он хилл!"

А Марка Симана (у него вроде оригинал болонхил)? https://youtu.be/US8QG9I1XW0 https://youtu.be/cxs7oLGrxQ4 https://youtu.be/Ux5wUSOsEfc

Спасибо. А мб тогда сделать на .net standard 2 Alfa/beta?

re-architect the fundamental F# compiler API used by type providers to no longer use any F# quotations or any extensible reflection (inheriting from Type/MethodInfo/FieldInfo/... types). While this would be architecturally cleaner and more independent in many ways, it is also a big undertaking, and would require significant corresponding changes to the ProvidedTypes programming model for authoring type providers. This model uses extensible reflection in many places, e.g. here and here

Они пока сейчас это допилят, потом пока перепишут тайп провайдеры, потом пока пофиксят баги, пройдёт год)

А Марка Симана (у него вроде оригинал болонхил)? https://youtu.be/US8QG9I1XW0 https://youtu.be/cxs7oLGrxQ4 https://youtu.be/Ux5wUSOsEfc

Не. Тот который в issue с видео

Они пока сейчас это допилят, потом пока перепишут тайп провайдеры, потом пока пофиксят баги, пройдёт год)

Печаль

Но я могу ошибаться :)

.Net Core развивается и быстро и в то же время медленно :)

if not (isNull X) then

if x |> isNull |> not then

if x |> isNull |> not then

У меня короче :)

Это тот момент, когда короче - круче ?

let notNull x = x |> isNull |> not if notNull x then

Шах и мат

Или теперь добавь это в стандартную библиотеку :)

[AutoOpen] module Tools

if x <> null then

Шах и мат :)

Не. Тот который в issue с видео

А можно ссылочку? Так часто тут упоминают, что заинтриговали

Как в F# проверить что что-то НЕ равно null, без паттернматчинга? На X <> null компилятор ругается, что устарело.

))))

Правда, не знаю зачем они так усложнили, типа функциональнее что-ли

А можно ссылочку? Так часто тут упоминают, что заинтриговали

https://github.com/fsharplang-ru/fsharplang-ru.github.io/issues/17

https://github.com/fsharplang-ru/fsharplang-ru.github.io/issues/17

спасибо

let notNull x = x |> isNull |> not if notNull x then

Даёшь (почти) point-free: let notNull x = (not << isNull) x

Да и то, там переменную пришлось вводить из-за того, что резко приключился monomorphism restriction :(

Жалко, что в CLI нельзя делать generic-полей.

@fvnever А хочется? Для чего?

@fvnever А хочется? Для чего?

Я хотел написать так: let notNull = not << isNull

Без этой фишечки жить, безусловно, можно. Это не то чтобы очень большое преимущество :)

@fvnever Я про реализацию. Как бы это выглядело с generic-полями?

Буквально вот так и выглядело бы. Я бы хотел, чтобы let notNull = not << isNull компилировалось в генерик-поле или генерик-переменную (которую можно всё равно свести к генерик-полю) типа FSharpFunc<T, bool> where T : class.

Впрочем, меня бы устроило, если бы оно компилировалось и как let notNull x = (not << isNull) x, но это несколько частное решение.

Буквально вот так и выглядело бы. Я бы хотел, чтобы let notNull = not << isNull компилировалось в генерик-поле или генерик-переменную (которую можно всё равно свести к генерик-полю) типа FSharpFunc<T, bool> where T : class.

Это можно было бы устроить, кстати, генерируя генерик-классы или структуры (типа тех, что используются для замыканий). Но я боюсь, что это будет весьма комплексной доработкой для очень узкого ряда частных случаев, и потому никто такой RFC не одобрит :(

Я бы не стал использовать System.IO.BinaryFormatter для таких зажач, где размер имеет значение. Скорее даже вообще не стал бы использовать его в качестве сериализатора. Используй ASN.1, Protobuf, FsPickler

Как в F# проверить что что-то НЕ равно null, без паттернматчинга? На X <> null компилятор ругается, что устарело.

Наткнулся на информацию о том, почему компилятор ругается. Смотри: https://stackoverflow.com/a/6818329/2684760 TLDR: операторы сравнения работают через HashCompare.GenericEqualityIntrinsic<T>, и это значительно медленнее, чем какой-нибудь Object.ReferenceEquals. Вероятно, isNull использует быструю реализацию, и поэтому рекомендуется к применению.

Как в F# проверить что что-то НЕ равно null, без паттернматчинга? На X <> null компилятор ругается, что устарело.

obj.ReferenceEquals(x, null)

obj.ReferenceEquals(x, null)

Это сравнивание по ссылке

Это сравнивание по ссылке

это ты к чему?

Это сравнивание по ссылке

Но оно же и нужно. С null только по ссылке и сравнишь :)

Как в F# проверить что что-то НЕ равно null, без паттернматчинга? На X <> null компилятор ругается, что устарело.

А чем не устраивает not (isNull x)

Но оно же и нужно. С null только по ссылке и сравнишь :)

Ну в данном кейсе да :)

В любом случае. Структуры данных F# (рекорды, DU, списки, мапы, множества и т.п.) не могут быть null, как и структуры net. null - это только boxed объекты, и они представляют из себя ссылки, а не значения.

Хотя если получить десериализованный объект из какой-нибудь глуповатой json.net, то он запросто будет null

если был сериализован не так, как ей надо

Я бы не стал использовать System.IO.BinaryFormatter для таких зажач, где размер имеет значение. Скорее даже вообще не стал бы использовать его в качестве сериализатора. Используй ASN.1, Protobuf, FsPickler

Там размер не большой. Все в порядке

Там размер не большой. Все в порядке

Я на случай, если кто-то прочёт и захочет воспроизвести твой опыт - чтобы не зыбыл включить женскую логику при необходимости

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

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

ASN?

https://ru.wikipedia.org/wiki/ASN.1

https://github.com/Microsoft/visualfsharp/pull/3116

Смотрите ка, JetBrains подключились контрибьютить в visualfsharp.

О, они этим славтся. Уже mono починили по ходу пьесы, исправили там пачку хардкорных багов

@nevoroman очень вдохновился твоим выступлением про data science. Ты там упоминал о том, что использовал sqlProvider в качестве "ORM" через либу написанную на F#, подключая её в C#. А такой вопрос - у меня вот есть mongoDB. Там, как я понял, BsonProvider я смогу использовать как ORM для монги ? Нашел вот такую статью, но не совсем понял смысл. https://www.mongodb.com/blog/post/enhancing-the-f-developer-experience-with-mongodb

Кстати, по поводу сериализаторов. Есть еще https://github.com/ServiceStack/ServiceStack.Text

@the_RAMZAY А BsonProvider умеет подключаться к Mongo?

@gsomix вот этого я не знаю.

точно знаю, что к bson файлам может =)

http://visemet.github.io/FSharp.Data.Bson/library/BsonProvider.html

Да, только обычные bson файлы умеет.

@nevoroman очень вдохновился твоим выступлением про data science. Ты там упоминал о том, что использовал sqlProvider в качестве "ORM" через либу написанную на F#, подключая её в C#. А такой вопрос - у меня вот есть mongoDB. Там, как я понял, BsonProvider я смогу использовать как ORM для монги ? Нашел вот такую статью, но не совсем понял смысл. https://www.mongodb.com/blog/post/enhancing-the-f-developer-experience-with-mongodb

You must not use this driver in production, as it is still under development and is in no way supported by MongoDB

Это древняя статья.