random crazy thought

[wizzard]

а вот был бы такой язык с мощной системой типов, способной на всякие proof`ы и inference, в духе Haskell или скорее Coq, и генерировал бы он код на чем-то, что бы легко интегрировалось с кровавым ентерпрайзом (Java/C++/Javascript/C#), и решал бы проблему Generation Gap (в смысле, чтобы можно было хинтить компилятору про фиксированные интерфейсы, и\или чтобы при компиляции можно было подгрести старую версию генерированного кода и показать вменяемые ошибки совместимости – цены б ему не было…

Comments

[ivan-ghandhi.livejournal.com]

Это Скале ещё работать и работать... но, в принципе-то, в том направлении, нет?

[wizzard]

Возможно. Но. хочется JS (для веба) и возможность править нагенерированное, с отражением изменений "обратно".