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

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

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