Честно говоря, не вижу смысла гадать, нужно однозначно больше информации, я с таким же успехом могу заявить что на фронт-энд вцепить Pure Python, а на Back-End прицепить к нему расширение, написанное на С, и тоже получится разделение.
Хз чего там Ицмай задумал, так гадать можно до посинения вообще. Тем более, Насколько я помню по обзорам, то Окамл например дрючит С++ на некоторых моментах (по скорости)...
А вообще ИМХО лучше уж сначала хоть какой-то вариант набросать а потом смотреть узкие места и думать как их можно оптимизировать, начать то с чего угодно...