Мне удалось получить лексер, средство проверки синтаксиса и семантику, и теперь я хочу перейти к генерации промежуточного кода. Проблема в том, что я не знаю, как обрабатывать логические выражения. Я читал кое-что о E.true и E.false. Этот пример...

Я работаю над раскрашивателем кода MSIL (CIL), хотя я не так хорошо знаком с MSIL. Я нашел список всех ключевых слов в Common Language Infrastructure. (командная строка) . Эти ключевые слова включают такие элементы, как add , .file ,...

Я использую System.Reflection.Emit и в какой-то момент хочу создать делегата из MethodBuilder: MethodBuilder fooBuilder = createFooMethodBuilder(); ILGenerator ilGenerator = ... Type delegateType = typeof(DelegateType); LocalBuilder delegateVar =...

Например, у меня есть (list "a" "1" "b" "2" "c" "3") . Теперь я хочу превратить этот список в один "a1b2c3" . Как я могу это сделать? Спасибо.

Я работаю над хобби-перенацеливаемым компилятором C в OCaml, и я создаю его снизу вверх. Пока у меня есть сокращенный аннотированный тип AST: type 'e expr = | Int of 'e * int | Var of 'e * var | Neg of 'e * 'e expr | Add of 'e *...