Record · corpus.blog/posts/01a08c59-f6fe-728b-a1fe-835a863a3028

An epic treatise on error models for systems programming languages

typesanitizer.com · published 6 March 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at typesanitizer.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 97
Words captured: 19,121

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

What are important data systems problems, ignored by research? Read at the source ↗

databasearchitects.blogspot.com

https://www.youtube.com/watch?v=dv4A2LIFG80

youtube.com

https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-yuan.pdf

usenix.org

The Error Model Read at the source ↗

joeduffyblog.com

https://github.com/swiftlang/swift/blob/main/docs/ErrorHandlingRationale.md

github.com

https://github.com/tigerbeetle/tigerbeetle/blob/main/docs/TIGER_STYLE.md

github.com

https://rust-lang.github.io/rfcs/0236-error-conventions.html

rust-lang.github.io

https://youtu.be/TTM_b7EJg5E?si=J321vwBsKhKwgy1s&t=1293

youtu.be

https://erlang.org/download/armstrong_thesis_2003.pdf

erlang.org

https://man7.org/linux/man-pages/man2/stat.2.html

man7.org

https://grpc.io/docs/guides/retry/

grpc.io

https://github.com/ziglang/zig/issues/2647

github.com

https://dataintensive.net/

dataintensive.net

https://graphql.org/learn/response/

graphql.org

https://www.hyrumslaw.com/

hyrumslaw.com

https://pkg.go.dev/fmt

pkg.go.dev

https://doc.rust-lang.org/reference/attributes/type_system.html

doc.rust-lang.org

https://ingenieria-de-software-i.github.io/assets/bibliografia/programming-as-theory-building.pdf

ingenieria-de-software-i.github.io

https://capnproto.org/language.html

capnproto.org

https://dl.acm.org/doi/10.1145/3689746

dl.acm.org

https://github.com/rust-lang/lang-team/issues/122

github.com

https://www.0xatticus.com/posts/understanding_rust_niche/

0xatticus.com

https://docs.swift.org/swift-book/documentation/the-swift-programming-language/statements

docs.swift.org

https://ziglang.org/documentation/master/

ziglang.org

https://rust-lang.github.io/wg-async/design_docs/async_stack_traces.html

rust-lang.github.io

https://antithesis.com/docs/best_practices/sometimes_assertions/

antithesis.com

https://en.wikipedia.org/wiki/The_Power_of_10:_Rules_for_Developing_Safety-Critical_Code

en.wikipedia.org

https://dlang.org/spec/errors.html

dlang.org

https://youtu.be/XQHAIglE9CU?si=iYYy8R9GOEylPR6P&t=1354

youtu.be

https://dlang.org/spec/function.html

dlang.org

https://dlang.org/phobos/object.html

dlang.org

https://ocaml.org/manual/5.3/bindingops.html

ocaml.org

https://ocaml.org/docs/error-handling

ocaml.org

https://dev.realworldocaml.org/error-handling.html

dev.realworldocaml.org

https://learn.adacore.com/courses/intro-to-ada/chapters/exceptions.html

learn.adacore.com

https://stackoverflow.com/q/63037858/2682729

stackoverflow.com

https://en.wikibooks.org/wiki/Ada_Style_Guide/Program_Structure

en.wikibooks.org

https://docs.adacore.com/gnat_rm-docs/html/gnat_rm/gnat_rm/standard_and_implementation_defined_restrictions.html

docs.adacore.com

https://www.scala-lang.org/api/3.x/scala/util/control/Exception$.html

scala-lang.org

https://www.scala-lang.org/api/3.x/scala/util/Try.html

scala-lang.org

https://nim-lang.org/docs/manual.html

nim-lang.org

https://nim-lang.org/docs/tut2.html

nim-lang.org

https://status-im.github.io/nim-style-guide/errors.result.html

status-im.github.io

https://tutorial.ponylang.io/expressions/errors.html

tutorial.ponylang.io

Pony, Errors, and Logging Read at the source ↗

journal.infinitenegativeutility.com

https://stackoverflow.com/questions/42845484/distinguishing-between-different-types-of-error-in-pony

stackoverflow.com

https://www.ponylang.io/use/performance/pony-performance-cheat-sheet

ponylang.io

https://tutorial.ponylang.io/expressions/match.html

tutorial.ponylang.io

https://www.ponylang.io/use/performance/pony-performance-cheat-sheet/

