F# опубликован под свободной лицензией

>Ага, только вот с 66 года решили ОС и вообще софт решили тырить из США.

Есть и такая страничка в этой истории. Но что интересно, глупые партейцы не только разрушили свою прграммерскую отрасль, но и укрепили полновесным долларом компании США. Всегда бы так воровали...

>А по-твоему бывает динамическая строгая типизация? А статическая слабая?

Ясен хрен. Смотрим сюда http://ru.wikipedia.org/wiki/Python

Типизация данных:    строгая, динамическая

Предлагаю это поделие мелкомягких бойкотировать. Ибо по определению, все что от мелкомягких - зло.

бывает динамическая строгая типизация? А статическая слабая?

According to common usage, Python and Scheme are both «strongly typed» as well, since they guarantee that all type errors in programs are detected. This is in contrast to «weakly typed» languages like Perl or K&R C, in which many type errors are silently ignored. That is, all four combinations of strong/weak and static/dynamic typing are possible

Почему вы решили, что я этого не знаю? Может быть, Сократ - мой кумир ;)

> Для встраеваемых устройств тоже на хаскеле писать будешь?

http://hackage.haskell.org/package/atom

Только обычно на устройствах мало памяти, мало флешки и либ по минимуму. Да и уже все сишником там захвачено много лет назад. Так что выбор не велик.

> Только обычно на устройствах мало памяти, мало флешки и либ по минимуму. Да и уже все сишником там захвачено много лет назад. Так что выбор не велик.

Atom is a Haskell DSL for designing hard realtime embedded software. Based on guarded atomic actions (similar to STM), Atom enables highly concurrent programming without the need for mutex locking. In addition, Atom performs compile-time task scheduling and generates code with deterministic execution time and constant memory use, simplifying the process of timing verification and memory consumption in hard realtime applications. Without mutex locking and run-time task scheduling, Atom eliminates the need and overhead of RTOSs for many embedded applications.

Почему по ссылкам не ходите?