sepples on Nostr: Purple Cat with a PC-98 (and X68K) Ada lacks the specific memory/lifetime ...
Published at
2024-02-27 20:16:50Event JSON
{
"id": "9150b1090e174c2f2f2e793ab8da942ce5778f508d3ca720a7c1aa06e594448e",
"pubkey": "15663065eee6972648e2b74f812a21a94f7cb91d4fdd4aefcb98a1db6dfcba92",
"created_at": 1709065010,
"kind": 1,
"tags": [
[
"p",
"49ff968352ec6a19d68fab1a217c6cf3f1cd46ec10a8bb754a2847bed558d7bc",
"wss://relay.mostr.pub"
],
[
"e",
"96eca165ee8b99659c129ca1ed917657a36c85a302b71fd2d0edec8fceb55919",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://pone.social/users/sepples/statuses/112005284548586338",
"activitypub"
]
],
"content": "nostr:npub1f8ledq6ja34pn4504vdzzlrv70cu63hvzz5tka229prma42c677qkk7frq Ada lacks the specific memory/lifetime compile-time checks Rust has, which are a formalization of move semantics that developed over the evolution of C++ long after Ada's time. There is an Ada project explicitly taking inspiration from the Rust borrow checker btw: https://arxiv.org/abs/1710.07047",
"sig": "8865bd284b2a1b90733a3fe8c73d9da1fcfaec06366dfcd02c3d038ed647fd949ffbce5a31bd4e1029443b5d2aef39a4ffe0cc58030a8747abc12d6ff06c9166"
}