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

Это называется «Saga»

Не нашёл в спеке объяснения вот такой записи let a = struct (2,3) Т.е. мне понятно что она делает, но непонятно можно ли её ещё к чему пришпандорить.

Не нашёл в спеке объяснения вот такой записи let a = struct (2,3) Т.е. мне понятно что она делает, но непонятно можно ли её ещё к чему пришпандорить.

А в fslang suggestions есть?

Value struct создаёт?

Value struct создаёт?

Да

А в fslang suggestions есть?

Ща поищу

Value struct создаёт?

точнее обычный let a = 1,2 создаёт на хипе объект Tuple<int,int> на C# это var a = new Tuple<int,int>(1,2); а вот let a = struct (1,2) создаёт ValueTuple на C# это же var a = (1,2)

А в fslang suggestions есть?

нашёл такое, но оно ничего не объясняет https://github.com/fsharp/fslang-design/blob/master/FSharp-4.1b/FS-1046-consistent-tuple-types.md

всё, нашёл https://github.com/fsharp/fslang-design/blob/master/FSharp-4.1/FS-1006-struct-tuples.md

Как всегда костыли из-за C#!!11

Как всегда костыли из-за C#!!11

Ну так-то до этого стракт туплей не было

Ну так-то до этого стракт туплей не было

Ну скажем так, в F# тупли давно были, но свои. Потом их привели к виду как в C# (когда ещё они не были частью либы и их надо было явно нугетом подключать), а потом C# сделал ход конём и поменял обычные тупли на StructTuple

свои были тупли потому что других не было вообще

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

хммм... функциональщик, думающий об оптимизациях производительности и использовании кучи?

я раньше думал что так не бывает

Бывает

Но это следующий этап

хммм... функциональщик, думающий об оптимизациях производительности и использовании кучи?

мы тут недавно выяснили что F# со спанами в асинке работает лучше C#, так что го на тёмную сторону)

мы тут недавно выяснили что F# со спанами в асинке работает лучше C#, так что го на тёмную сторону)

А C# же по-моему вообще не даёт со всякими стекаллоками работать в асинке

А C# же по-моему вообще не даёт со всякими стекаллоками работать в асинке

Таки да.

Таки да.

"Но не гопак!" - выскакивает из-за угла Айрат)

Я пытался сделать ещё лучше и протащить спан между асинками в том же треде через контекст сихронизации и поинтеры. Неудача меня постигла

Я пытался сделать ещё лучше и протащить спан между асинками в том же треде через контекст сихронизации и поинтеры. Неудача меня постигла

Фига ты жоский

Фига ты жоский

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

Но вопрос тебе на засыпку.

всё было так хорошо

А что будет со стек-фреймом, когда твой тред другой таск возьмёт?)

А что будет со стек-фреймом, когда твой тред другой таск возьмёт?)

ВООООТ

Конинюэйшон другого таска выполнять

хе-хе)

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

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

Шо как бы логично

Ну как бы да. Но мне по началу так не казалось

С другой стороны, если использовать mvar...

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

Типа, камон. Я же свичнулся в тот же тред. Вот мой поинтер, отдай мне падла данные на стеке

Звучит не очень

Типа, камон. Я же свичнулся в тот же тред. Вот мой поинтер, отдай мне падла данные на стеке

- Слыш, тред, видишь поинтер? - Вижу. - Гони мне мой спан, сцука! - Где стекфрейм? - Какой стекфрейм?

Отзвуки тредлокал

Вы stackful корутины что ли хотите?

Да, стекфрейм пропал. Тут ещё момент с хвостовой рекурсией. Надо сделать тред, который вызовет функцию в стекфрейме которой объявить спан. далее эта функция вызовет хвостато рекурсивную асинхронную функцию которая никогда не вернёт. Вся соль этой хвостато рекурсивной функции в том что она будет ждать инвоков в неё но будет иметь доступ к стекфрейму выше и соответственно к спану через поинтер. Победа? победа. Зачем это нужно? Хз

Вы stackful корутины что ли хотите?

Не, просто вторник.

Да, стекфрейм пропал. Тут ещё момент с хвостовой рекурсией. Надо сделать тред, который вызовет функцию в стекфрейме которой объявить спан. далее эта функция вызовет хвостато рекурсивную асинхронную функцию которая никогда не вернёт. Вся соль этой хвостато рекурсивной функции в том что она будет ждать инвоков в неё но будет иметь доступ к стекфрейму выше и соответственно к спану через поинтер. Победа? победа. Зачем это нужно? Хз

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

Ну и плюс твоих стекаллок-кусков будет по количеству тредов.

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

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

сделать сразу мегабайт 50

:D

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

Да, можем

сделать сразу мегабайт 50

Жоска оптимизировал)

Жоска оптимизировал)

!!!1

По сравнению с жавой никто и не заметит!

не, у нас маты можно. Не все одобряют, но можно

По сравнению с жавой никто и не заметит!

Не, вариант с шудулером и офхип памятью круче - ты там можешь под каждую таску аллоцировать буфер. Более того, если таска/джоба холодная, то и аллоцировать не надо. А если она отработала/отменилась/упала, то её буфер почистить и дать кому-то другому!

Не, вариант с шудулером и офхип памятью круче - ты там можешь под каждую таску аллоцировать буфер. Более того, если таска/джоба холодная, то и аллоцировать не надо. А если она отработала/отменилась/упала, то её буфер почистить и дать кому-то другому!

В гопачке можно создавать локальные шедулеры кстати

Но это надо запинить кусок памяти и не давать гц что-либо делать с ним.

https://hopac.github.io/Hopac/Hopac.html#dec:module%20Hopac.Scheduler Можно даже сразу создавать шедулер с воркерами у которых стак по 20мб и всё там крутить)))

20 миллибайт? О_о

- Слыш, тред, видишь поинтер? - Вижу. - Гони мне мой спан, сцука! - Где стекфрейм? - Какой стекфрейм?

А если найду?

20 миллибайт? О_о

ой ну что ты начинаешь

нормально же общались

нормально же общались

Стекзона?

Но это надо запинить кусок памяти и не давать гц что-либо делать с ним.

Вот от этого недостатка кусок стека и свободен

https://habr.com/post/424895/ Уже обсуждали?

Невыразимыми...

Невыразимыми...

все верно)

я так понимаю, что эта статья - часть его книжки по DDD

все верно)

я бы просто написал - Как избавиться от некорректных состояний

ну что это за слово такое...

я бы просто написал - Как избавиться от некорректных состояний

МНе кажется выражает именно то что имелось ввиду. Нелья выразить некорректное состояние

ты можешь сходу сказать - какая это часть речи? :)

прилагательное

угу

но слово всё равно - ужасное :)

а книжка - хорошая

Кто админит F# news?

Вот что меня беспокоило ) в русском - невыразимый - то, что нельзя передать словами. И надо 3 раза заголовок перечитать... ну, по крайней мере мне :)

Тут есть кто?

Тут есть кто?

Здесь все!

Все привет, мне нужна помощь по F#

Всем(

*

Сможете помочь начинающему программеру на F#?