Generierung von F # -Code

Question

T4 ist die "offizielle" Codegenerierungs-Engine für C#/VB.NET. Aber F# doesn't support it (das ist von April, aber ich konnte keine neueren Erwähnungen finden). Also, was ist eine gute Möglichkeit, F # -Code zu generieren?

EDIT:

I 2-3 finger trees in F # implementieren möchten. Ich habe sie bereits in C# implementiert, also sollte das ein schöner Vergleich sein. Die „Ziffern“ und Knoten des Baumes können als Arrays dargestellt werden, so

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

jedoch die maximale Größe dieser Arrays ist sehr klein, so wäre es schön, haben

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 

um Grenzen zu vermeiden, etc.

Aber dann alle Funktionen auf Ziffer und Knoten von Hand zu schreiben wird schwieriger, und es ist besser, sie zu generieren. Und ein T4-ähnlicher Ansatz sieht perfekt dafür aus ...

Answer 1

Da F # benutzerdefinierte Tools im Solution Explorer nicht unterstützt, können Sie Ihre T4-Dateien in ein C# - oder Visual Basic-Projekt einfügen und deren Ausgabe an Ihr F # -Projekt umleiten. Hier ist, wie Sie es mit T4 Toolbox tun können:

<#@ 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

Es hängt davon ab, was Sie versuchen zu tun. Während es ein Ansatz ist, der nicht wirklich geeignet ist, Vorlagen in der Art und Weise zu erstellen, wie viele T4-Beispiele zeigen, würde ich im Allgemeinen empfehlen, eine "Kombinator-Bibliothek" [1] für Codegenerierung oder sprachorientierte Programmieraufgaben in F # zu entwerfen. Die Idee besteht darin, einige Kombinatoren zu entwerfen, die den Code darstellen, den Sie generieren möchten, indem Sie F-Quelltext aus Kombinatoren generieren und diesen dann über den Code-DOM kompilieren.

Wie oft es auch einfacher wäre, einfach einen Interpreter für Ihre Kombinatoren zu schreiben, anstatt Code zu generieren.

Gute Beispiele für combinators in F # sind:

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

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

Answer 3

ich meistens mit Robert zustimmen (obwohl es sicherlich einige Situationen, in denen mit T4 von F # könnte sehr nützlich sein). Wie auch immer, vielleicht wäre es interessant zu wissen, warum möchten Sie F # -Code generieren? Dann könnten wir vielleicht eine typische funktionale Lösung für das Problem vorschlagen :-).

Answer 4

Ich sah mich nach verschiedenen Optionen um und endete mit meinen relativ einfachen und statischen Codegenerierungsanforderungen mit einem * .fsx-Skript, das einen TextWriter mit fprintf verwendet, um den generierten F # -Code auszugeben.

Ich verwende tatsächlich FParsec für einige Parsing-Arbeit, aber da ich nicht von einer anderen Syntax in F # übersetzen, haben die beiden Teile wenig miteinander zu tun.