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

После того, как я прочитал «Практический общий Lisp», я, наконец, понял, что такое большое дело в макросах, и я искал язык платформы .NET, который поддерживает это. Есть несколько Lisp диалектов для .NET, но из того, что я смог собрать все, либо очень бета, либо отказались. Недавно мой интерес вызвал Clojure, но это для платформы Java, и, возможно, с помощью ikvm он не чувствует себя интегрированным. Особенно, когда вы хотите делать такие вещи, как WPF.Поддержка макросов в F #

Недавно я слышал шепот о F #, я попытался посмотреть документацию, если бы мог найти что-нибудь о поддержке макросов, но не нашел его. Так кто-нибудь знает?

Спасибо :)

источник

2008-09-17 Anders Rune Jensen

Ну, F # основано на OCaml и OCaml имеет довольно extensive macro system. Учитывая синтаксические и семантические сходства F # и OCaml, вы можете переносить поверх макроса Ocaml на F #.

Помимо кражи макросистемы Ocaml, я не знаю о консервированной макросистеме для F #.

источник

2008-09-17 22:26:48

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

Ссылка на это сообщение: (http://www.ocaml-tutorial.org/camlp4_3.10) – theoski

Nope. Нет макросов для F #.

источник

2008-09-17 22:23:45

В качестве замены для макросистемы можно выбрать вычисление выражений в том смысле, что оно позволяет создавать языки определенного типа домена. – BitTickler

но хорошие ужасы Синтаксис в этих примерах OCaml выглядит неясными

Там вы работаете в одной и тот же фундаментальный синтаксический компромисс вы делаете с Lisp. Если вам нужна мощь макросов типа lisp-like, вы склонны либо к синтаксису типа lisp-like для языка, либо ваш синтаксис макросов сильно отличается от вашего обычного синтаксиса ... ничего плохого в любом подходе, просто разные варианты

источник

2008-09-17 23:19:09 simon

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

Nemerle, at http://nemerle.org/, является языком .NET (также поддерживающим моно), который поддерживает множество парадигм функционального программирования, оставаясь визуально близко к C#. Он имеет обширную поддержку макросов.

источник

2008-09-17 23:29:25 ben

Вы просмотрели Boo? Хотя у Boo нет макросов, у него есть открытый конвейер компилятора, который является хорошей альтернативой макросам для синтаксического метапрограммирования.

[EDIT] Как отмечено в комментариях, у Boo есть есть макросы.

источник

2008-09-17 23:58:15

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

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

Это может быть наоборот, чем вы хотите, но знаете ли вы о RDNZL? Это интерфейс функции foerign (FFI), который позволяет вам вызывать библиотеки .NET из вашего кода Lisp.

Они, скорее всего, гораздо менее зрелые, чем любая реализация Common Lisp или Scheme, но есть диалекты Lisp для .NET: L# и DotLisp.

источник

2008-09-19 10:18:47

Точка FYI Dotlist больше не поддерживается (Rich - парень, стоящий за Clojure), поэтому я не думаю, что я бы с ним справился. Имейте в виду, если вы хотите, чтобы lisp-like, который не является CL/Scheme, я бы использовал Clojure, лично. – Runevault

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

Есть два активно развиваются лепечет для .net

IronScheme - на основе DLR реализации схемы

Xronos - DLR на основе порта Clojure

источник

2008-12-12 00:28:33

Xronos выглядит мертвым для меня. Проверьте ClojureCLR - https://github.com/richhickey/ clojure-clr/wiki/ – Justin

Как об использовании F # котировок?

http://tomasp.net/blog/fsquotations.aspx

источник

2010-06-23 11:41:57

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

Недавно я шёпот о F # слуха, я пытался посмотреть документацию, если я мог бы найти что-нибудь о макро-поддержке, но не нашел его. Так кто-нибудь знает?

F # не поддерживает макросы, и маловероятно, что он когда-либо будет.

источник

2010-09-01 13:03:39

Я думал, что должен отметить, что сейчас есть довольно активный порт .NET/Mono от Clojure. Clojure поддерживает макросы стиля LISP, как указано в вопросе.

Как уже говорилось, макросы не поддерживаются в F # на этом этапе (конец 2010 года).

источник

2010-11-07 01:10:35 Justin

В настоящее время я изучаю возможности метапрограммирования в F #. Если мы определяем макросы как текстовый шаблон, который расширяется в код, тогда существуют два очевидных подхода:

T4 шаблоны. Существует реализация для F #: https://github.com/kerams/Templatus
Я видел где-то вызов F # из строк в отдельную сборку, а затем загрузку сборки.

источник

2017-02-18 15:29:21 alehro

ответ

Смежные вопросы