RubyConf 2017: Types and Ruby Programming Language by Soutaro Matsumoto

Channel:
United States Confreaks
Subscribers:
42,400
Published on ● Video Link: https://www.youtube.com/watch?v=Fjv9GxPXtck


Duration: 36:40
801 views
6

Types and Ruby Programming Language by Soutaro Matsumoto

Types have been a big interest for Rubyists for more than ten years. Even before Ruby3, some researchers have tried to type check Ruby programs. All of them had failed. No one in the world has successfully implemented practical type checker for Ruby programs yet.

Why is it difficult? How have we tried? What do we want exactly? Can we find any solution?



Other Videos By Confreaks


2017-11-30RubyConf 2017: What does GIL really guarantee you? by Daniel Vartanov
2017-11-30RubyConf 2017: Set Design: Putting the "Art" in "Architecture" by Betsy Haibel
2017-11-30RubyConf 2017: make mruby more portable: Why and How by Yurie Yamane & Masayoshi Takahashi
2017-11-30RubyConf 2017: Code Reviews: Honesty, Kindness, Inspiration: Pick Three by Jacob Stoebel
2017-11-30RubyConf 2017: Gemification for Ruby 2.5/3.0 by Shibata Hiroshi
2017-11-30RubyConf 2017: High Performance GPU Computing with Ruby by Prasun Anand
2017-11-30RubyConf 2017: Dispelling the dark magic: Inside a Ruby debugger by Daniel Azuma
2017-11-30RubyConf 2017: Finding Beauty in the Mundane by Max Tiu
2017-11-30RubyConf 2017: Rub[berDuck]yConf, I :mustache: you a question by Tara Scherner de la Fuente
2017-11-30RubyConf 2017: Human Errors by Olivier Lacan
2017-11-30RubyConf 2017: Types and Ruby Programming Language by Soutaro Matsumoto
2017-11-30RubyConf 2017: A New Pair of Shoes! by Jason R. Clark
2017-11-30RubyConf 2017: Rewriting Rack: A Functional Approach by Alex Wheeler
2017-11-30RubyConf 2017: There are no rules in Ruby by Max Jacobson
2017-11-30RubyConf 2017: Esoteric, Obfuscated, Artistic Programming in Ruby by Yusuke Endoh
2017-11-30RubyConf 2017: FIRESIDE CHAT - Q&A WITH MATZ by Evan Phoenix & Matz Evan
2017-11-30RubyConf 2017: Orbital Rocket Guidance with Ruby by Nate Berkopec
2017-11-30RubyConf 2017: RubyCard: HyperCard, in Ruby by Zachary Schroeder
2017-11-29RubyConf 2017: Building a Compacting GC for MRI by Aaron Patterson
2017-11-29RubyConf 2017: Keynote - You're Insufficiently Persuasive by Sandi Metz
2017-11-29RubyConf 2017: Ignites