F#

АльтерНативных это в смысле Линукс? Потому что F# есть только под .NET Framework, который соответственно только под венду

Cross-platform (.NET Framework, Mono)

ps под linuх интересует, конечно же.

Короли и капуста. Морган, Стэнли и подхвостовая рекурсия. Хорошее название для новости. Хотел такую создать но увидел эту ветку и решил сюда запостить. Похоже Луговский объявился со своей хвостовой рекурсией тут: http://weblogs.java.net/blog/rbair/archive/2008/11/javafx_enterpri.html и пишет, что Морган Стэнли переводит парк из 100 000 компьютеров с Java на F# только по одной причине, в .NET есть подхвостовая рекурсия, а в JVM ее нет.

>I am the CEO of a hi-tech company that is migrating to .NET because it is technically superior.. We're not alone: Morgan Stanley are migrating 100,000 machines off the JVM and onto .NET for the same reason (F#)!

Кстати, кто-нибудь объяснит, почему рассказ называется "Короли и капуста", а?

Там даже круче замес: "I am the CEO of a hi-tech company that is migrating to .NET because it is technically superior. If Sun implement tail calls for the JVM, we will surely migrate back." Хренассе у них скорость миграции...

> Кстати, кто-нибудь объяснит, почему рассказ называется "Короли и капуста", а?

Потому что именно о королях и о капусте в нем не сказано ни слова.

Походу там просто Луговски сказки рассказывает в своем стиле. Ну, Морган Стэнли, и все такое

> Походу там просто Луговски сказки рассказывает в своем стиле

И подписывается Jon Harrop? :)

>Похоже Луговский объявился со своей хвостовой рекурсией тут:

Луговский походу становится чем-то типа "Смеющегося человека" из GitS - толпой подражателей без первоисточника.

ну как минимум посмотреть стоит - различия в синтаксисе там не кардинальные, а есть вещи, отсутствующие в ocaml'е - операторы поддержки асинхронных операций, нормальный уникод из коробки, богатая библиотека функций .Net и т.д.

> различия в синтаксисе там не кардинальные, а есть вещи, отсутствующие в ocaml'е

Ну я бы не сказал что различий между ними мало, вот краткий список того, что нет в F# и есть в ocaml:

* Monomorphic types (e.g. '_a)

* Functors

* Structural subtyping

* Polymorphic variants

* Recursive types

* Recursive modules

* Typesetting (the Format module)

* Development environments supporting lex and yacc

* Unix library

* Macros (camlp4)

* Non-int numeric literals in patterns

* Named substrings in lexers