名古屋でRuby, パートI (Hamamatsu.rb #31 LT - メモ帳プレゼン用スライド)

Nagoya_de_Ruby_Part_I.txt

名古屋でRuby, パートI
September 11, 2013
@risgk








ここ1年くらい、
TAPL-nagoyaという
勉強会に参加しています








この本の勉強会：
『型システム入門』（TAPL）








さて、名古屋といえば...








関数型言語
（あるいはラムダ計算）








TAPLでは、
いろいろなラムダ計算が
OCaml（ML）で実装されます








勉強会では、
参加者が好きな言語で
ラムダ計算を実装








OCaml, Haskell, Scala,
Clojure, Prolog, Coq, ...








私が選択したのは...








Ruby








浜松代表ですし（？）








（デモ）








Rubyというか、
Scheme（LISP）みたい








わかってはいたけれど、
Rubyではキツくなってきた...








せめてRubyで、
パターンマッチが使えれば...








今後にご期待ください








（おわり）








（リンク集）

tapl-nagoya - Front Page
http://proofcafe.org/tapl/

Amazon.co.jp： 型システム入門 －プログラミング言語と型の理論－
http://www.amazon.co.jp/dp/4274069117/

Amazon.co.jp： Types and Programming Languages
http://www.amazon.co.jp/dp/0262162091/

risgk/learning_tapl_ocaml
https://github.com/risgk/learning_tapl_ocaml

Ruby でパターンマッチ - まめめも
http://d.hatena.ne.jp/ku-ma-me/20100522/p1

Ruby向けパターンマッチライブラリ「pattern-match」を作った - 継続にっき(2012-03-03)
http://www.callcc.net/diary/20120303.html#p01