Поддержка макросов в F#

У Microsoft есть диалект Scheme, который используется внутри команды O365 и имеет расширения макросов, оптимизацию хвостовых вызовов и т. д. здесь Вы можете использовать пакет nuget или просто скомпилировать свою программу из исходного кода (он очень маленький). Хорошо работает и предоставляет хорошие возможности для написания сценариев.

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

Портирование camlp4 - задача нетривиальная. Но это не требуется, пока вы остаетесь в совместимом с ocaml подмножестве F#. Хотя весь процесс потребует некоторой ручной настройки и приведет к определенным ограничениям.

Не совсем. Макросы OCaml усложняются необходимостью различать разные виды синтаксических конструкций (например, определения типов и выражения), поскольку они представлены значениями разных статических типов. Например, Mathematica имеет богатый синтаксис и одновременно мощные макросы.

Хотя я считаю ваше утверждение истинным, из этого аргумента можно сделать один вывод, который мало кто когда-либо делал, так это то, что хороший компилятор для языка, отличного от лиспа, должен иметь в своем компиляторе интерпретатор лиспа :) Затем вы могли бы создать макросистему поверх s выражений, игнорируя специальный синтаксис «реального» языка. Фактически, наиболее близким к этой идее является язык Julia.

У Boo в настоящее время есть макросы (это могло быть не так, когда вы писали).

Возможно. Скорее всего, в сделал есть макросы, когда я это опубликовал, но не было, когда я последний раз проверял (что было задолго до этого сообщения). В любом случае это не имеет значения, поскольку вы можете делать все, что можете с макросами, с открытым компилятором и наоборот.

Просто, к вашему сведению, Dotlist больше не поддерживается (Рич - парень, стоящий за Clojure), поэтому я не думаю, что буду с ним связываться. Имейте в виду, если вам нужна шепелявка, которая не является CL / Scheme, я бы лично использовал Clojure.

По общему признанию, DotLisp немного отстает, но это потому, что он стабилен, работает, и я слишком занят, чтобы загружать свои патчи :-(

Ксронос мне кажется мертвым. Попробуйте ClojureCLR - github.com/richhickey/clojure-clr/wiki

Цитаты просто позволяют вам цитировать код, чтобы получить его представление во время выполнения, а цитаты F# часто даже не позволяют вам этого сделать (например, F# отказывается цитировать <@ a @>). Макросы позволяют делать больше, например изменить синтаксис языка. В F# нет возможности сделать это. F# также не имеет полной CodeDOM, поэтому вы не можете использовать компилятор F# программно. В самом деле, можно сказать, что F# специально разработан для предотвращения такого рода программирования.