corpus.blog
43,228 blogs · 5,519,570 posts Claim your blog
Record · corpus.blog/posts/01a07d5d-6106-7330-a368-9a75756a1b9f

Why the Sorbet typechecker is fast

Nelson Elhage · published 24 January 2020

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 blog.nelhage.com Wayback capture
2blogs citing
First cited
7 Apr 2020
Most recent
1 Feb 2021
Rank this month
not ranked
External links
30
Words captured
2,666

Cited by

Blog
In the post
Date
typesanitizer.com
Are tagged unions overrated? Read at the source ↗
1 Feb 2021
StaffEng
Nelson Elhage - Formerly Staff Engineer at Stripe Read at the source ↗
7 Apr 2020

Links from this post

Link
Host
https://sorbet.org/
sorbet.org
https://d-d.me/
d-d.me
https://github.com/sorbet/sorbet/blob/master/core/GlobalState.h
github.com
https://github.com/sorbet/sorbet/blob/master/core/NameRef.h
github.com
https://github.com/sorbet/sorbet/blob/master/core/SymbolRef.h
github.com
https://abseil.io/
abseil.io
https://github.com/abseil/abseil-cpp/blob/master/absl/container/inlined_vector.h
github.com
https://abseil.io/docs/cpp/guides/container
abseil.io
https://www.youtube.com/watch?v=ncHmEUmJZf4&t=3s
youtube.com
https://en.wikipedia.org/wiki/String_interning
en.wikipedia.org
https://github.com/sorbet/sorbet/blob/2a16bc6b644e6fc8a309f0b0f31fd3592a02bf1a/core/tools/generate_names.cc
github.com
https://github.com/sorbet/sorbet/blob/2a16bc6b644e6fc8a309f0b0f31fd3592a02bf1a/core/types/calls.cc
github.com
https://github.com/sorbet/sorbet/blob/2a16bc6b644e6fc8a309f0b0f31fd3592a02bf1a/common/Counters.h
github.com
https://en.wikipedia.org/wiki/Control-flow_graph
en.wikipedia.org
https://github.com/google/sanitizers/wiki/AddressSanitizer
github.com
https://github.com/sorbet/sorbet/search?q=ENFORCE
github.com
https://github.com/sorbet/sorbet/search?q=sanityCheck
github.com
https://github.com/sorbet/sorbet/blob/7f65113364da104b96c379fa633023b8f0e75014/core/DebugOnlyCheck.h
github.com
https://en.wikipedia.org/wiki/Profile-guided_optimization
en.wikipedia.org
https://github.com/sorbet/sorbet/blob/master/common/Counters.h
github.com
https://github.com/sorbet/sorbet/blob/2a16bc6b644e6fc8a309f0b0f31fd3592a02bf1a/core/GlobalState.cc
github.com
https://github.com/sorbet/sorbet/blob/2a16bc6b644e6fc8a309f0b0f31fd3592a02bf1a/ast/desugar/Desugar.cc
github.com
https://github.com/sorbet/sorbet/tree/master/rbi
github.com
https://github.com/sorbet/sorbet/blob/master/core/serialize/serialize.cc
github.com
https://github.com/sorbet/sorbet/blob/master/docs/compressors.md
github.com
https://llvm.org/docs/LinkTimeOptimization.html
llvm.org
http://jemalloc.net/
jemalloc.net
https://speed.pypy.org/
speed.pypy.org
https://perf.rust-lang.org/
perf.rust-lang.org
https://arewefastyet.com/)
arewefastyet.com
Elsewhere on blog.nelhage.com (2)