BROADCASTS.com

Type systems: strong vs. weak, dynamic vs. static, and degrees of expressivity.

Talking about type systems! A broad and wide-ranging discussion about type systems in general, with specific examples from languages like PHP, JavaScript, Python, C, C++, Java, C\u266f, Haskell, and Rust!

\n
• What is a type system?
\n
• What are the kinds of things we get out of type systems?
\n
• What are the tradeoffs with different type systems?
\n
• What is Rust\u2019s type system like?
\n
• What is especially attractive about Rust\u2019s type system?
\n

A comment on the C integer/character string addition example: what\u2019s actually happening there is that the character string is an array \u201cunder the covers,\u201d and as such has an address. C silently switches to using the memory address, which is of course just an integer, when you try to add the two together. As I said on the show: the result is nonsense (unless you\u2019re using this as a way of operating on memory addresses), but it\u2019s compileable nonsense. In a stricter and stronger type system, memory addresses and normal numbers shouldn\u2019t be addable!

\n
• Rust 1.7 released\n
  \n
  • HashMap changes
  \n
\n
• Introduction to Type Theory
\n
• Visualizing Rust\u2019s type-system
\n
• The Many Kinds of Code Reuse in Rust
\n

\n
• Aleksey Pirogov
\n
• Chris Palmer
\n
• Derek Morr
\n
• Hamza Sheikh
\n
• Lachlan Collins
\n
• Leif Arne Storset
\n
• Luca Schmid
\n
• Micael Bergeron
\n
• Pascal
\n
• Ralph Giles (\u201crillian\u201d)
\n
• Ralph \u201cFriarTech\u201d Loizzo
\n
• reddraggone9
\n
• Ryan Ollos
\n
• William Roe
\n

\n
• Patreon
\n
• Venmo
\n
• Dwolla
\n
• Cash.me
\n

\n
• New Rustacean:\n
  \n
  • Twitter: @newrustacean
  \n
  • Email: hello@newrustacean.com
  \n
\n
• Chris Krycho\n
  \n
  • GitHub: chriskrycho
  \n
  • Twitter: @chriskrycho
  \n
\n