Tạo mã F #

Question

T4 là công cụ tạo mã "chính thức" cho C#/VB.NET. Nhưng F# doesn't support it (đây là từ tháng 4, nhưng tôi không thể tìm thấy bất kỳ đề cập mới hơn nào). Vậy cách tốt để tạo mã F # là gì?

EDIT:

Tôi muốn triển khai 2-3 finger trees trong F #. Tôi đã thực hiện chúng trong C#, vì vậy đây nên là một so sánh tốt đẹp. Các "chữ số" và các nút của cây có thể được biểu diễn dưới dạng mảng, vì vậy

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

Tuy nhiên, kích thước tối đa của các mảng là rất nhỏ, vì vậy nó sẽ được tốt đẹp để có

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 

để tránh kiểm tra giới hạn, vv

Nhưng sau đó viết tất cả các chức năng trên chữ số và nút bằng tay trở nên khó khăn hơn và tốt hơn là tạo chúng. Và một cách tiếp cận giống như T4 trông hoàn hảo cho nó ...

Answer 1

Vì F # không hỗ trợ các công cụ tùy chỉnh trong trình khám phá giải pháp, bạn có thể đặt các tệp T4 trong dự án C# hoặc Visual Basic và chuyển hướng đầu ra của chúng đến dự án F # của bạn. Đây là cách bạn có thể làm điều đó với 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

Nó phụ thuộc vào những gì bạn đang cố gắng làm. Trong khi đó là một cách tiếp cận không thực sự phù hợp để tạo mẫu theo cách mà nhiều ví dụ T4 hiển thị, nói chung tôi khuyên bạn nên thiết kế một "thư viện combinators" [1] để tạo mã hoặc các tác vụ lập trình hướng ngôn ngữ trong F #. Ý tưởng là thiết kế một số combinators để đại diện cho mã bạn đang cố gắng tạo ra, tạo ra văn bản nguồn F # từ các bộ phối hợp, sau đó biên dịch thông qua mã DOM.

Tuy nhiên, thường dễ dàng hơn khi viết một thông dịch viên cho các bộ phối hợp của bạn thay vì tạo mã.

ví dụ tốt của combinators trong F # là:

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

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

Answer 3

tôi đều đồng ý với Robert (mặc dù có chắc chắn một số tình huống mà sử dụng T4 từ F # có thể rất hữu ích). Dù sao, có lẽ sẽ thú vị khi biết lý do tại sao bạn có muốn tạo mã F # không? Sau đó, chúng tôi có thể có thể đề nghị một số giải pháp chức năng điển hình cho vấn đề :-).

Answer 4

Tôi đã xem xét các tùy chọn khác nhau và kết thúc cho nhu cầu tạo mã tương đối đơn giản và tĩnh của mình bằng tập lệnh * .fsx sử dụng TextWriter với fprintf để viết mã F # được tạo.

Tôi thực sự sử dụng FParsec cho một số công việc phân tích cú pháp, nhưng khi tôi không dịch từ một số cú pháp khác thành F #, hai phần có ít liên quan đến nhau.