F# Weekly всегда есть в нашем канале, если что: @fsharp_news

F# Weekly всегда есть в нашем канале, если что: @fsharp_news

Не всегда, кстати

Как это не всегда!

Как это не всегда!

Последних не было, спасибо, что обратил на это внимание)

https://sergeytihon.com/2018/08/25/f-weekly-34-2018-ionide-reached-1-000-000-of-downloads/

Привет!!

Привет!!

Привет.

Привет.

Какими судьбами?

Какими судьбами?

к тебе можно обратиться по поводу рекламы:?

к тебе можно обратиться по поводу рекламы:?

Нет, у нас реклама не приветсвуется

https://sergeytihon.com/2018/08/25/f-weekly-34-2018-ionide-reached-1-000-000-of-downloads/

Вот только книжки, по ссылкам там, для нас перекрыты :( Syncfusion is a United States company and is subject to US export laws. Consequently, due to your location, we may not allow access to any material on our site. If you believe that this is inaccurate, please contact sales@syncfusion.com Thank you. We are unable to service your request.

Вот только книжки, по ссылкам там, для нас перекрыты :( Syncfusion is a United States company and is subject to US export laws. Consequently, due to your location, we may not allow access to any material on our site. If you believe that this is inaccurate, please contact sales@syncfusion.com Thank you. We are unable to service your request.

Я через VPN кочал.

syncfusion — и правда нехорошие какие-то люди.

Да я счас тоже скачаю, только факт.....

Дожили: для того, чтобы скачать бесплатную литературу, приходится пользоваться VPN :)

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

Просмотрел презентацию про DDD на F# и у меня возникли вопросы... Попробую адекватно их сформулировать

Мы объявляем некоторую систему типов в предметной области с помощью композиции ИЛИ и И

Каждому состоянию назначаем свой тип, его описывающий

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

Тут вроде как просто и понятно

Но возникает ряд вопросов

Но возникает ряд вопросов

Продолжай

Компилятор не позволяет применить некорректное преобразование к типу (логично) - но у нас состояние - это выбор одного варианта из нескольких, по сути произвольный, когда приходит некоторое событие извне это самое "извне" может либо не знать состояния системы, либо намеренно делать неверные действия, так?

То есть надо как-то обрабатывать неверные воздействия и их либо отбрасывать, либо указывать на ошибки, и в таком случае любое преобразование засоряется этими самыми вариантами с ошибками

Как это лечится или не лечится совсем?

Если не лечится, то подъём исключений в общем-то является совсем не плохим решением для обработки некорректных ветвей

(извините за прерывистый поток сообщений - еду в поезде, инет не всегда доступен)

То есть надо как-то обрабатывать неверные воздействия и их либо отбрасывать, либо указывать на ошибки, и в таком случае любое преобразование засоряется этими самыми вариантами с ошибками

Предлагаю прочитать ещё про railway programming

Вопросы какие-то снимет

https://fsharpforfunandprofit.com/rop/

Если бы в C# были нормальные псевдонимы для типов, многие вещи можно было бы легко сделать на нём достаточно красиво...

Предлагаю прочитать ещё про railway programming

Нечто подобное видел, но не в контексте F#

Если бы в C# были нормальные псевдонимы для типов, многие вещи можно было бы легко сделать на нём достаточно красиво...

Без типов сумм нереально

Сумм в смысле ИЛИ?

Ага

Они же достаточно просто на жынериках эмуляются

Я думаю под капотом в F# примерно так же оно и работает

Они же достаточно просто на жынериках эмуляются

На с# можно сделать открытую сумму через общий интерфейс да

Не обязательно

Sum<TA, TB>, сделать один флажок внутри и реализовать операторы преобразования типов

Sum<TA, TB>, сделать один флажок внутри и реализовать операторы преобразования типов

Это костыли, exhaustive pattern matching не получишь.

Да и писать такие типы запаришься

Я не говорю про полное соответствие

Надо сделать только один раз :)

