BROADCASTS.com

b'

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

Notes

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!

Links

\\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

Sponsors

\\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

Become a sponsor

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

Contact

\\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