`t` function for types information

[lontivero]

It would be a dream to have also a t function to see a type properties. For record types for example something like this:

Silly code to explain the request

let t<'x> () = typeof<'x>.GetProperties()
                |> Seq.map (fun p -> p.Name, p.PropertyType.Name) 
                |> Seq.map (fun (n, t) -> $"    {n}: {t}") 
                |> String.concat "\n" |> fun s -> $"{{\n{s} }}";;

> t<System.Index>();;
val it: string =
  "{
    Start: Index
    End: Index
    Value: Int32
    IsFromEnd: Boolean }"

> t<Nostra.Event>();;
val it: string =
  "{
    Id: EventId
    PubKey: Author
    CreatedAt: DateTime
    Kind: Kind
    Tags: FSharpList`1
    Content: String
    Signature: SchnorrSignature }"

[dawedawe]

Hey @lontivero ,
thanks for raising this issue. I'll look into it 👀

[baronfel]

This is sort-of similar to emitting the signature (in the FSI/Signature file sense) for a given type, right? At least once you get beyond records?

[dawedawe]

@baronfel it certainly feels like this, yeah.