f# - 如何使用 FSharp.Compiler.Service 从 F# 字符串中获取 F# AST？

Question

假设我有一个 F# 字符串，如 let x = 1 + 1，我如何为这个字符串生成 AST？

我正在寻找具有如下签名的函数:

String -> Result<FSharpAst, CompilerError>

理想情况下，我想避免写入临时文件。

这可以使用 FSharp.Compiler.Service 吗？

Answer 1

以下 F# 脚本演示了如何执行此操作。

#r "nuget: FSharp.Compiler.Service, 41.0.1"

open FSharp.Compiler.Syntax
open FSharp.Compiler.Text
open FSharp.Compiler.CodeAnalysis

let tryParseExpression (input : string) =
  async {
    let checker = FSharpChecker.Create()

    let filename = "snippet.fsx"

    let sourceText = SourceText.ofString input

    let opts =
      {
        FSharpParsingOptions.Default with
          SourceFiles = [| filename |]
      }

    let! parseResults = checker.ParseFile(filename, sourceText, opts)

    if parseResults.ParseHadErrors then
      return Error parseResults.Diagnostics
    else
      match parseResults.ParseTree with
      | ParsedInput.ImplFile (ParsedImplFileInput (fn, true, _, _, _, [ m ], _)) when fn = filename ->
        return Ok m
      | _ ->
        return failwithf "Unexpected parse tree: %A" parseResults.ParseTree
  }

module Result =

  let get =
    function
    | Ok x -> x
    | Error e -> failwithf "%A" e

"let x = 1 + 1"
|> tryParseExpression
|> Async.RunSynchronously
|> Result.get
|> printfn "%A"

(*

SynModuleOrNamespace
  ([Snippet], false, AnonModule,
   [Let
      (false,
       [SynBinding
          (None, Normal, false, false, [],
           PreXmlDoc ((1,4), FSharp.Compiler.Xml.XmlDocCollector),
           SynValData
             (None, SynValInfo ([], SynArgInfo ([], false, None)), None),
           Named (x, false, None, snippet.fsx (1,4--1,5)), None,
           App
             (NonAtomic, false,
              App
                (NonAtomic, true, Ident op_Addition,
                 Const (Int32 1, snippet.fsx (1,8--1,9)),
                 snippet.fsx (1,8--1,11)),
              Const (Int32 1, snippet.fsx (1,12--1,13)), snippet.fsx (1,8--1,13)),
           snippet.fsx (1,4--1,5), Yes snippet.fsx (1,0--1,13))],
       snippet.fsx (1,0--1,13));
    Let
      (false,
       [SynBinding
          (None, Normal, false, false, [],
           PreXmlDoc ((2,4), FSharp.Compiler.Xml.XmlDocCollector),
           SynValData
             (None, SynValInfo ([], SynArgInfo ([], false, None)), None),
           Named (y, false, None, snippet.fsx (2,4--2,5)), None,
           Const (Int32 2, snippet.fsx (2,8--2,9)), snippet.fsx (2,4--2,5),
           Yes snippet.fsx (2,0--2,9))], snippet.fsx (2,0--2,9))],
   PreXmlDocEmpty, [], None, snippet.fsx (1,0--2,9))

*)