Jak drukować z F # jak REPL ma

Question

Próbuję użyć F # jako REPL i skrypt, który używa biblioteki C#. Kiedy ocenić obiekt w REPL, drukuje swoją wewnętrzną strukturę:

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

Następnie Piszę skrypt z tego samego wyrazu i chcesz go wydrukować samą moc. Ale nie mogę znaleźć żadnej funkcji, która by to zrobiła. Najbliższe, jakie mogłem znaleźć, to printfn "%O", które używa metody ToString(), która nie jest zdefiniowana w moim przypadku i po prostu drukuje typ obiektu.

To proste pytanie, ale nie mogę go znaleźć tutaj ani w Google.

How to generate the F# type signature similar to FSI in my own code? wydaje się być skoncentrowany na typie, a ja zasadniczo potrzebuję raczej ładnie wydrukowanej wartości.

PS: wygląda na to, że jest to kod wewnętrzny dla fsi.exe. Zobacz źródła fsi.fs i sformat.fs. Próbowałem przywołać je poprzez odbicie, ale prosty Internal.Utilities.StructuredFormat.any_to_string(value) wydrukowano tylko jako typ. Nadal byłoby miło, gdyby ktokolwiek wiedział, jak prawidłowo go przywołać, ale na razie postanowiłem nie poświęcać mu więcej wysiłku.

Answer 1

prostu miałem ten sam problem, ale w moim przypadku, printfn "%A" dał dokładnie taki sam wynik, jak to, co widzę w F # Interactive (bar wcięcie):

Listę:

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

dla rekordu:

> 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;} 

dla nie-F # Typ danych:

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