Списки

Ты хотел сказать "мапы".

Ты хотел сказать "мапы".

Ну в частном случае да

А, fable онли типы. Ну мб

Это потеря типизации.

Это потеря типизации.

Да не, они там сделаны через DU

Вроде бы достаточно двух ;;

Да не, они там сделаны через DU

Кто "они"?

Вроде бы достаточно двух ;;

Да-да, но без этой пары оно не может стартануть.

Я про то, что представление модели через мапу — это потеря типизации.

Да-да, но без этой пары оно не может стартануть.

Так оно всегда так работало :D

Кто "они"?

Такие типы. type MyJsType = | FieldOne | FieldTwo of String let myFunc (a: MyJsType list) = ...

А, ну да. Усечения все же нет)

Подскажите еще, это правильная либра? Было дело её требовал EF, но при добавлении потом ругается на IDisposable и прочие странности #r @"C:\Program Files (x86)\Microsoft SDKs\NuGetPackagesFallback\NETStandard.Library\2.0.1\build\netstandard2.0\ref\netstandard.dll" если нужны подробности - выложу

Подскажите еще, это правильная либра? Было дело её требовал EF, но при добавлении потом ругается на IDisposable и прочие странности #r @"C:\Program Files (x86)\Microsoft SDKs\NuGetPackagesFallback\NETStandard.Library\2.0.1\build\netstandard2.0\ref\netstandard.dll" если нужны подробности - выложу

Не понятно

Не понятно

Минутку тогда

По моему нестандарт все ещё не работает с fsi, могу ошибаться

Не работает вроде как, да

Только неткор скорее

Только неткор скорее

thnx

Только неткор скорее

Тогда как тестить EF через FSI?

По моему нестандарт все ещё не работает с fsi, могу ошибаться

В обозримом будущем будет или можно не надеяться?

Будет.

Будет.

Через #if можно как-то экранировать часть кода от FSI?

Через #if можно как-то экранировать часть кода от FSI?

Да, там есть #if Interactive (надо на мсдн посмотреть)

Через #if можно как-то экранировать часть кода от FSI?

Не знаю, я редко пользуюсь FSI.

https://twitter.com/dsyme/status/980894364372295683

Да, там есть #if Interactive (надо на мсдн посмотреть)

#if INTERACTIVE - https://docs.microsoft.com/en-us/dotnet/fsharp/tutorials/fsharp-interactive/index#differences-between-the-interactive-scripting-and-compiled-environments

#if INTERACTIVE - https://docs.microsoft.com/en-us/dotnet/fsharp/tutorials/fsharp-interactive/index#differences-between-the-interactive-scripting-and-compiled-environments

Надо будет добавить туда пример с INTERACTIVE, а то инфа только на SOF об этом была

Надо будет добавить туда пример с INTERACTIVE, а то инфа только на SOF об этом была

не плохая идея, еще вот тут полезные советы - http://brandewinder.com/2016/02/06/10-fsharp-scripting-tips/

@neftedollar кажется, ты спрашивал про сериализацию и все такое. Ща обнаружил, что в FSharpLu.Json Compact.serialize иногда выкидывает NullReferenceExcpetion при сериализации DU.

самое смешное, что, похоже, срабатывает просто поймать исключение и сделать повторный вызов. Цирк

самое смешное, что, похоже, срабатывает просто поймать исключение и сделать повторный вызов. Цирк

магия

самое смешное, что, похоже, срабатывает просто поймать исключение и сделать повторный вызов. Цирк

Надо починить. :)

@neftedollar кажется, ты спрашивал про сериализацию и все такое. Ща обнаружил, что в FSharpLu.Json Compact.serialize иногда выкидывает NullReferenceExcpetion при сериализации DU.

Да

самое смешное, что, похоже, срабатывает просто поймать исключение и сделать повторный вызов. Цирк

А ишуй есть?

А ишуй есть?

Ещё не проверял, чуть позже займусь этим

Прост по моему есть шанс, что и в кэтч это сломается.

https://twitter.com/torhovland/status/980917135609401349?s=12

https://twitter.com/torhovland/status/980917135609401349?s=12

?

This combines the power of a templating engine with the familiarity of HTML, like JSX, and is much less alien than the view languages used in Elm and Fable. - плюсую

Алекс ^

?

This combines the power of a templating engine with the familiarity of HTML, like JSX, and is much less alien than the view languages used in Elm and Fable. - плюсую

Не нравится описывать UI прямо в коде?

Не нравится описывать UI прямо в коде?

то что оно не пытается собой view рендеринг заменить)

Неа, моя голова не может соединить два мира воедино) Скорее всего потому что теряются подсветки, привычные тэги и отступы, автокомплиты для тэгов, пропертей и классов.

Прост по моему есть шанс, что и в кэтч это сломается.

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

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

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

интересно, а есть какие-то дополнительные сложности при разработке тулов для F#?

или это особенности студии :)

https://twitter.com/torhovland/status/980917135609401349?s=12

слишком много null'ов

интересно, а есть какие-то дополнительные сложности при разработке тулов для F#?

Думаю, тут проблема неуловимого Джо, но я не настоящий сварщик

