Talks
Speakers
Events
Topics
Sign in
Home
Talks
Speakers
Events
Topics
Leaderboard
Use
Analytics
Sign in
Suggest modification to this talk
Title
Description
Softly, softly typing by John Cinnamond The ruby community is large and varied but, for the most part, we haven't rushed to engage with type theory. Static typing - whatever that is - is for the slow moving world of Java developers. Type theory is for Haskell weirdos. All that could be about to change. In his keynote at Rubyconf 2014 Matz spoke about some ideas for Ruby 3, including the idea of adding static typing - or more specifically soft typing - to the language. So what is soft typing? How do we understand more about it? And what does it mean for us mere developers? Help us caption & translate this video! http://amara.org/v/H0zo/
Date
Summarized using AI?
If this talk's summary was generated by AI, please check this box. A "Summarized using AI" badge will be displayed in the summary tab to indicate that the summary was generated using AI.
Show "Summarized using AI" badge on summary page
Summary
Markdown supported
The video titled "Softly, Softly Typing" features John Cinnamond's keynote, presented at RubyConf 2015, focusing on the concept of soft typing in Ruby. Soft typing combines the advantages of static typing with the dynamic flexibility that Ruby offers. Cinnamond discusses how Ruby currently lacks mechanisms for type checking, which can lead to runtime errors when methods are called on objects that do not support them. Key points discussed include: - **Definition of Soft Typing**: It includes static type checking benefits while maintaining the flexibility of dynamic typing. This represents a philosophical shift regarding how correctness is perceived in Ruby. - **Lack of Discussion in the Community**: Cinnamond notes that despite Matz's mention of static typing for Ruby 3, the community has not widely discussed soft typing, with only a few references made at events like RubyConf Australia. - **Introduction of Static Type Analyzer**: The talk includes a plan to create a static type analyzer designed to better understand how soft typing can improve Ruby. By simplifying Ruby’s complexities, Cinnamond aims to make type theory more accessible. - **Building a Simple Language**: To illustrate the principles, Cinnamond introduces creating a basic programming language (named "Trump") and designs a parser for it, discussing how to interpret and process expressions. - **Interaction with Dynamic Typing**: Throughout the presentation, Cinnamond explains how implementing type checking while retaining Ruby’s dynamic nature is crucial, emphasizing that it should enhance the language rather than change its core principles. - **Encouraging Exploration**: He encourages Ruby developers to engage with soft typing, emphasizing that understanding types can lead to improved coding practices and better program structures in Ruby. In conclusion, Cinnamond highlights the potential benefits of integrating soft typing into the Ruby programming landscape. He conveys excitement about type systems, urging developers to consider how adopting such constructs could improve their development experience. He also encourages attendees to explore the code related to his talk on GitHub and invites discussions on the topic after the presentation.
Suggest modifications
Cancel
