LLにおける関数型プログラミング

**デフォルトの名無しさん** · 2012/08/16(木) 22:17:50.32

339 返信：153[sage] 投稿日：2012/08/16(木) 22:16:29.83
>>314
>関数型言語でなければならないという観点は間違ってる気がする

ああ、これについては同感だね
現状のどの関数型言語も文字列、パターン、ハッシュの操作に難があるから、
現行LLであるPerl/Python/Rubyを置き換えるには無理があると思う

ただし、関数型言語にも良い特性がある訳で、実際に(LLを含む)多くの言語に影響を与えている
だから自分は「LLにおける関数型プログラミング」に注目している

**デフォルトの名無しさん** · 2012/08/16(木) 22:20:44.31

そうか

うゆ · 2012/08/16(木) 22:24:22.07

rubyが最強っていってんじゃん

**デフォルトの名無しさん** · 2012/08/16(木) 22:29:24.64

いい加減関数型とかうるさい

**デフォルトの名無しさん** · 2012/08/16(木) 22:42:07.04

>>1
> 現状のどの関数型言語も文字列、パターン、ハッシュの操作に難があるから、

その難というのを、もっと明確に言ってほしい。

たとえば、＊＊というプログラムをする上で必要な
文字列に関する＄＄という操作が、
どの関数型言語でもできない、あるいはやりにくい。

など

パターンとハッシュに関しても同様に。

**デフォルトの名無しさん** · 2012/08/16(木) 22:46:25.19

【関連サイト: Python編】

・関数型プログラミング HOWTO ― Python 2.7ja1 documentation
　http://www.python.jp/doc/nightly/howto/functional.html

・魅力的なPython: Pythonでの関数プログラミング: 第1回 - IBM dw
　http://www.ibm.com/developerworks/jp/linux/library/l-prog/

・Pythonの技法：関数型言語スタイル「関数の部分適用」 - ZDNet Japan
　http://builder.japan.zdnet.com/script/20364411/

・Pythonの"関数型"の機能の起源 - The History of Python.jp
　http://python-history-jp.blogspot.jp/2009/05/python.html

**デフォルトの名無しさん** · 2012/08/16(木) 22:54:29.59

カリー化なんかもRubyで簡単にできる時代

def add(a, b)
　return a + b
end

def curry(f, a)
　return lambda { |b| method(f).call(a, b) }
end

add1 = curry(:add, 1)
p add1.call(2)

Rubyは関数オブジェクトを扱えるので、
置き換えるも何も、既にRubyは関数型言語
当然純粋関数型言語ではないし、関数型言語らしく書かない事もできるけど、
関数型言語としての特性を備えている事に変わりはない

そもそもどの言語でも最近関数オブジェクトの取り入れが盛んで、
関数型言語かどうかという分類が既に成り立たなくなってる
C++11ですらカリー化できる時代、
可能なのはせいぜい純粋関数型言語か否かという区別程度だな
http://ideone.com/H82Pn

uy · 2012/08/16(木) 22:57:19.48

同意ですよ

**デフォルトの名無しさん** · 2012/08/16(木) 23:08:53.70

>>7
それのどこがカリー化だアホめ

**デフォルトの名無しさん** · 2012/08/16(木) 23:09:47.31

関数名がカリーだろよく見ろ

**デフォルトの名無しさん** · 2012/08/16(木) 23:10:41.08

以降おいしいカレーとチャーハンの作り方のスレ

**デフォルトの名無しさん** · 2012/08/16(木) 23:13:14.87

間を取ってドライカレーで

**デフォルトの名無しさん** · 2012/08/16(木) 23:13:58.81

>>7
それはカリー化ではなく、部分適用です。

uy · 2012/08/16(木) 23:18:13.64

http://www.ruby-doc.org/core-1.9.3/Proc.html#method-i-curry

はいはいわろ

**デフォルトの名無しさん** · 2012/08/16(木) 23:31:18.63

例えば f (a, b, c) という3引数の関数に対して、これをカリー化した関数というのは、
y (b, c) という2引数の関数を戻り値として返す1引数の関数 g (a) のことだ。

関数 f から関数 g を作ることをカリー化という。

では >>7 の中でカリー化された関数とはどれか、明確に示してみよ。

**デフォルトの名無しさん** · 2012/08/16(木) 23:34:41.03

んじゃこれで
1.9では>>14なんてのもあるみたいだが

def add(a, b)
　return a + b
end

def curry(f)
　return lambda { |a| lambda { |b| method(f).call(a, b) } }
end

add1 = curry(:add).call(1)
p add1.call(10)

**デフォルトの名無しさん** · 2012/08/16(木) 23:34:48.19

f :: (a, b, c) -> d から
g :: a -> (b -> (c -> d)) を作るのがカリー化

**デフォルトの名無しさん** · 2012/08/16(木) 23:40:44.49

>>16
２引数の場合しか動かんようなクソコードなら貼らなくて良いよ

**デフォルトの名無しさん** · 2012/08/16(木) 23:49:07.32

ソースコードに全角スペース入れる奴なんなの？

**デフォルトの名無しさん** · 2012/08/16(木) 23:53:57.05

お前は黙ってろ

**デフォルトの名無しさん** · 2012/08/17(金) 00:02:31.38

>>17
違う

f :: (a, b, c) -> d から
g :: a -> ((b, c) -> d) を作るのがカリー化だ。

-- Wikipedia : カリー化（http://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%AA%E3%83%BC%E5%8C%96）
> 複数の引数をとる関数を、引数が「もとの関数の最初の引数」で戻り値が「もとの関数の残りの引数を取り結果を返す関数」であるような関数にすること。

カリー化された関数の戻り値は「もとの関数の残りの引数を取り結果を返す関数」だ。

(b, c) を勝手に b -> c -> と形を変えることまではカリー化には含まれない。