OberonCore

В последней (четвертой) версии .NET и, соответственно, в VS2010, появились средства спецификации параметров, пред- и постусловий, инвариантов классов и всего того, что с подачи Бертрана Майера называется Code Contracts или Design by Contract.
...
Но вот как быть с такими промышленными языками, как Eiffel и Scala? С введением поддержки контрактного программирования C# практически полностью "покроет" почти все преимущества Эйфеля, а то немногое особенное, что еще есть в этом языке, вряд ли окажется причиной выбора этого языка для реальных проектов. И сейчас не очень понятно, какова популярность Эйфеля как такового (в индексе TIOBE он сильно ниже первых пятидесяти языков), а его присутствие в мире .NET кажется совершенно эфемерным...

Спасибо. Интересно.
Но мне думается, что более перспективным был бы путь TopSpeed. Не в один язык все впихнуть, а разрешить в рамках одной программы писать на разных языках. В одной среде, да еще с интерпретатором это легко слделать. Зато можно каждый отдельный язык оптимизировать по полной.

А так получается монcтр, как в комментах заметили, типа PL-1.

Jensen & Partners International образовалась выходом из Borland International в 1987 году[1], когда Нильс Йенсен (один из основателей Borland International и вице-президент) вместе с группой разработчиков покинул ее[2] из-за расхождения во взглядах на качество компиляторов. В то время президент компании[3] выпустил, чтобы не отставать от Microsoft, очередную версию компилятора Си, весьма недоделанную.

JPI вышли на рынок с уникальным продуктом, аналогов которому нет до сих пор - TopSpeed JPI. Идеалогия этого продукта заключалась в том, что под единой интегрированной средой разработки были объединены такие языки программирования как Assembler 80x86, Pascal, Modula-2, Ada, C, С++, Fortran. Оптимизирующие трансляторы, объединённые единым мощным компилятором-кодогенератором, общими библиотеками, общим компоновщиком и общей интегрированной пользовательской средой с отладчиком. Группа разработчиков могла работать над единым проектом на разных языках.

TopSpeed JPI выполнял генерацию кода для трех операционных сред: DOS, Windows, OS/2.

Не в один язык все впихнуть, а разрешить в рамках одной программы писать на разных языках. В одной среде, да еще с интерпретатором это легко сделать. Зато можно каждый отдельный язык оптимизировать по полной.

То есть путь .NET'а...

http://ru.wikipedia.org/wiki/JPI:

Не, у дотнета рантайм узковат. Языки под него либо будут все одинаковыми, либо неэффективными.

VB.NET, F#, Nemerle, Boo

Не знаю про экзотику, а VB.NET - те же яйца что и C#, только вид сбоку.

Так F#-пу может расширяемые собственнозначные записи и собственозначные массивы с модульность может и не нужны?

Вообще, вначале рекомендую ознакомиться с F#.

Ну, т.е. объединяла в себе однотипные и родственные языки. Если бы они сюда умудрились бы скажем sml или ocaml красиво увязать, или там prolog какой, тогда имело бы смысл посмотреть.

Мне лично жалко моего времени на обрубок OCaml.

В моей области (встроенные приложения) пользы от ФЯ нет.
Впрочем, готов пересмотреть свою позицию, если кто-нибудь здесь внятно объяснит пользу от F#, вместо барственной "рекомендации".

Так F#-пу может расширяемые собственнозначные записи и собственозначные массивы с модульность может и не нужны?

Мне лично жалко моего времени на обрубок OCaml. Сейчас много разных бездумных экспериментов с ФЯ (мода).
В моей области (встроенные приложения) пользы от ФЯ нет.
Впрочем, готов пересмотреть свою позицию, если кто-нибудь здесь внятно объяснит пользу от F#, вместо барственной "рекомендации".