![New Rustacean artwork](https://is5-ssl.mzstatic.com/image/thumb/Podcasts123/v4/4b/03/b2/4b03b277-686e-92ec-1818-dcea61b72f4f/mza_388948490372677342.png/100x100bb.jpg)
Interview 1::Part 2 – Sean Griffin
New Rustacean
English - February 25, 2016 13:30 - 22 minutes - 9.3 MB - ★★★★★ - 79 ratingsTechnology News Tech News rust programming programming languages software Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Sean Griffin on type systems and hopes for Rust's future
Notes
Chris chats with Sean Griffin about the tradeoffs between mental overhead and type safety, the expressiveness of different type systems, and some of the places where Rust currently falls down.
Corrigenda
Sean noted he could be wrong about IEnumerable<T> not having a Sum method in C♯, and post-show research indicated that he was (it's possible it was added after he had stopped doing .NET work, of course). See the documentation for details on how IEnumerable<T>.Sum it behaves in C♯ if you're curious.
As a related note, I (Chris) have done a little bit of digging on C♯ in the interval and it's fair to say that while a lot of the "ceremony" involved in writing C♯ is annoying, it's much more than just a "slightly nicer Java", and indeed is a much nicer language than my previous, limited exposure had led me to believe. It's no Rust or F♯, but its type system is substantially more capable than Java's.
Links
fmap
Discussion of fmap with Optional in Swift
In Haskell
Rust:
Trait objects
Specialization RFC
Sponsors
Aleksey Pirogov
Chris Palmer
Derek Morr
Hamza Sheikh
Leif Arne Storset
Luca Schmid
Micael Bergeron
Ralph Giles ("rillian")
reddraggone9
Ryan Ollos
William Roe
Become a sponsor
Follow
New Rustacean:
Twitter: @newrustacean
Email: [email protected]
Chris Krycho
GitHub: chriskrycho
Twitter: @chriskrycho