แปลง JSON ไปและกลับ

using System;
using System.Text.Json;
record Settings(string Theme, int FontSize);
class Program
{
    static void Main()
    {
        string json = JsonSerializer.Serialize(new Settings("dark", 16));
        Settings? settings = JsonSerializer.Deserialize<Settings>(json);
        Console.WriteLine($"{settings?.Theme}: {settings?.FontSize}");
    }
}