Некоторое время назад я писал об искусственном ограничении язы | Of Code & Men

Некоторое время назад я писал об искусственном ограничении языка. Оно используется в Type Driven Development, а в более широком смысле и компиляторами, по сути обозначая границу между статической и динамической типизациями.

Искусственные синтаксические ограничения, однако, никак не спасают от ложных фактов. Возвращаясь к предыдущему примеру, нельзя сказать, что “черное - это белое“, но сообщить о том, что на улице идет дождь, хотя никакого дождя нет, можно запросто.

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

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