高専カンファレンスLTで発表予定のプレゼン(kosenconf-006tokyo)

http://die-at-india.g.hatena.ne.jp/keyword/%E9%AB%98%E5%B0%82%E3%82%AB%E3%83%B3%E3%83%95%E3%82%A1%E3%83%AC%E3%83%B3%E3%82%B9LT(kosenconf-006tokyo)
を、急遽「はてなグループ」ごと無断で作り、発表することにした。(Keynoteがない的な理由で。)

twitterでCurry流行の兆し

いるねすさん(@illness072)いわく:

(略)…先日のインドで死ねネタが一部TL上で異常に流行してる流れ
…(略)…まさかインドなだけにCurryでOS書こうなんてネタに

そして、

• Googleグループ: Die-at-India
• mixiコミュ: 4134335

も発生。

とつぜん「インドで死ね」って言い出した変な人たち…

• (唯一神・教祖)@illness072 @repeatedly @2bbb @mac_de_pon @faultier @pullus ＠kter @ch3cooh @kimobiler @nattou_curry @flashingwind @fune (12人ぐらい？)
• いまなら「役職」つき！

Curry言語

• 「an experimental functional logic programming language, based on the Haskell language. 」(http://en.wikipedia.org/wiki/Curry_programming_language)
• 「Haskellをベースとした関数論理型プログラミング言語」(はてなキーワード)

環境

• MCC: the Münster Curry Compiler
• インタラクティブ: 「cyi」

Prelude> length [1,2,3,4]
4

Prelude> length Xs where Xs free
{Xs = []} 0
More solutions? [Y(es)/n(o)/a(ll)] Y
{Xs = [_a]} 1
More solutions? [Y(es)/n(o)/a(ll)] Y
{Xs = [_b,_c]} 2
More solutions? [Y(es)/n(o)/a(ll)] Y
{Xs = [_d,_e,_f]} 3
More solutions? [Y(es)/n(o)/a(ll)] n

いろいろモジュールがある

• Combinatorialモジュールで

Prelude> :l Combinatorial
Combinatorial> permute [1,2]　
[1,2]
More solutions? [Y(es)/n(o)/a(ll)] A
[2,1] 

…順列。

つづきはウェブで！

• 「インドで死ね！」でググると、上位はぜんぶ関係サイト。
• SEO完璧。