CLR/H 47 zecl LT

1. .NETでちょっと草植えときますね型
言語 Grassを実装してみました
～オブジェクト指向と関数プログラミングの狭間で～
_, ._
（ ・ω・） んも〜
○=｛=｝〇,
|:::::::::＼, ', ´
､､､､し ､､､((（.＠）ｗｖｗｗＷＷｗｖｗｗＷｗｗｖｗｗｗｗＷＷＷｗｗ
ＷｗｗＷＷＷＷＷＷｗｗｗｗＷｗｗｖｗＷＷｗＷｗｗｖｗＷＷＷ
zecl/ぜくる

2. 自己紹介
zecl/ぜくる
・C#とF#が好きです。F#歴はもう少しで1年。
・はてなでブログ書いてます id:zecl
・twitterのつぶやきは少なめです@zecl
・最近ようやくWPFとSilverlightさわり始めました
・アジャイルを好みます。TDD,ペアプロ,ピアレビュー
・「辛そうで辛くない少し辛いラー油」探してます
・年間２００本くらい映画を観ます
/
・積みゲーを消化しきれません＞＜

3. ちょっと草植えときますね型言語 Grassとは
かなり適当なGrassの説明
・使う文字は W,w,v の３種類(いわゆる難読言語)
・草を植えるための関数型言語で型無しラムダ計算
ベース。スタックマシンの一種。
・関数定義と関数適用のみで構成(変態仕様)
・プリミティブはw,Out,In,Succの４つ
・初期環境E0 = Out :: Succ :: w :: In :: ε
・とにかく草を生やせばいいじゃない
・詳しくはWebで・・・。

4. 草を植えた動機
・ネタ好きなので
・C#やF#など.NETでの実装が見当たらない
・初見は理解不能で悔しい思いをした
・Haskell,OCaml,F#等の関数型言語を勉強し
てきた今ならイケそうな気がする
・オブジェクト指向と関数プログラミングの
表現力の違いを確認したい
・λ(lambda)とお友達になりたい

5. C#で草を植える
・オブジェクト指向で実装
・面倒くさいので公式にあるJavaの実装をパ
クりました。多少アレンジはしています
・LINQやラムダ式を使わない縛りプレイ
・プリミティブはポリモーフィズムで表現
・LinkedListでスタックを表現
・トータル800行くらいで書けた
ただし、これはC#の本気ではない！

6. F#で草を植える
・関数プログラミング的に実装
・class、if文、for等を使わない縛りプレイ
・強力な型推論が素敵。C#のショボイ推論ではこう
はいかない。でもたまにKYな推論しやがります。
・パターンマッチで常勝理論
逆に言えば、これがなかったら死ねる
・プリミティブは弁別子付き共用体
(discriminated union) 型で表現(再帰的に)
・クロージャーとリストでスタックを表現
・だいたい120行くらいで書けた

7. 感想
・関数脳へパラダイムシフトすると、関数を主役に考え
ることができ、クラスを利用するよりもより細かいコ
ンポジションメカニズムを利用し、抽象的な実装で
コードのシンプルさを追求できる！きもちいい・・。
(コード削減はOff-side Ruleの恩恵も大きい)
・強力な型推論で開発者自身の型推論能力もUPする！
・豊富なパターンマッチで夢は広がりんぐ！
・オブジェクト指向はプログラミングの基本。やっぱり大
事。F#はオブジェクト指向もサポートされていて死角
なし。F＃で関数型とオブジェクト指向の長所を組み合
わせたプログラミングスタイルを目指そう！

8. そう遠くない未来に・・・
F#＞＞＞越えられない壁＞＞＞C#＞VB.NET
となる日が来るかもしれません。
ﾅ ﾅﾝﾀﾞｯﾃｰ!!
Ω ΩΩ

9. おしまい
デモ