Типа все значения в модуле объявленные за пределами функции теста не доступны внутри теста?

Как видишь из сообщения об ошибке, проблема только со значениями ссылочных типов.

Не инициализируются.

Сделай через класс.

Как рекомендует документация, сетап для тестов делается в конструкторе.

@Dolfik Суть в том, что модули компилируются в статические классы.

А как с ними xunit работает — не особо-то освещено в документации.

@Dolfik Еще обрати внимание на Expecto.

Там есть поддержка .Net Core, текущая версия v5.0.0-rc1.

Привет!

Привет!

Привет :)

Я не понимаю, какого чёрта в .Net Core и .Net Framework поведение xUnit разное

Это поведение test runners различается, похоже. Причём тот, который в .NET Core, ведёт себя лучше — помогает обнаружить шаринг данных между тестами.

@Dolfik Кстати, а ты чего FsUnit не пользуешься?

Там есть хелперы для xunit.

А я чото тоже не пользуюсь. Надо будет посмотреть.

FsUnit вроде в неткор не поддерживается

Поддерживается, я прям токо что заглядывал в сорцы.

Хотя с вот этим конкретным пакетом почему-то всё грустно, он выходил аж в 2015 году: https://www.nuget.org/packages/FsUnit.xUnit/

Непонятно, нужен он или нет.

Хотя с вот этим конкретным пакетом почему-то всё грустно, он выходил аж в 2015 году: https://www.nuget.org/packages/FsUnit.xUnit/

Где?

Там нет .Net Standard

https://www.nuget.org/packages/FsUnit/

Вот тут есть.

Это nUnit

Нет, это FsUnit!

А, и правда, отчего-то в описании написано, что там для NUnit поддержка... непонятно это всё, надо разобраться.

Просто это единственный пакет, который обновлялся с 2015. Может, они там уже все части в него собрали?

Надо написать мейнтейнерам.

Неа, не собрали. Скачал пакет — в нём тухло всё.

Я спрошу у Сергея в слаке.

Просто в репозитории поддержка кора есть.

У нас тут как раз админы чинят VPN на работе, мне делать нечего :)

Да, давай.

А я на зачёте.

А, можно не спрашивать. Вот, есть ишуй: https://github.com/fsprojects/FsUnit/issues/102

Надо закрыть!

https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1032-fsharp-in-dotnet-sdk.md

Обсуждали уже?

@Dolfik Так что, поправишь тесты или тебе PR прислать? :)

@Dolfik Так что, поправишь тесты или тебе PR прислать? :)

Как хочешь :) Я только вечером смогу поправить

Мб имеет смысл сериализацию/десериализацию в один тест засунуть?

Обсуждали уже?

А что изменится то? Новые шаблоны добавят что-ли?

А что изменится то? Новые шаблоны добавят что-ли?

Тулинг Райдера больше не будет сходить с ума от отдельного FSharp.Sdk

Ну то есть решение по большей части политическое (сделать F# прям в основном SDK), но в нашу пользу :)

А мне нравится идея для каждого проекта доставлять компилятор.

Но если все будет стандартно и интегрированно, наверное, будет получше работать везде.

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

Хотя чорт его знает. Это и правда RFC, надо думать над этим.

Привет!

Все таки я не пойму, тут есть кто хотя бы слышал про “свободные (free) монады”? Или это все фишка Scala и за ее приделами никому не интересная (я в общем тоже не фанат)?

я слышал

это изначально фишка хаскеля ) как и большинство остальных фишек

но я тоже в основном в scala-комьюнити видел упоминания и интерес

Я слышал в контексте Haskell про них.

Посмотрел https://youtu.be/M258zVn4m2M (Рунар их только и продвигает) - вроде сами по себе они не сложные, но вот комбинирование разных не так очевидно. Хотя и не совсем понятно, в чем конкретно их преймущество? Они конечно позволяют писать “не чистый” код смешанный с pure-functions, но нужно ли это…

После эффектов в Idris все эти free-monad'ы выглядят костыльно

Надо всё-таки от проблемы идти. Есть такая-то проблема (скажем, композируемость эффектов или что-нибудь в этом роде). Мы хотим её решить, и применяем следующую конструкцию.

Все таки я не пойму, тут есть кто хотя бы слышал про “свободные (free) монады”? Или это все фишка Scala и за ее приделами никому не интересная (я в общем тоже не фанат)?

слышал, но не понял нифига :)

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

сначала нужно изобрести проблему, а потом к ней термин и решение

кому нибудь в жизни нужны были хотябы монады? как часто?

Да, нужны. Каждый день — списки, option, IO :)

сначала нужно изобрести проблему, а потом к ней термин и решение

Вот, я так же думаю, они решают проблему которую сами и создали. А нужно было разделять просто pure и НЕ pure (ну очевидно же), как на учит МаркСиманн

Эмм, как бы хаскелл вообще pure язык

ERROR: S client not available

Там нет выбора такого

unsafePerformIO

Ну это не в счёт

unsafePerformIO

Java тоже вроде с GC, а возьмешь sun.misc.Unsafe и пожалуйста: ручное управлению памятью и возможные сикфолты

Я кстати в Scala чатике спрашивал про freemonads, так там никто своих не пишет вообще, а максимум юзают готовые библиотечки (для работы с БД) использующие это принцип.

Java тоже вроде с GC, а возьмешь sun.misc.Unsafe и пожалуйста: ручное управлению памятью и возможные сикфолты

Ага, поэтому и не в счет

Я кстати в Scala чатике спрашивал про freemonads, так там никто своих не пишет вообще, а максимум юзают готовые библиотечки (для работы с БД) использующие это принцип.

doobie то?

doobie то?

именно его (ну это я так понял что он для БД, сам конечно не юзал)

именно его (ну это я так понял что он для БД, сам конечно не юзал)

я пока не раскурил его :(

так а почему именно фри монады интересуют?

Модное слово нынче :)

ну просто монады - это понятная прагматичная вещь :)

Хайп очередной

а фри монады это намного менее понятная и менее прагматичная вещь

Хайп очередной

что именно?

так а почему именно фри монады интересуют?

В общем для расширения кругозора, с обычными все более менее понятно. Да хотелось для примера их заюзать в Android приложение на Kotlin (может еще стать на хабре накатать и получить инвайт…)

https://youtu.be/H28QqxO7Ihc

Привет :)

На уровне Advanced Beginner никаких free monad нет. :)

Заинтересовался тут checked-арифметикой, и смотрите как круто можно на F# сделать: http://stackoverflow.com/a/2273682/2684760

@fvnever Надо улучшить.

Чтобы оно не исключения бросало, а отдавало Result, например.

Заврапать!

@fvnever Ну, и Checked тип сделать дженерик.

Чтобы оно не исключения бросало, а отдавало Result, например.

Завернуть и либу и залить на нюгет!

Выглядит так классно, что мне кажется что кто-то это уже сделал.

@fvnever Думаешь в нюгет нужно?

@fvnever Думаешь в нюгет нужно?

Нюжно!

@fvnever https://hastebin.com/vuhemiyibe.pas

Насчет врапания во что-либо можно еще подумать.

Просто исключения в CE -- не самая приятная штука. :)