интересно, а есть какие-то дополнительные сложности при разработке тулов для F#?

Сложности есть, конечно. Ну, я не про эту ситуацию, а в общем. Есть такие места: - порядок файлов - отладка в computational expressions - стектрейсы в async - отладка цепочек функций - провайдеры типов и их статические параметризуемые методы Это из того, что я вспомнил. Может @auduchinok подкажет еще.

Думаю, тут проблема неуловимого Джо, но я не настоящий сварщик

это который нафиг никому не сдался?

это который нафиг никому не сдался?

Ага

Ага

Контекст?

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

молюсь на райдер, даже сейчас он удобнее студии

Почему-то на него мало кто переходит)

не лагает, не вылетает ничего внезапно

молюсь на райдер, даже сейчас он удобнее студии

Что это?

молюсь на райдер, даже сейчас он удобнее студии

А у меня ему не нравятся проекты, созданные студией. :(

Что это?

jetbrains rider

А, ещё не хватает подсветки в подсказках, а также показа в подсказках конкретных типов, которые подставляются вместо обобщённых

jetbrains rider

Не бесплатное -.-

Не бесплатное -.-

Для опенсорса - бесплатное

а студия бесплатная и не для опенсорса

Не бесплатное -.-

eap

EAP - есть не всегда и глюковать имеет право официально

EAP - есть не всегда и глюковать имеет право официально

Выбирай, или без глюков или бесплатно.

Есть ещё vscode.

Лично у меня райдер и так есть

Джентльмены, нет ли у кого желания сделать доклад на московском .NET митапе?

А про что докладывать-то?

А на ваш выбор - чем хотите поделиться и что распространить.

Я ща, конечно, пишу наркоманский сериализатор... но его еще надо до ума довести

А то уже митапов скоро десятка 2 а по F# ни одного доклада не было. Непорядок

А у меня ему не нравятся проекты, созданные студией. :(

Репортите, всё репортите!

Я ща, конечно, пишу наркоманский сериализатор... но его еще надо до ума довести

Доклад на тему «Как я сериализовал до 30к наркоманов в секунду с помощью F#» :)

Репортите, всё репортите!

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

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

Знаешь, я бы сначала зарепортил, а потом уже разбирался!

Доклад на тему «Как я сериализовал до 30к наркоманов в секунду с помощью F#» :)

Ну типа того

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

Необязательно что в Rider прям всё тебе починят, но смогут хоть диагностику такой ситуации улучшить по итогам.

Просто хочу, по факту, написать объект->AST->произвольный формат

Знаешь, я бы сначала зарепортил, а потом уже разбирался!

"Репорт всему голова" "Репорт сделал — разбирайся смело"

Ладно, надо сформулировать проблему и зарепортить, наверное

А то в студии всё без проблем открывается

Буду рад посмотреть на репро. ;)

А у меня ему не нравятся проекты, созданные студией. :(

А, ещё не хватает подсветки в подсказках, а также показа в подсказках конкретных типов, которые подставляются вместо обобщённых

Буду рад посмотреть на репро. ;)

Кстати, баги на гитхабе лучше не писать же? А то там ишуи открыты

Мда, удивительное рядом

ДЛя выражения f a b сначала будет вычислено b

Потом применено к f a

В целом всё так. В случае с райдером ещё сложность в том, чтобы протащить всё из FCS в решарпер, и чтобы при этом оно не стало сильно медленнее. Из интересных сложностей: в других языках обычно можно по синтаксису понять, во что скомпилируется декларация символа хотя бы на уровне "это будет класс" или "это будет интерфейс" и это позволяет строить кэш по синтаксическим деревьям, а потом уже поверх него и информации из сборок и другого кода можно выводить остальное, например, считать типы в методе или базовые классы. В F# же часто нельзя понять, что получится в скомпилированной сборке, и это усложняет анализ F# <-> C# в случае с решарпером и вообще интеграцию с его кэшами. Например, до резолва/вывода типов неизвестно, во что скомпилируется тип, ведь, например, атрибут [<Class>] может порезолвиться во что-нибудь другое, если его переопределить. Или нельзя синтаксически отличить Union с одним случаем и без | от аббревиатуры типы. Если делать честный резолв, то это будет крайне медленно. В Rider/VS/Ionide есть эвристики, которые работают достаточно хорошо, но их все можно сломать. Ещё из похожего, например, нельзя понять, будет ли функция из F# методом или свойством в сборке. Проблема в выводе типов и порядке файлов. На текущий момент нельзя быстро узнать что-либо про произвольный файл, пока не пройдёт проверка типов для всех предыдущих файлов в проекте (что бывает достаточно долго), а прикрутить сюда инкрементальную инвалидацию, со слов Дона, будет довольно сложно.

Сложности есть, конечно. Ну, я не про эту ситуацию, а в общем. Есть такие места: - порядок файлов - отладка в computational expressions - стектрейсы в async - отладка цепочек функций - провайдеры типов и их статические параметризуемые методы Это из того, что я вспомнил. Может @auduchinok подкажет еще.

ДЛя выражения f a b сначала будет вычислено b

Воу!