生成F＃代碼

Question

T4是C＃/ VB.NET的「官方」代碼生成引擎。但F# doesn't support it（這是從四月，但我找不到任何新的提及）。那麼生成F＃代碼的好方法是什麼？

編輯：

我想要實現在F＃2-3 finger trees。我已經在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 

爲了避免邊界檢查等

但隨後手寫上的數字和節點的所有功能變得更加困難，這是更好地生成它們。而T4式的方法看起來非常完美...

Answer 1

由於F＃不支持自定義工具在Solution Explorer中，你可以把你的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

這取決於你想要做什麼。雖然這是一種不適合用於生成模板的方法，但通常我會建議在F＃中爲代碼生成或面向語言的編程任務設計一個「組合器庫」[1]。我們的想法是設計一些組合器來表示您嘗試生成的代碼，從組合器生成F＃源代碼文本，然後通過代碼DOM編譯代碼。

然而，通常簡單地爲您的組合器編寫解釋器而不是生成代碼會更容易。

在F＃組合子的例子有：

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

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

Answer 3

我大多與羅伯特同意（雖然肯定有某些情況下使用F＃中的T4可能非常有用）。無論如何，也許這將是有趣的知道爲什麼你想生成F＃代碼？那麼我們可以建議一些典型的功能解決方案:-)。

Answer 4

我環顧了各種選項，結束了我使用* .fsx腳本使用TextWriter與fprintf寫出生成的F＃代碼的相對簡單和靜態的代碼生成需求。

其實我使用FParsec一些分析工作，但因爲我不是從一些其他的語法爲F＃轉換，將兩片幾乎沒有什麼彼此。