Без заголовка

Modelica выглядит очень интересно. Давно задумывался о том, что неплохо бы иметь декларативную ОО систему, заточенную скорее под моделирование, нежели исполнение. Чтобы на ней можно было к примеру, делать кучу иерархических взаимодействующих экономических моделей, разрабатывая их по отдельности и собирая потом в кучу (кучи). Что-то вроди функционально-логического языка. Моделика выглядит как раз такой системой. Т.е. Хаскел вроде бы подходит, но у него нет логических фич, выражаясь терминами Модилики, у него присутствует казуальность. Есть какие-то хитрые системы реврайтинга, которые имеют такие фичи, но у Моделики достоинство, что она заточено под моделирование, что несомненно плюс.