▶︎ New Rustacean e011: Once Upon a Type

announcements
1

I just published :arrow_forward:︎ e011: Once Upon a Type—Type systems: strong vs. weak, dynamic vs. static, and degrees of expressivity. Give it a listen!

(I'm a relative newcomer to the world of type theory, so if I got something wrong, please let me know here, via email, etc. and I'll happily add corrigenda to the show notes and comment on it in a future episode!)

5 Likes
2

Your rustdoc is hit by the recent nightly .html.html source link bug. If you can, generate the doc with a different version of rust or put in some sed to restore all .html.html -> .html.

3

Ah, much obliged! I'll push up a patch shortly.