Как определить DSL над C#

Question

Для проекта маленькой ночи я хотел бы написать компонент проверки, который можно использовать в приложении .NET, чтобы выполнить обычную и утомительную проверку объекта, входных параметров и условий сообщения.

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

Поскольку я хотел был бы предоставить что-то, что на самом деле можно использовать, я подумал о предоставлении специализированного DSL (специфического для домена языка). Вопрос в том, какие инструменты я должен использовать для этого?

Я думал о разборе его вручную с помощью регулярного выражения. Но лично я хотел бы иметь что-то более ... полезное.

Итак, что бы вы предложили?

Answer 1

Если вы ищете специально на DSL, взглянуть на проект ANTLR. Мы использовали его в своей компании довольно успешно в прошлом.

Answer 2

Похоже, вы говорите об осуществлении one of .Net 4.0's features, code contracts.

Так что я думаю, мой рекомендуемый инструмент будет VS.Net 2010.

Answer 3

Вещь с DSl заключается в том, что они редко эффективны изолированно. Чтобы быть полезными для написания реального программного обеспечения, вам действительно нужно иметь возможность встроить DSL внутри основного языка. Сравните, например, то, как Linq работает против простого SQL. Другим хорошим примером является XML-литерал в VB. Оба позволяют писать реальный код, в PL общего назначения и взаимно сплетать его с более простым декларативным кодом DSL.

Результат - нечто более мощное, чем автономный SQL или простой XML-редактор.

Недостатком этого, к сожалению, является то, что ни C#, ни VB не предлагают никаких функций метапрограммирования, поэтому единственный способ сделать это для основных разработчиков .net - это создать собственный язык. Если это то, что вы делаете только ради удовольствия, вы можете модифицировать компилятор mono C#, чтобы добавить интересующие вас функции на язык. Другой альтернативой может быть попытка рубина. У этого есть гибкий синтаксис, который позволит Вам уйти с большим количеством сумасшествия. Персоналий, однако, я бы предпочел взломанный подход C#.

Answer 4

Возможно, выберете Building Domain Specific Languages in Boo (Boo - это язык CLR, концепции должны переноситься на C#). Пример проекта: Simple State Machine.

Answer 5

Обратите внимание на Oslo от Microsoft, не уверен, что он делает то, что вы хотите, но я знаю, что вы можете создавать парсеры DSL и указывать грамматики и генерировать библиотеки классов, которые могут анализировать данные на основе грамматики.

Более подробная информация о языке «М» и как использовать его в here

Answer 6

Почему так далеко? Начните с использования дженериков и свободного интерфейса. Начните простую и проделайте это через какое-то производство. Если трение слишком велико, имея дело с плавным интерфейсом, посмотрите на использование DSL.

Answer 7

Вы можете попробовать DSL Tools для Visual Studio.

Answer 8

Вы должны смотреть на Irony проекта на http://irony.codeplex.com/