Положим, у меня 20-40к сущностей, составляющих состояние электросети. Мы можем обновлять их как по одной так и сразу 20к.

Но база умеет атомарность только на уровне документа. А еще она умеет репликацию, но не по порядку записи документа, зараза.

Если я положу все 40 в один документ - тогда нет бонуса при репликации.
Если я положу их раздельно - то нет консистентности. (Может быть она мне и не нужна, это надо подумать)

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

Eventual consistency

Положим, у меня 20-40к сущностей, составляющих состояние электросети. Мы можем обновлять их как по одной так и сразу 20к.

Но база умеет атомарность только на уровне документа. А еще она умеет репликацию, но не по порядку записи документа, зараза.

Если я положу все 40 в один документ - тогда нет бонуса при репликации.
Если я положу их раздельно - то нет консистентности. (Может быть она мне и не нужна, это надо подумать)

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

Сам разбор ни разу не функциональный. Классическая машина состояний, обернутая в функциональный интерфейс. ФП-идиоматичность часто конфликтует с быстродействием и это нужно учитывать, жестко разделяя код, критичный по времени выполнения и код, критичный по сложности/стоимости поддержки.

Хороший пример ФП-парсера - это, внезапно, java.util.regex.Pattern. Входной DSL (строка) преобразуется в иммутабельное дерево (Pattern), которое интепретируется эффективным мутабельным парсером (Matcher)

Сишники просто кастят к большой структуре и проверяют значения полей. Видел варианты сразу с simd.
Но интересно посмотреть на решения такого на fp

Ну вот отказ от ADT - это, имхо, перебор) Концепция а) простая б) полезная в) не эмулируемая традиционной джава-разработкой.

В Java adt это эксепшены))

ADT - это алгебраические типы данных, при чем тут исключения?)

Ну просто в джаве часто исключения юзаются для управления потоком

Даже в джаве это антипаттерн, еще с прошлого века. ADT - это совсем не об этом

Что же тогда большинство известных либ им пользуются?) спринг тот же? Наверное потому что удобно, и экономия не так важна

Что же тогда большинство известных либ им пользуются?) спринг тот же? Наверное потому что удобно, и экономия не так важна

"управление потоком" и "отмена выполнения функции при обнаружении ошибки" - это разные вещи