Cách in từ F # như REPL không

Question

Tôi đang cố gắng sử dụng F # làm REPL và tập lệnh sử dụng thư viện C#. Khi tôi đánh giá một đối tượng trong REPL, nó sẽ in cấu trúc bên trong của nó:

> <expression>;; 
val it: <type> = 
<subtype> {<prop> = <value>; 
      ... 
      <prop> = <value>;} 

Sau đó, tôi đang viết một tập lệnh có cùng biểu thức và muốn in cùng một đầu ra. Nhưng tôi không thể tìm thấy bất kỳ chức năng print nào có thể thực hiện được. Gần nhất tôi có thể tìm thấy là printfn "%O" trong đó sử dụng ToString() phương pháp, mà không được xác định trong trường hợp của tôi và chỉ in các loại đối tượng.

Điều này có vẻ là một câu hỏi đơn giản nhưng tôi không thể tìm thấy câu hỏi được trả lời ở đây hoặc bất kỳ nơi nào trong Google.

How to generate the F# type signature similar to FSI in my own code? dường như tập trung vào loại và tôi về cơ bản cần có giá trị khá được in.

PS: có vẻ như đó là mã bên trong fsi.exe. Xem các nguồn fsi.fs và sformat.fs. Tôi đã cố gắng gọi chúng thông qua sự phản chiếu, nhưng chỉ đơn giản là Internal.Utilities.StructuredFormat.any_to_string(value) chỉ in một loại. Sẽ vẫn tốt nếu ai biết làm thế nào để gọi nó một cách chính xác, nhưng trong thời gian tôi quyết định không dành nhiều nỗ lực vào nó.

Answer 1

Tôi chỉ có cùng một vấn đề, nhưng trong trường hợp của tôi, printfn "%A" cho chính xác kết quả tương tự như những gì tôi nhìn thấy trong F # Interactive (bar thụt đầu dòng):

Đối với một danh sách:

> let l = [(2,"a")];; 
val l : (int * string) list = [(2, "a")] 
> printfn "%A" l;; 
[(2, "a")] 

Đối với một kỷ lục:

> type R = { A: string; B: int };; 
type R = 
    {A: string; 
    B: int;} 
> let r = { A = "Foo"; B = 1 };; 
val r : R = {A = "Foo"; 
      B = 1;} 
> printfn "%A" r;; 
{A = "Foo"; 
B = 1;} 

cho một tổ chức phi-F # datatype:

> let u = UriBuilder("http", "bar", 80);; 
val u : UriBuilder = http://bar:80/ 
> printfn "%A" u;; 
http://bar:80/