.net - 是否可以在 F#(完全在 .net 中)中展开循环？

Question

所以我所说的循环展开是什么意思

Write "Hello" |> Repeat 5

->>>

Write "Hello"
Write "Hello"
Write "Hello"
Write "Hello"
Write "Hello"

据我所知，这是一些优化，如果可能的话，我只是在 .NET 上感兴趣

顺便说一句 - 就是为什么我必须在 [0..4] 中使用 for i 做......如果我真的不是这个 [0..4] 并且我真的不需要这个我......

Answer 1

F# 语言不直接支持这种元编程形式。您要求的通常称为多阶段编程，并且有基于 ML 的语言支持它(例如搜索 MetaML)。在这些语言中，您可以使用编译代码和(例如)展开循环进行操作。

可以使用引号在 F# 中完成此操作的有限形式。但它不是很实用，因为 F# 引用编译器生成的代码较慢(因此它绝对不能作为优化工作)。

但是，出于好奇，这里是如何使用 F# PowerPack 的引用和引用编译器来实现这一点:

#r @"FSharp.PowerPack.Linq.dll"
open Microsoft.FSharp.Linq.QuotationEvaluation

// Generate quotation that contains 5 prints followed by expression that returns unit
let unrolled = [ 1 .. 5 ] |> List.fold (fun expr _ -> 
    <@ printfn "Hello"; %expr @>) <@ () @>

// Compile the function once & run it two times
let f = unrolled.Compile()
f()
f()

...正如我所提到的，这作为优化没有用，因为 Compile方法产生缓慢的代码，但它在其他一些场景中很有用。