Articulating the ineffable. Programming language theory 
cognitive psychology. PhD @Stanford
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
There are so many different ways to get ad-hoc polymorphism. Type classes (Haskell), traits (Rust), modular implicits (proposed for OCaml), static dispatch (C++)... and probably many others. Anyone have recommendations for reading about the (likely subtle) differences?
I wrote about how ad-hoc polymorphism is a special case of name resolution: https://willcrichton.net/notes/specificity-programming-languages/ … Thinking about ad-hoc polymorphism as "type-directed name resolution" has been really clarifying for me.
