https://hastebin.com/iruvoyusit.fs Можно этот код упростить как то?

https://hastebin.com/iruvoyusit.fs Можно этот код упростить как то?

Через bind, я думаю.

Царьпалис новую статью написал. https://eiriktsarpalis.wordpress.com/2018/02/05/property-testing-generic-programs/

Народ, я почти добил свой перевод (сейчас в моей приватной репе на vsts). Может форкнем репу FFF&P? Чтобы я сразу на нее PR кинул.

У него достаточно много ссылок на другие материалы на его же сайте. Можно будет не править навигацию.

Народ, я почти добил свой перевод (сейчас в моей приватной репе на vsts). Может форкнем репу FFF&P? Чтобы я сразу на нее PR кинул.

А он хостит переводы?

А он хостит переводы?

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

А переводов я у него не видел.

@neftedollar @fvnever

@neftedollar @fvnever

А ты что думаешь? Давайте форкнем.

https://youtu.be/ez8t1tDqHEk воу! @shwars берёт интервью у Сайма! ЪЪ

https://youtu.be/ez8t1tDqHEk воу! @shwars берёт интервью у Сайма! ЪЪ

Ага, для онлайн курса про F#.

Ну, я там видел.

Теперь все увидят, ссылка из F# Weekly :)

А ты что думаешь? Давайте форкнем.

Давайте.

Ок, а какую репу-то? :)

Скажите репу, я форкну в комьюнити.

https://github.com/swlaschin/fsharpforfunandprofit.com

Тебе лишь бы пофоркать!

@Kleidemos, прошу! https://github.com/fsharplang-ru/fsharpforfunandprofit.com

Ок, сегодня сделаю PR.

В бранч master-ru, пожалуйста.

https://youtu.be/ez8t1tDqHEk воу! @shwars берёт интервью у Сайма! ЪЪ

Интересно, вытащат ли сайма на дотнекст

Интересно, вытащат ли сайма на дотнекст

@nevoroman

@nevoroman

На ближайший нет

На следующий попробую

Интересно, вытащат ли сайма на дотнекст

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

Есть вопрос - кто как хранит логику по валидации моделей? В сишарпе я обычно пишу метод Validate или IsValid в классе модели, с рекордами так не прокатывает, а классы не хочется писать)

как вариант завести модуль для конкретного типа

и да у рекорда можно создать метод ))

и да у рекорда можно создать метод ))

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

Есть вопрос - кто как хранит логику по валидации моделей? В сишарпе я обычно пишу метод Validate или IsValid в классе модели, с рекордами так не прокатывает, а классы не хочется писать)

Можно же в рекорд засунуть методы.

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

Ну, как в сишарпе. Никто не говорил, хорошее это решение или нет, просто возможное :)

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

только выглядит экзотично =)

аа, через with, вижу, спасибо)

Есть вопрос - кто как хранит логику по валидации моделей? В сишарпе я обычно пишу метод Validate или IsValid в классе модели, с рекордами так не прокатывает, а классы не хочется писать)

Есть совет задуматься над тем, чтобы делать невалидные состояния непредставимыми, вот это всё. Но это не ответ, я с этим заранее согласен.

Я делаю десериализацию, а после нее нужно проверить что значения валидные

Я бы в модулях, соответствующих моделям, сделал функции валидации, пожалуй. Методы не всегда хорошо смотрятся.

Но это совет тоже не очень-то толковый, потому что он не говорит, что с этими функциями делать дальше :)

Я делаю десериализацию, а после нее нужно проверить что значения валидные

Ну вот я представляю себе такой код: data // string |> deserialize // Result<Model, DeserializationException> |> validate // Result<Model, ValidationException> Ведь так нас учат гуру, правильно?

да, учат чтобы было так красиво) но что здесь есть validate?)

deserialize то он общий для всех типов, а validate у каждого свой

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

Не уверен что в валидации стоит использовать эксепшены, по крайней мере в F#, и если валидацию ты пишешь сам

Например, сделать функцию, которая этим validate параметризуется. И потом let myModelModule = makeDeserializator MyModel.deserialize MyModel.validate

Не уверен что в валидации стоит использовать эксепшены, по крайней мере в F#, и если валидацию ты пишешь сам

