Christian Tietze on Nostr: npub1u24tf…532pl 100%! Also: Interesting, folks are usually less worried about the ...
npub1u24tf7lkhs9wec3fg2xzddfpu49hwlywsdynx568xfflcjcntqasr532pl (npub1u24…32pl) 100%!
Also: Interesting, folks are usually less worried about the counter-example of the default initializer being disabled no matter where one puts an initializer, but why adding the init into the `struct { ... }` declaration body removes the generated one.
For which I then one come up with an example that sometimes, you want to protect invariants in a 'required' initializer. But structs don't use that keyword.
There's no clever way out.
It's just another specialty to explain :)
Published at
2023-11-22 14:15:12Event JSON
{
"id": "6e158a32db1aca177919534195e8b5ba68976ccabf47e531f4ff438e59347e56",
"pubkey": "16ae1656580876352c0d645029f645f15e302c29b07ad55252aa7115ee649193",
"created_at": 1700662512,
"kind": 1,
"tags": [
[
"p",
"e2aab4fbf6bc0aece229428c26b521e54b777c8e83493353473253fc4b13583b",
"wss://relay.mostr.pub"
],
[
"p",
"4b686c1107b2b995f920bf40de4296c71eb487228f04db2627a411d6fb4706fd",
"wss://relay.mostr.pub"
],
[
"e",
"1001e135cdf09cdbf6f397a92f0c5ce92d150a22dfb87b516fb56938f33ba399",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mastodon.social/users/ctietze/statuses/111454618413384210",
"activitypub"
]
],
"content": "nostr:npub1u24tf7lkhs9wec3fg2xzddfpu49hwlywsdynx568xfflcjcntqasr532pl 100%!\n\nAlso: Interesting, folks are usually less worried about the counter-example of the default initializer being disabled no matter where one puts an initializer, but why adding the init into the `struct { ... }` declaration body removes the generated one.\n\nFor which I then one come up with an example that sometimes, you want to protect invariants in a 'required' initializer. But structs don't use that keyword.\n\nThere's no clever way out.\n\nIt's just another specialty to explain :)",
"sig": "b4eb9fb8ff6f1a385f561b416d1599f9eb35d77219e056cdd4faca6243b3d367e3abfd6278a6490fbb0f67da50aa6dcde2c219b7ada416b958664452fb08a084"
}