Найс!

The biggest change in this release is the availability of Akka.FSharp on .NET Standard and .NET Core! https://github.com/akkadotnet/akka.net/releases/tag/v1.3.6

The biggest change in this release is the availability of Akka.FSharp on .NET Standard and .NET Core! https://github.com/akkadotnet/akka.net/releases/tag/v1.3.6

Вроде же Akkling уже давно починили, и он был лучше чем Akka.FSharp?

Вроде же Akkling уже давно починили, и он был лучше чем Akka.FSharp?

Там была проблема с сериализатором

Так что щас кошернее Akkling или Akka.Fsharp?

юзаю акку с ~2009-го

Цыц.

Не прощаем, в смысле.

В тему стейт машин- на f# библиотеки есть для их описания?

В тему стейт машин- на f# библиотеки есть для их описания?

Только для шарпа видел

Ну для шарпа и я видел

(я думаю, все говорят про https://github.com/dotnet-state-machine/stateless)

Для F# пока не видал.

Именно про нее

Есть ощущение, что для F# можно сделать значительно более красивое решение, да.

Юзал кого-нить, кстати?

Юзал кого-нить, кстати?

Я юзал для небольшого XAML-компилятора, впечатления в целом положительные.

А то у меня есть задачка, в которую хорошо ложится конечный автомат

Юзал кого-нить, кстати?

@akhanteev тестовое приложение писал вроде

А то у меня есть задачка, в которую хорошо ложится конечный автомат

Пробуй присобачить, да.

Причем работать автомат должен надёжно

Банковский, мать его, софт

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

У них там, вроде как, тесты тоже написаны.

Причем работать автомат должен надёжно

Тесты.

Тесты.

Есть показатели надёжности, которые простыми лобовыми тестами не выявляются.

Есть показатели надёжности, которые простыми лобовыми тестами не выявляются.

Я, конечно же, про property-based.

Можно ещё попробовать на тайплевеле поколдовать.

Ну вот и думаю, как систему типов нормально описать со стейтами

Вообще, пока выглядит так, что целиком систему проще на фшарпе написать вместе с ui

Кто банить будет?

Могу я, конечно

Я, конечно же, про property-based.

До сих пор не разобрался что есть property based и model based :(

Проперти бейзд - когда создаются все возможные наборы моделей

До сих пор не разобрался что есть property based и model based :(

Property = проверка инвариантов программы Model = проверка, что программа работает так же, как и ее упрощённая модель

Все на генерируемых данных.

И, мякотка, с механизмом минификации падающих примеров.

Property = проверка инвариантов программы Model = проверка, что программа работает так же, как и ее упрощённая модель

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

Угу

Кто банить будет?

Этого чувака отправили по адресу в чат с вакансиями, не волнуйтесь за него :)

С первым не совсем понял если честно. Это юнит тест конкретной функции?

С первым не совсем понял если честно. Это юнит тест конкретной функции?

У Влашина есть материал на тему

У Влашина есть материал на тему

Ок, проще прочитать действительно

В тему стейт машин- на f# библиотеки есть для их описания?

Но зачем?

А то у меня есть задачка, в которую хорошо ложится конечный автомат

Взаимнорекурсивные функции вот и решение)

Но зачем?

Если видишь, что задача хорошо ложится на стейт-машину — хочется её так и описать, более формально

Взаимнорекурсивные функции вот и решение)

Слишком много свободы, можно запутаться.

А либа со стейт-машинами потом тебе может, например, нарисовать граф.

А либа со стейт-машинами потом тебе может, например, нарисовать граф.

Ну ок

Граф ты показываешь аналитику, например, и с ним согласуешь

И уверен, что граф на 100% соответствует коду.

Граф ты показываешь аналитику, например, и с ним согласуешь

Продал

Это бывает важно!

(у нас нет-нет да и бывают такие проекты, где реально требуется аналитика с разглядыванием графов и блок-схем)

(у нас нет-нет да и бывают такие проекты, где реально требуется аналитика с разглядыванием графов и блок-схем)

Эти самые диаграммы uml, которые в длину на стену?)

Эти самые диаграммы uml, которые в длину на стену?)

Проекты с UML у меня тоже были, но они не показали своей полезности ни разу.

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

Проекты с UML у меня тоже были, но они не показали своей полезности ни разу.

Слишком много хлопот и мало выхлопа?

Слишком много хлопот и мало выхлопа?

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

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

Ну вот просто представь ситуацию: заканчивается проект, все «веселятся», спешно закрывают баги / открывают новые, пишут код. А дядюшка фон Нёвер, ети его в корень, эту неделю у нас будет (пере)рисовать UML и потом (пере)согласовывать его с проектной командой. Это реально нагоняет уныние.

https://github.com/fsharplang-ru/fsharplang.ru/pull/9 принёс редакционную политику для сайта, всех желающих приглашаю к обсуждению.

лучше бы использовать общепринятый стиль

Seq.collect

это не мощная система типов, а, скорее, элегантная

мощная - в скале и хаскеле

Это про примеры с сайта. ^ http://fsharplang.ru/

да. с главной страницы

надо бы подобрать что-то получше

надо бы подобрать что-то получше

Спасибо, есть идеи?

и "простой код" с ужасный синтаксисом отрибутов - тоже не очень

надо подумать

надо что-то реально цепляющее показать

типа SRTP ;)

надо что-то реально цепляющее показать

Да, мы неделю тут холиварили)

а, тогда сорри.

а, тогда сорри.

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

надо подсмотреть на сайтах модных языков типа Эльма и Идриса

надо подсмотреть на сайтах модных языков типа Эльма и Идриса

было)

:)

ну вы продвинутые блин

У Elm текст, примеры на отдельной странице.

надо подсмотреть на сайтах модных языков типа Эльма и Идриса

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

А вот у Scala как раз есть примеры на главной. https://www.scala-lang.org/

вот так можно

ж)

А на второй — операторы из HOPAC.

да!

щас

стой

не, что-то хопак какой-то красивый попадается