Ну, это я образно описал, используйте дальше что хотите. Да, пожалуй, слово Exception в моём тексте стоит заменить на Error.

Например, сделать функцию, которая этим validate параметризуется. И потом let myModelModule = makeDeserializator MyModel.deserialize MyModel.validate

и так под каждый тип) сишарповский вариант выглядит очень неплохо let model = deserialize str; if (model.IsValid) ..

и так под каждый тип) сишарповский вариант выглядит очень неплохо let model = deserialize str; if (model.IsValid) ..

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

Интерфейс + функция validate выглядят неплохо.

Ну, или SRTP примотать изолентой.

А что, книгу Domain Modelling Made Functional не читали? Там советуют использовать Dto объекты для сериализации, валидацию делать при создании доменного объекта, то о чем Фридрих говорит

ну вот у меня первая строчка это десериализация, а следующая это создание доменного объекта

соответственно между ними нужно его провалидировать)

https://fsharpforfunandprofit.com/posts/serializating-your-domain-model/ Вот тут есть упрощенный вариант. Типа из дто мы делаем доменную модель, но в реальности, из дто и еще парочки других значений. Так что выносить в отдельный метод jsonToDomain с кучей параметров на хочется

как вариант завести модуль для конкретного типа

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

А что, книгу Domain Modelling Made Functional не читали? Там советуют использовать Dto объекты для сериализации, валидацию делать при создании доменного объекта, то о чем Фридрих говорит

Не читали, спасибо за рекомендацию.

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

Имелся ввиду модуль на том же уровне, что и тип.

Не очень понял) Вот у меня есть модуль MyApp.DtoType В нем есть тип DtoType. Тогда возникает проблема как я описал, как их сделать на том же уровне?

type DtoType = ... module DtoType = ...

а что внутри module DtoType?

если функция валидации там, то все равно надо сделать open MyApp.DtoType

в общем, вариант рекорда с with мне понравился, всем спасибо)

А почему нельзя писать DtoType.validate?

Заодно вывод типов подъедет.

Время бросать камни. https://github.com/fsharplang-ru/fsharpforfunandprofit.com/pull/1

А почему нельзя писать DtoType.validate?

потому что не хочется писать DtoType. =) Но впринципе можно

ну и еще минус небольшой, что нельзя вынести в общую для всех логику deserialize+validate (если вдруг захочется)

Время бросать камни. https://github.com/fsharplang-ru/fsharpforfunandprofit.com/pull/1

Ого! Очень круто

Народ, я почти добил свой перевод (сейчас в моей приватной репе на vsts). Может форкнем репу FFF&P? Чтобы я сразу на нее PR кинул.

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

У него два репозитория?!

https://github.com/swlaschin/fsharpforfunandprofit.gitbook

*много мата*

Да, надо форкать тот.

Я собственно его и скачивал в первый раз.

Я вот для своего перевода оттуда форкал

Упс

Щас еще проблемы решал связанные с разницей между ними.

Кто-нибудь, сделайте форк гитбука. Я щас все туда перенесу.

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

А что за gitbook?

Щас еще проблемы решал связанные с разницей между ними.

Момент

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

А что за gitbook?

https://www.gitbook.com/book/swlaschin/fsharpforfunandprofit/details

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

А, типа все переведённые статьи сразу в одну gitbook запихнуть?

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

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

А, типа все переведённые статьи сразу в одну gitbook запихнуть?

А т.е. паблишить только туда? Хоршая мысль, спасибо

Блин, я, видимо, перепутал насчёт японского языка. Это какая-то другая книга с японским переводом была

Блин, я, видимо, перепутал насчёт японского языка. Это какая-то другая книга с японским переводом была

meteorjs

Не, что-то по F#, вроде

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

Да, спасибо

Или это вообще не gitbook была, а просто странички проектов

Но не суть, главное, что gitbook поддерживает верси на разных языках

Ну я тоже что-то встречал по F# на гитбук с японским переводом. Но что не помню.

Момент

Ты же про форк говорил?

https://github.com/fsharplang-ru/fsharpforfunandprofit.gitbook

Сорри, увлекся документацией

https://github.com/fsharplang-ru/fsharpforfunandprofit.gitbook

Еще ветвь master-ru надо бы.

ок

https://github.com/fsharplang-ru/fsharpforfunandprofit.gitbook/tree/master-ru