random crazy thought

[wizzard]

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

Comments

[justy-tylor.livejournal.com]

Такое возможно только в динамическом языке. Когда вычисления на типах ничем не отличаются от вычислений на остальных данных. Но накладывается требование, что _почти_ во всех местах типы должны быть вычислены на этапе компиляции.

[wizzard]

>> только в динамическом языке

Да-да-да... Но в динамических языках на типы любят ложить болт :(

Будем думать... Надо бы найти какого-то пораженного хаскелем головного мозга программиста, с которым можно было бы много пообсуждать про типы и в частности динамическую работу с ними IRL, т.к. у меня теоретического бекграунда не хватает ((