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

Я Вам как-то подкидывал ссылку на http://www.impredicative.com/ur/ - стартап нового толка, который делает язык для программирования Веба. Точнее, там один программер, он делает язык Ur, который типа идеальный хост для создания ДСЛей (and the Ur programming language is meant to be the ultimate host for embedded domain-specific languages). А Ur/Web - это конкретный ДСЛ для веб приложений, причем он позволяет избегать кучи проблем в этой сфере. В принципе, его можно адаптировать и для онтологий. Потому как он основан на row types. Грубо говоря, на табличках. Т.е. на факт-ориентированных запиях :). При этом у него хитрый компилятор, который последовательно упрощает программу от higher-order фич (во-многом в суперкомпиляторном стиле).