Я просто указал на слово поведение вот и все

Спасибо, этот пост разделяет (и агитирует за) мой подход к вопросу интерфейсов. 👍

За подход но не определение

Означает ли это высказывание, что Вы не понимаете связи между денотационной и операционной семантикой? Или только связи между понятием "поведения" и операционной семантикой?

Хотя я больше думал про аксиоматическую семантику когда писал "певедение".

(ко)спаны обычно привязывают ко всяким взаимодействующим transition systems, это типа такой формализм для склеивания чёрных ящиков

Это была шутка на тему code/text spans, но всё равно спасибо за поянение. 😊

Transition systems звучит как что-то применимое к интерпретаторам/рантаймам... 🤔

к конкурентным :)

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

От того и возникает вопрос про опыт. Да и важен не столько срок, сколько качество

Про "сколь угодно простое описание сколь угодно сложной задачи". 😁

С проектированием сложных систем с кучей зависимостей у меня проблем нет.

Другое дело - мало опыта в обработке больших массивов данных.

А как насчёт проектирования сложных систем с малым количеством зависимостей? 😉

Нет проблем)

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

я НЕ имел ввиду отсутствие модульности и т.п.

Это была шутка. 😊

Сделать ось.

Менеджер может подумать что это опечатка в слове 'кусь'

Коллеги, добрый день. Подскажите пожалуйста, судя по вашему опыту, OCaml подходит для написания больших компиляторов?

Т.е, серьёзные проекты со сложной компиляцией на нем можно делать? (Я знаю что Coq написан на OCaml если вы про это)

Что значит "сложная компиляция"?