Making illegal states unrepresentable
https://corrode.dev/blog/illegal-state/
Discussions: https://discu.eu/q/https://corrode.dev/blog/illegal-state/
#compsci #plt #programming #rustlang
Rust Weekly 🦀 /
npub1pm0…6zc6
2023-08-11 21:46:20
Author Public Key
npub1pm0dtfu5zv2svykp8ngg02asnfrpjyuhtkupxczhhtcjx3nqv72qp76zc6Published at
2023-08-11 21:46:20Event JSON
{
"id": "0ed4c014968e4966f3d84907ca4647d6cbb7e0f76deae3ec40211a64be766c75",
"pubkey": "0eded5a79413150612c13cd087abb09a461913975db8136057baf12346606794",
"created_at": 1691783180,
"kind": 1,
"tags": [
[
"t",
"compsci"
],
[
"t",
"plt"
],
[
"t",
"programming"
],
[
"t",
"rustlang"
],
[
"proxy",
"https://mastodon.social/users/rust_discussions/statuses/110872702504661053",
"activitypub"
]
],
"content": "Making illegal states unrepresentable\n\nhttps://corrode.dev/blog/illegal-state/\n\nDiscussions: https://discu.eu/q/https://corrode.dev/blog/illegal-state/\n\n#compsci #plt #programming #rustlang",
"sig": "d4f30966df784d88ce118633b0c8cc7ac01c9addd70639b86f35d39f818bb17daadbca1363f20e9c654beeae41fd4db0a9fb1d153be0033ae1c915c952725959"
}