ponylang.io

https://sourcegraph.com/github.com/ziglang/zig/-/blob/lib/std/debug.zig?L571

sourcegraph.com

https://odin-lang.org/docs/overview/

odin-lang.org

https://www.gingerbill.org/article/2018/09/05/exceptions-and-why-odin-will-never-have-them/

gingerbill.org

https://www.roc-lang.org/faq.html

roc-lang.org

https://pixeldroid.com/jailang/

pixeldroid.com

An introduction to the Hare programming language Read at the source ↗

harelang.org

https://gigamonkeys.com/book/beyond-exception-handling-conditions-and-restarts

gigamonkeys.com

http://axisofeval.blogspot.com/2011/04/whats-condition-system-and-why-do-you.html

axisofeval.blogspot.com

https://github.com/rust-lang/rust/pull/12039

github.com

https://en.wikipedia.org/wiki/Syzygium_samarangense

en.wikipedia.org

https://github.com/swiftlang/swift-evolution/blob/main/proposals/0192-non-exhaustive-enums.md

github.com

https://gist.github.com/chaotic3quilibrium/58e78a2e21ce43bfe0042bbfbb93e7dc

gist.github.com

https://users.scala-lang.org/t/simple-naive-and-wrong-more-than-you-wanted-to-know-about-case-classes/8300

users.scala-lang.org

No-Panic Rust: A Nice Technique for Systems Programming Read at the source ↗

blog.reverberate.org

https://doc.rust-lang.org/beta/unstable-book/language-features/try-blocks.html

doc.rust-lang.org

https://github.com/golang/go/discussions/71460

github.com

https://doc.rust-lang.org/std/alloc/trait.Allocator.html

doc.rust-lang.org

https://github.com/rust-lang/rust/issues/32838

github.com

https://internals.rust-lang.org/t/pre-rfc-storage-api/18822

internals.rust-lang.org

https://docs.rs/bumpalo/latest/bumpalo/collections/vec/struct.Vec.html

docs.rs

https://docs.rs/smallvec/latest/smallvec/struct.SmallVec.html

docs.rs

https://docs.adacore.com/gnat_ugn-docs/html/gnat_ugn/gnat_ugn/gnat_and_program_execution.html

docs.adacore.com

https://github.com/rust-lang/stacker

github.com

https://github.com/ziglang/zig/issues/9909

github.com

the anatomy of an explanation Read at the source ↗

explaining.software

https://en.wikipedia.org/wiki/Category:Cognitive_biases

en.wikipedia.org

https://github.com/nishanths/exhaustive

github.com

https://github.com/golangci/golangci-lint

github.com

https://github.com/bazel-contrib/rules_go/blob/master/go/nogo.rst

github.com

https://www.cs.cornell.edu/courses/cs3110/2018sp/l/02-fun/notes.html

cs.cornell.edu

https://github.com/obi1kenobi/cargo-semver-checks

github.com

https://github.com/swiftlang/swift/blob/main/docs/LibraryEvolution.rst

github.com

https://research.swtch.com/vgo

research.swtch.com

https://www.postgresql.org/docs/current/sql-altertable.html

postgresql.org

https://ocaml.org/manual/4.11/inlinerecords.html

ocaml.org

https://x.com/typesanitizer/status/1551575106194878464

x.com

https://www.ccs.neu.edu/home/stchang/pubs/cbtb-popl2020.pdf

ccs.neu.edu

https://github.com/herd/herdtools7/**

github.com

https://gobyexample.com/struct-embedding

gobyexample.com

https://doc.rust-lang.org/std/ops/trait.Deref.html

doc.rust-lang.org

https://forums.swift.org/t/generalization-of-implicit-conversions/51344

forums.swift.org

https://harelang.org/documentation/faq.html

harelang.org

https://dl.acm.org/doi/pdf/10.1145/3622846

dl.acm.org

https://www.postgresql.org/docs/current/runtime-config-autovacuum.html

postgresql.org

https://blog.codinghorror.com/defeating-optimism/

blog.codinghorror.com

https://web.mit.edu/curhan/www/docs/Articles/biases/67_J_Personality_and_Social_Psychology_366,_1994.pdf

web.mit.edu

https://dl.acm.org/doi/pdf/10.1145/3473576

dl.acm.org

https://granule-project.github.io/granule.html

granule-project.github.io