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

Ну вот нет в жизни счастья. Выводимые типы в Julia сами по себе дались нелегко (там ведь была ещё цель эффективной реализации), а если в получившееся месиво ядра добавить ещё и pattern matching общего вида, сохраняя при этом и multiple dispatch с эффективной реализацией -- ничего хорошего не будет. В Julia последовательно убирали все фичи, которые требуют (или для которых быстро не смогли придумать) задумчивости. Это была приоритетная дизайн-цель. Они честно пишут, что решают проблемы вычислительной математики в первую голову, а проблемы computer science оставляют решать другим командам. Тем не менее, я удивляюсь уже тому, что им таки удалось сделать в области решения "задач computer science" при текущей постановке вопроса. Там довольно интересные обсуждения для того, что ожидается в ближайшее время (оно всё там не слишком революционное, но из видео хорошо понятно, насколько сложно сделать просто нормальный язык): https://youtu.be/xUP3cSKb8sI Собственно, на базе Julia можно было бы пробовать вернуться к проблематике SysMoLan -- как только удастся понять, как это можно будет связать с ontology learning.