David Beck :xcode: on Nostr: Where this really goes off the rails is when the compiler will enforce the type ...
Where this really goes off the rails is when the compiler will enforce the type system but there’s no indication of what is allowed, for instance with result builders. What can go inside a Group? It depends! Except it depends in both directions. It’s based on its generic type, which can be effected by what you put in it, but also by what you put it in. Get it wrong and the compiler wraps itself in knots.
Published at
2024-11-21 05:59:44Event JSON
{
"id": "3d10ab72c8deb0e9a084838b38ca9db496ef2a24b8150988eda20d769c5a3657",
"pubkey": "347e56e8185507e0543f70ae84bb97cf5f4f23ad4782daacd437ac53a1519634",
"created_at": 1732168784,
"kind": 1,
"tags": [
[
"e",
"6dee71d555f6a06dd7fba18e3827d609c153a8f3edb6b7267d05b7c397591b88",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://tnku.co/users/david/statuses/113519413433918380",
"activitypub"
]
],
"content": "Where this really goes off the rails is when the compiler will enforce the type system but there’s no indication of what is allowed, for instance with result builders. What can go inside a Group? It depends! Except it depends in both directions. It’s based on its generic type, which can be effected by what you put in it, but also by what you put it in. Get it wrong and the compiler wraps itself in knots.",
"sig": "c1b24af179c8e6faf7b8d3d797029bf9dbecdd98fbf1b6bf92d014ee0edb31468d9ad16eeda4ddbb2cdbbec0258b78dac11581ac3959afbc14ad9710b631c350"
}
