Попробовал слегка эти языки. Первые заключения:

Похожего очень много: система типов, кавычки, type inference, и т.д. F# кавычки не так активно выделяет, что есть минус.
Синтаксис гораздо приятнее в Nemerle, если знаешь Ruby/C#/Java и не знаешь OCaml.
Поддержка в Visual Studio лучше у F# + есть интерактивный режим: очень большой плюс.
Поскольку F# MicroSoft'овский и по нему уже начали писать 3 книги, вполне может оказаться в результате популярнее Nemerle. С другой стороны, по Lisp есть немало книг, а вот популярности

На данный момент сравнение популярности: f# programming language -- 513.000 хитов, nemerle programming language -- 98.900.
В западной блогосфере вижу упоминания F# намного чаще.

Скорость пока не сравнивал, но F# ей очень гордится.

У кого какие мнения?


Еще один язык, в котором есть type inference и макросы -- Boo, но я думаю с ним подождать до появления поддержки generics. boo programming language -- 1.160.000 хитов. Есть ли по нему какие-нибудь соображения?