Привет.

Привет.

yo! в очередной раз сажусь за изучение fs, но в этот раз я не брошу все на полпути)

yo! в очередной раз сажусь за изучение fs, но в этот раз я не брошу все на полпути)

?

на самом деле, весьма занимательное чтиво!

Очень! (из текста про Сайма): The author had implemented several strongly-typed language, proof and compilation systems as part of his PhD thesis work using various ML dialects and toolchains including SMLNJ, MoscowML, Caml-light and OCaml. Сделал несколько языков для своей кандидатской лол.

MoscowML?

MoscowML?

есть ещё KreMLin :D https://github.com/FStarLang/kremlin

Рука кремля ☭

MoscowML?

Скорее всего аллюзия к Moscow mule - коктейль есть такой https://en.m.wikipedia.org/wiki/Moscow_mule

Скорее всего аллюзия к Moscow mule - коктейль есть такой https://en.m.wikipedia.org/wiki/Moscow_mule

Moscow ML was created by Sergei Romanenko at the Keldysh Institute of Applied Mathematics, Russian Academy of Sciences, Moscow,

Это не все авторы, но я думаю всё же здесь название в честь города)

Привет.

https://www.youtube.com/user/drogozhny Поделились интересным курсом

Привет.

Добрый вечер

Это не все авторы, но я думаю всё же здесь название в честь города)

Ну, коктейль тоже не в честь коровы :))))

Добрый вечер

9.8?

https://www.youtube.com/user/drogozhny Поделились интересным курсом

omg, каким образом?)

Привет.

Привет.

Привет

omg, каким образом?)

Секрет

Секрет

Даладно

Привет!

Привет!

Привет!

Привет.

@neftedollar покупай

Ребят, подскажите, какой шрифт используется для красивых стрелочек, а то, поговаривают, что я быдло :D

FiraCode

благодарю

Ребят, подскажите, какой шрифт используется для красивых стрелочек, а то, поговаривают, что я быдло :D

Iosevka

https://twitter.com/DiEsmerio/status/1046931695356862471

Надо бы и свою тудушку портировать на Fable 2. :)

Привет.

Надо бы и свою тудушку портировать на Fable 2. :)

А там что-нибудь изменилось во внешнем апи?

А там что-нибудь изменилось во внешнем апи?

Я только про отсутствие сериализации из коробки знаю.

наверное

Видимо у меня кеш не обновился, я все еще вижу сообщение

Видимо у меня кеш не обновился, я все еще вижу сообщение

На мобиле такое часто бывает.

Я только про отсутствие сериализации из коробки знаю.

И это тянет за собой Result, на выходе парсера. Говнокода прибавилось.

И это тянет за собой Result, на выходе парсера. Говнокода прибавилось.

Обе либы так работают?

Обе либы так работают?

Обе кто? Фэйбл2 точно. Элмиш.Бридж у меня с бетой не заводился, поэтому я бросил эту затею. Но вчера блин такой мегаапдейт был. Надо опять пробовать.

Обе кто? Фэйбл2 точно. Элмиш.Бридж у меня с бетой не заводился, поэтому я бросил эту затею. Но вчера блин такой мегаапдейт был. Надо опять пробовать.

Я про жсон. Есть две библиотеки, Thoth и чототам симплежсон(?).

Thoth

Симпл не пробовал

Ок.

Привет!

Ок.

Не знай как там с симплом - есть Thoth.Giraffe который упрощает конфиг на бэкэнде. Но на фронте надо руками декодеры создавать. Ну, или я не всё правильно понял

https://www.youtube.com/watch?v=G12EtZcgqkU

https://www.youtube.com/watch?v=G12EtZcgqkU

Спасибо, ушёл смотреть)

Спасибо, ушёл смотреть)

очередной хеллоу ворлд же, недавно был mongo + f#

очередной хеллоу ворлд же, недавно был mongo + f#

Там вполне практическое применение с пояснением для новичков. Либа написанная самим автором, кстати.

очередной хеллоу ворлд же, недавно был mongo + f#

Всем чатом мемчики выбирали

https://www.apress.com/us/book/9781484239995

2018 ?

https://www.apress.com/us/book/9781484239995

я не в теме, а с этого сайтца можно на почту/на дом доставочку организовать?

Я не знаю.

балин, электронную что ли покупать :(

Due: December 19, 2018

балин, электронную что ли покупать :(

Free shipping for individuals worldwide

Всем чатом мемчики выбирали

?

?

Решающее слово было за тобой. Я не претендую )

Привет, и опять я со своим CQRS( Чтобы чекнуть уникальность поля вот такой план: Command (save) -> Read (unique constraint exeption) -> Command (save UserCancelCreation). Это вообще не сильно наркомански?

Привет, и опять я со своим CQRS( Чтобы чекнуть уникальность поля вот такой план: Command (save) -> Read (unique constraint exeption) -> Command (save UserCancelCreation). Это вообще не сильно наркомански?

не понятно

не понятно

сохранить в ES событие создание - несмотря на неуникальность, навесить на read-базу уникальный индекс, если база бросит исключение, то создать еще одну команду, отменит создание юзера (флаг какой-нибудь тыкнет, что он удален). При выборе агрегатов игнорировать всех удаленных

сохранить в ES событие создание - несмотря на неуникальность, навесить на read-базу уникальный индекс, если база бросит исключение, то создать еще одну команду, отменит создание юзера (флаг какой-нибудь тыкнет, что он удален). При выборе агрегатов игнорировать всех удаленных

Зачем тебе неуникальные помеченные как удалённые? Почему нельзя игнорить?

Зачем тебе неуникальные помеченные как удалённые? Почему нельзя игнорить?

просто забить на них? если их не будет рид базе, то и запроса к ним не будет?

просто забить на них? если их не будет рид базе, то и запроса к ним не будет?

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

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

я хотел их разделить: реальный кейс удаление и отмену создания

Я у себя так же делаю почти на инсерте, только эксепшн игнорю) есть недостаток что в логе останется неправильная команда

Привет

Привет

Симметрично!

сохранить в ES событие создание - несмотря на неуникальность, навесить на read-базу уникальный индекс, если база бросит исключение, то создать еще одну команду, отменит создание юзера (флаг какой-нибудь тыкнет, что он удален). При выборе агрегатов игнорировать всех удаленных

я не настоящий сварщик, но имхо в этой схеме плохо, что рид база определяет валидность состояния. ES — если речь про ивент стор, должен быть единственным и достаточным источником правды. А рид базу можно грохнуть и создать заново. Почему сразу при вставке в ES не валидировать?

я не настоящий сварщик, но имхо в этой схеме плохо, что рид база определяет валидность состояния. ES — если речь про ивент стор, должен быть единственным и достаточным источником правды. А рид базу можно грохнуть и создать заново. Почему сразу при вставке в ES не валидировать?

А как?