Я знаю, что эта ветка старая, но так как я наткнулся на эту, я просто хотел прокомментировать мои причины. Я изучаю F # просто для профессиональных возможностей, поскольку .NET имеет большой вес в категории компаний, которые доминируют в моей области. Функциональная парадигма расширяется в использовании среди более количественных и ориентированных на данные компаний, и я хотел бы быть одним из первых, кто пришел к этой тенденции. В настоящее время не существует сильного функционального языка, который бы полностью и безопасно интегрировался с библиотекой .NET. Я на самом деле пытался портировать некоторые .NET из кода на Лиспе, и это действительно неприятно, потому что FFI поддерживает только примитивы C, а для взаимодействия .NET требуется конструкция 'interface', и хотя я знаю, как это сделать в C, это действительно огромный боль. Было бы действительно хорошо, если бы Lisp проделал лишнюю милю в своем следующем стандарте и потребовал класс c ++ (включая виртуальные функции w / vtables) и тип интерфейса в стиле C # в своем FFI. Может быть, даже добавить стиль интерфейса Java тоже. Это позволило бы обеспечить полную совместимость с библиотекой .NET и сделать Lisp сильным конкурентом в качестве крупномасштабного языка. Однако с учетом сказанного, происхождение из Lisp-фона сделало изучение F # довольно простым. И мне нравится, как F # делает все возможное, чтобы предоставлять типы, которые вы обычно видите, как работает количественный тип. Я считаю, что F # был создан с учетом математической работы и сам по себе имеет значение по сравнению с Лиспом.