Про "дизайн" встроенных малых языков на C#.

[thesz]

(ниже я буду использовать квадратные скобки для параметров шаблонов)

В основном, "дизайн" сводится к построению добрососедских отношений с системой типов C#. Некоторые возможности системы типов достаточно приятны, и ими можно удобно пользоваться.

На работе я сделал прототип вот такого подъязыка для запросов к нашей БД:
string name = "b1

Comments

[djuffin]

>>На работе я сделал прототип вот такого подъязыка для запросов к нашей БД

Я думал я один такой ненормальный :) Тоже похожую штуку сделал.

var GetInternalGroups = SQL.SELECT.DISTINCT[InternalGroups.Id]()
.FROM()
.JOIN(InternalGroups.PrincipalId == AccessRecords.PrincipalId)
.JOIN(AccessRecords.ACLId == DataObjs.ACLId)
.WHERE(DataObjs.Id == "DataObjectId".AsIntParam());

var DeleteSystem = SQL.DELETE.FROM .WHERE(DataObjectAttachments.DataObjectId == DataObjectAttachments.DataObjectId.AsParam

[thesz]

У нас есть framework, который проще в использовании, но медленный. Вот я и решил. ;)

Как я понимаю, WHERE сделан через перегрузку операторов?

А в квадратных скобочках Select находится проекция, так?

[djuffin]

Да, WHERE через перегрузку. Это позволяет:
1. Не пускать мусор в выражения (только колонки, параметры и константы)
2. Избавиться от a =>

Да, квадратные скобки this[] - это проекция. (Круглые после них - это опечатка)

Каждая таблица - класс. Каждая колонка - поле.

[djuffin]

Делалось, что-бы:
1. Не пользоваться ORM, а иметь чистый SQL (Все скрипты генеряться один раз при старте). У нас просто не все операции хорошо ложаться на манипуляции с отдельными объектами.
2. Одновременно поддерживать: MS SQL Server, MS SQL Compact, Oracle, MySQL.
(Кстати, с поддержкой MS SQL Compact есть проблемы у многих ORM)
3. Добавить поддержку разных типов баз в систему, где все скрипты уже написаны, для MS SQL Compact.

[w00dy]

> Преобразование кода сводится к перебору всех типов

Проще сделать визитор, который будет один на всех и обходить свой Expression (или не свой, если ты Expression Tree используешь)

http://blogs.msdn.com/b/mattwar/archive/2007/07/31/linq-building-an-iqueryable-provider-part-ii.aspx
смотреть на ExpressionVisitor

[bik_top]

>> Преобразование кода сводится к перебору всех типов
> Проще сделать визитор, который будет один на всех и обходить свой Expression

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

[thesz]

И это тоже не так прозрачно.

[thesz]

Это не так прозрачно, натурально.

[swizard]

Окстись, без типизации ведь сразу катастрофа и погибель :)

[nealar]

И они так строго проверяются!

[metaclass]

Теперь осталось это завернуть в LINQ/IQueryable и посмотреть что выйдет )

[thesz]

Оный IQueryable я не понял после трёх дней внимательного рассмотрения, так что увольте.

Может, кто ещё сделает, я этим заниматься не буду. ;)

[w00dy]

почитай тот цикл статей на которые я ссылку бросал. Там всё достаточно просто и прозрачно получается.

[thesz]

Нет, это не просто и не прозрачно.

Я это читал, если что.

[bik_top]

> ниже я буду использовать квадратные скобки для параметров шаблонов

Не очень понятно. Ты же всё равно копируешь код из редактора, заменяя проблемные символы? В чём преимущество «Ctrl+H „<“ „[“» над «Ctrl+H „<“ „<“»?

(Прошу прощения за многократные правки.)

[thesz]

Я пишу его руками. Код на работе, я дома.