[monolithed]

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

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

<!-- подключаем какой-то шаблон -->
<include _file="some.xhtml" />
<!-- проверяем соответствие параметров параметры URL -->
<if _params="foo=1 | bar=2"> 
      <!-- вызываем какую-то функцию -->
      <function _expr="some_function" /> 
   <else />
      <!-- в зависимости от условия меняем атрибут элемента -->
      <div id="{attr::div-> (tag::parent == 'span') ? 'a' : 'b'}" /> 
</if>
<!-- и т.д. -->

Сама схема если грубо обобщить такая:

[объектные файлы*.so]   — [движок] —   [шаблоны*.xhtml]

1. движок отвечает за сборку всей коробки (подключает .*so (аля *.dll) файлы, шаблоны, логи и пр.)
2. есть *.cpp файлы, в которых содержится логика движка они и правятся (к примеру после добавления нового функционала просто компилируется редактируемый файл, GCC сам определяет в каком файле были изменения и на выходе получаем *.so файл). Т.е. раздельная компиляция....
3. если что-то меняется в шаблонах (в т.ч. условия, запросы к базе ...) перекомпиляция не требуется