A developer shares how discovering bugs in Sorbet (a Ruby type checker) blocks their technical writing. Multiple blog post drafts about Sorbet features get abandoned when the writing process reveals implementation bugs. While the underlying type theory is sound, implementation shortcuts create gaps between what should work and
•2m read time• From blog.jez.io
Sort: