Title: Design and Implementation of Programing Language with Static Typing


Kazunori Hashimoto、Masato Kiyama


Ruby has characteristic with dynamic typing, so we don’t have to be aware of type. But dynamic typing has disadvantages, the processing time is long and the program has lower reliability. Because type checking is executed at runtime. But static typing has advantages, processing time is fast and the program has high reliability. Because type checking is executed before runtime. Therefore we design and implement a programming language with static typing like Ruby. And we implement type inference because of keeping Ruby’s advantage.


July 17, 2009


Conference Room(1st Floor)

Speaker Profile


Presentation Material

(Sorry, currently not available)

Video footage

静的型付けを持ったRubyっぽい言語の設計と実装 (1/3) - 橋本和典

静的型付けを持ったRubyっぽい言語の設計と実装 (2/3) - 橋本和典

静的型付けを持ったRubyっぽい言語の設計と実装 (3/3) - 橋本和典

Back to Timetable

Ruby Sponsors
  • 伊藤忠テクノソリューションズ株式会社
  • 株式会社ネットワーク応用通信研究所
  • 株式会社リコー
Platinum Sponsors
  • 株式会社永和システムマネジメント
  • ニフティ株式会社
  • 株式会社RAWHIDE.
  • 株式会社リクルート
  • 株式会社トランス・ニュー・テクノロジー
  • 株式会社コンテンツワン
Gold Sponsors
  • 株式会社アンタス
  • 株式会社クリアコード
  • 株式会社クオン
  • 株式会社万葉
  • 株式会社iRubySystems
  • 有限会社ラビックス
  • 楽天株式会社
  • SKIPユーザグループ
  • タワーズ・クエスト株式会社
  • ワイクル株式会社