Генерация кода F #

Question

T4 является «официальным» механизмом генерации кода для C#/VB.NET. Но F# doesn't support it (это с апреля, но я не мог найти никаких новых упоминаний). Итак, что такое хороший способ генерировать код F #?

EDIT:

Я хочу осуществить 2-3 finger trees в F #. Я уже реализовал их на C#, поэтому это должно быть хорошее сравнение. «Цифры» и узлы дерева могут быть представлены в виде массивов, так

type 't FingerTree = Empty | Single of 't | Deep of 't array * (('t FingerTree) array) lazy * 't array 

Однако максимальный размер этих массивов очень мала, так что было бы неплохо иметь

type 't Digit = Digit1 of 't | Digit2 of 't*'t | Digit3 of 't*'t*'t | Digit4 of 't*'t*'t*'t 
type 't Node = Node2 of 't FingerTree * 't FingerTree | Node3 of 't FingerTree * 't FingerTree * 't FingerTree 
type 't FingerTree = Empty | Single of 't | Deep of 't Digit * ('t Node) lazy * 't Digit 

во избежание проверки границ и т. д.

Но тогда все функции на Digit и Node вручную становятся более сложными, и их лучше создавать. И подход, подобный T4, идеально подходит для него ...

Answer 1

Поскольку F # не поддерживает пользовательские инструменты в проводнике решений, вы можете поместить свои файлы T4 в проект C# или Visual Basic и перенаправить свой вывод на свой проект F #. Вот как вы можете сделать это с T4 Toolbox:

<#@ template language="C#" hostspecific="True" debug="True" #> 
<#@ output extension="txt" #> 
<#@ include file="T4Toolbox.tt" #> 
<# 
    FSharpTemplate template = new FSharpTemplate(); 
    template.Output.Project = @"..\Library1\Library1.fsproj"; 
    template.Output.File = "Module2.fs"; 
    template.Render(); 
#> 
<#+ 
class FSharpTemplate: Template 
{ 
    public override string TransformText() 
    { 
#> 
// Learn more about F# at http://fsharp.net 

module Module2 
<#+ 
     return this.GenerationEnvironment.ToString(); 
    } 
} 

#> 

Answer 2

Это зависит от того, что вы пытаетесь сделать. Хотя это подход, который не подходит для создания шаблонов в способе, показанным многими примерами T4, в целом я бы рекомендовал разработать библиотеку «Комбинаторы» [1] для генерации кода или задач программирования на языке в F #. Идея состоит в том, чтобы сконструировать некоторые комбинаторы для представления кода, который вы пытаетесь сгенерировать, генерируя исходный текст F # из комбинаторов, а затем компилируя его с помощью кода DOM.

Однако часто проще было бы написать интерпретатор для ваших комбинаторов, а не генерировать код.

Хорошие примеры комбинаторов в F # являются:

• http://www.quanttec.com/fparsec/
• http://www.codeplex.com/fscheck/

[1] http://en.wikipedia.org/wiki/Combinator_library

Answer 3

я в основном согласен с Робертом (хотя есть конечно некоторые ситуации, когда использование T4 из F # может быть очень полезным). В любом случае, может быть, было бы интересно узнать , почему вы хотите сгенерировать код F #? Тогда мы могли бы предложить некоторое типичное функциональное решение проблемы :-).

Answer 4

Я огляделся по разным параметрам и в итоге получил свои относительно простые и статические потребности в генерации кода, используя скрипт * .fsx, который использует TextWriter с fprintf, чтобы записать сгенерированный код F #.

Я действительно использую FParsec для некоторой работы синтаксического анализа, но поскольку я не переводил с другого синтаксиса на F #, эти две части имеют мало общего с друг другом.