Встраиваемый язык для .NET, или как я переспорил Эрика Липперта

Круто! Языки программирования — моя любимая тема.
Язык выглядит красиво и юзабельно. Желаю вам продолжать работу над своим детищем.

var a = 1
while(a < 10)
    if(a % 2 == 0)
        print "{0} is even" a
    else
        print "oops, {0} is odd" a
    a = a + 1

После чтения данное кода, отказ от фигурных скобок мне показался сомнительным.

Основная задача — переписать парсер с F# на C#

Перепишите лучше с использованием Nemerle.Peg.

А почему вариант с CCI не рассматривался?

Спасибо, интересная подборка средств разработки компиляторов под .NET.

К сожалению, предполагаемая у меня архитектура (которая только в начале обдумывания) очень далека как от Вашего подхода, так и от начала реализации.
Но есть пара идей, которые считаю достойными реализации:
— модель уровней доступа, основанная на модели взаимодействия открытых систем
— компилятор компиляторов с модульным описанием языка habrahabr.ru/qa/38765/

Вывод — даже великие иногда ошибаются, а на Reflection.Emit можно сделать полнофункциональный компилятор. Правда, придется как следует попариться.
У System.Reflection.Emit есть один фатальный недостаток — он генерирует код только под ту версию рантайма, под которой запущен компилятор. С этим в частности столнулись разработчики упомянутого выше Nemerle. В результате нужно иметь отдельную версию компилятора под каждую версию .NET
Для встаеваемого языка это не важно, но для компиляторов «обычных» языков, типа C#/F#/VB.NET — это серьезный минус.

Еее, DynamicDataDisplay! :)

А каким компонентом выводятся графики в примере?

Тут бы ещё и про Наггум написать :)

Статья однозначно замечательная, спасибо.

Ох тыж, у меня прямо сейчас задача для LENS есть!

А мне довелось делать скриптовый движок в одном проекте на базе .Net Framework 2.0,
синтаксис простейший — как у формул в Excel (собственно, в ячейках xls-документа и предполагалось записывать выражения),
но для удобства написания «невнутриэксельных» скриптов добавлены операторы:
* . (точка, передаёт левое выражение в качестве первого аргумента вызываемой справа функции);
* .. (двоеточие, аналогично, только вторым аргументом);
* а также объявлений массивов "{… }" и выборки по индексу "[n]".

Формируется «шитый» код с вызовом «пользовательских» функций (синхронные/асинхронные, с побочными эффектами и без, макрофункции, всё реализовано через вызовы функций), поддерживается «ленивость», «асинхронность» (на основе собственного «велосипеда» по мотивам шаблона AsyncEnumerator), «прозрачное» применение скалярных функций к IList-векторам (например, "{1,2,3}.sin()"). Язык безтиповый, все значения передаются как Object.
Все именованные значения вычисляются однократно и «лениво», константные выражения вычисляются при «компиляции», имеется базовая поддержка замыканий.

Из недостатков: .Net 2.0 (в 4-м можно было бы использовать встроенные возможности для реализации асинхронности), сложный код писать трудновато без интеллектуального редактора, также приходится ограничивать параллелизм семафорами, иначе память кушается много))

Изначально задумывался «движок» для построения отчётов/организации вычислений на основе шаблонов/алгоритмов, описанных в Excel-документе, без использования ПО Excel по следующему принципу: на основе Excel-шаблона внутрипрограммно формируется скрипт для построения отчёта, после чего «компилируется»/запускается, запрашивает требуемые параметры и делает отчёт/вычисления в фоновом режиме.

Пример «внешнего» скрипта:

(
	let(endTime, NOW()),
	let(begTime, endTime-366*3),
	let(strFmt, '{0}' & CHAR(9) & '{1}' & CHAR(9) & '{2}' & CHAR(13) & CHAR(10)),
	let(semaObj2Txt, Semaphore(256)),
	let(wells,
		ReadRaw(treeAction,'spr@all@full_well')
			.RawToFullWellTable()
			.SelectRows('fieldId=110001')
			.RowAsDict()
	),
	let(fLPV, func(well,paramInfo, LoadParamValues(treeAction, well.FullWellItemToWellPath(), paramInfo, begTime, endTime) )),
	_ForEach(
		paramInfo, ParamStorage(),
		(
			let(outFile, NewFileStreamWriter('Out\' & paramInfo & '.tsv')),
			outFile.StreamWriterAppendText('WellId' & CHAR(9) & 'Time' & CHAR(9) & 'Value'),
			_ForEach(
				well, wells,
				_EvalWithSemaphore
				(	semaObj2Txt,

					let( wellId, well['wellId'] ),
					fLPV(well, paramInfo) .. let(vector),
					IF(	AND( NotNull(vector), COLUMNS(vector)>0 ),
						(
							outFile.StreamWriterAppendText( _JoinStr(CHAR(13) & CHAR(10) & wellId & CHAR(9), vector) ),
							COLUMNS(vector)
						),
						0
					)
				)
			)
			.SUM()..let(sum),
			outFile.StreamWriterClose(),
			sum
		)
	)..let(result),
	{
		start(), 
		COLUMNS(result), SUM(ISNUMBER(result)), SUM(result), MAX(result), MIN(result), 
		_TimeOf(result).MAX()._TimeToStr(), _TimeOf(result).MIN()._TimeToStr(), 
		result.stop() 
	}
)

let description = if(age < 21)
«child»
else
«grown-up»

Это аналог нижеследующего выражения?
var description = age < 21? «child»: «grown-up»;

Мне кажется что вряд ли стало более удобочитаемо.

У меня вопрос любителям. Как видно, на планете есть тысячи языков, которые компилятся в одни и теже машинные коды. Меня всвязи с этим волнует вопрос: есть ли какой-то более-менее общий язык, который легко компилится во все эти тысячи?
Пояснение: я пишу специфическую библиотеку, например, алгоритм, который нужен редко и малому кругу лиц, а все эти лица пишут свои хорошие программы на всяких разных языках, получается что алгоритм придется кодить на всех тех языках, а я не хочу. Я хочу написать его на самом примитивном языке с самыми примитивными фичами, но так, чтобы по нажатию кнопки всё расплодилось в тысячу исходников на разных языках.