Der DataContractJsonSerializer erstellt JSON für F # -Datensatztypen, die nach jedem Eigenschaftsnamen das Zeichen '@' enthalten. Weiß jemand, ob es möglich ist, JSON zu erhalten, das dieses nachgestellte Symbol nicht hat?

{"heart_rate@":20,"latitude@":45.0,"longitude@":108.0,"name@":"Rambo"}

Hier ist das Skript, mit dem ich dieses Beispiel ausgebe

#r "System.Xml"
#r "System.Runtime.Serialization"

open System.Text
open System.Runtime.Serialization.Json
open System.IO

type Update = {
    name: string;
    latitude: decimal;
    longitude: decimal;
    heart_rate: int}

let update = {name = "Rambo"; latitude = 45.0m; longitude = 108.0m; heart_rate = 20}

let serializer = new DataContractJsonSerializer( typeof<Update> )

let stream = new MemoryStream()
let data = serializer.WriteObject(stream, update)
let updateData = stream.ToArray()

let json = (Encoding.UTF8.GetString(updateData))

printfn "%s" json