Но поскольку всё равно нету нормального type alias - говорить об этом смысла нет

Надо сделать только один раз :)

Оно выглядит красиво только для sum<a,b> А если там реальный кейс? Sum<SuccessResponse,FailureResponse,TransportTimeout>?

Не, это не про сишарп короче)

Varadic templates хочу :)

А скормить такие типы сишорпу (например на отрисовку или сторонней библеватеке) можно?

А скормить такие типы сишорпу (например на отрисовку или сторонней библеватеке) можно?

Можно. Но лучше не стоит, будет страшно

Данные модели ведь имеют смысл только когда они донесены до пользователя (БД - тоже пользователь)

грубо говоря, отрендерить там

грубо говоря, отрендерить там

Все ок с этим, это просто по-другому.

Я ж не спорю

Ну сериализация типов сумм тоже работает. И в бд кладется (схемлесс или документоориентировання лучше)

А почему в презентациях в объявлениях типов закрывающаяся скобка идёт на той же строке, что и последнее поле? Это так положено или просто для экономии места?

А почему в презентациях в объявлениях типов закрывающаяся скобка идёт на той же строке, что и последнее поле? Это так положено или просто для экономии места?

Так сложилось) ты про это? type A = { Name: string } ?

type A = { x : string; y : int }

Ну это неканоничная запись

Обычно открывающая скобка вместе с первым полем. Закрывающая с последним полем

За канон я беру книгу Expert F# от Сайма

А закрывающуюся можно на отдельной строке лепить? :)

Можно)

Но это какая-то джава получится

Я смотрю в F# каких-то явных разделителей или блоков в коде нету

Или я невнимательно смотрю? :)

Скорей бы до цивилизации из лесу доехать :(

За канон я беру книгу Expert F# от Сайма

Она в PDF в сравнительно свободном доступе имеется?

Она в PDF в сравнительно свободном доступе имеется?

Не знаю. Я просто купил)

Я кстати был неприятно разочарован наличием фигурных скобок в F#, думал отступами всё разрулили

К чёрту отступы

К чёрту отступы

Пишешь код в столбик без отступов?)

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

и явные синхронизируюзие символы в плавилах парсера :D

Всю жизнь считал что скобки это для компилера, не для людей) ну раз кому-то нравится...

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

Насколько они добровольные? Любой код ревью завернет код без отступов. Автоформатер в студии и решарпере добьет отступы сам

Насколько они добровольные? Любой код ревью завернет код без отступов. Автоформатер в студии и решарпере добьет отступы сам

+100. И ещё куча правил через стайл копа сверху

Кода без отступов просто не бывает. Все обязаны писать в одном стиле.

Я вот считаю маразмом иметь И отступы И скобки .

Отступы ты и так обязан писать как все. Так ещё и скобки как дебил расставляешь

Для всеразличных спешл кейсов можно делать так enum CustomerId { BillGates = 1564, VladimirP = 26863 } … If(customer==CustomerId.BillGates) {…}

С такой хренью долго багу искали когда-то. Руки за такие енамы отрывать ))

С такой хренью долго багу искали когда-то. Руки за такие енамы отрывать ))

Детализируйте. Почему не ноги? ?

Из тех кто пишет код с магическими цифирями в ифах?

Детализируйте. Почему не ноги? ?

Без ног можно повторить говнокод. Без рук сложнее :D

Без ног можно повторить говнокод. Без рук сложнее :D

За «говнокод» необходимо отвечать. Какая альтернатива не говнокод?

Из тех кто пишет код с магическими цифирями в ифах?

Из тех кто старается не зашивать бизнес значения в код ( типа ид юзера, и т.п. у нас зашили ид админа из базы :)

В смысле? А как ещё вы отличаете группу «администраторы» от 100500 других групп в организации? Пример кода если можно.