random crazy thought
Mar. 23rd, 2010 11:34 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
wizzardа вот был бы такой язык с мощной системой типов, способной на всякие proof`ы и inference, в духе Haskell или скорее Coq, и генерировал бы он код на чем-то, что бы легко интегрировалось с кровавым ентерпрайзом (Java/C++/Javascript/C#), и решал бы проблему Generation Gap (в смысле, чтобы можно было хинтить компилятору про фиксированные интерфейсы, и\или чтобы при компиляции можно было подгрести старую версию генерированного кода и показать вменяемые ошибки совместимости – цены б ему не было…
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2010-03-24 04:51 am (UTC)no subject
Date: 2010-03-24 03:41 pm (UTC)no subject
Date: 2010-03-24 03:48 pm (UTC)no subject
Date: 2010-03-24 09:01 pm (UTC)я видел компилятор f# в js (не вживую, видел только генерированный код).
но хочется возможность вносить правки и делать обратную трансформацию, а для нее надо компилятор переписать на вот зтом: http://www.seas.upenn.edu/~harmony/