- 1 名前：デフォルトの名無しさん [04/05/04 14:53]
- Lisp Scheme ML Haskell FP Mirranda など
関数型言語について話し合いましょう
関連スレ
関数型プログラミング言語ML
pc3.2ch.net/test/read.cgi/tech/1012445015/
関数型プログラミング言語Haskell
pc3.2ch.net/test/read.cgi/tech/1013846140/
LISP Scheme Part6
pc3.2ch.net/test/read.cgi/tech/1031560687/
Emacs Lisp
pc3.2ch.net/test/read.cgi/tech/1004551074/
- 415 名前：デフォルトの名無しさん mailto:sage [2005/10/01(土) 00:35:46 ]
- なんかいきなり賑わいだしたが、なんかあったの？
- 416 名前：デフォルトの名無しさん mailto:sage [2005/10/01(土) 01:05:56 ]
- > Haskell: Hugs は CVS 版が Unicode をサポートをしているらしい。GHCはまだ怪しい感じ。
GHCで鬼車を使うパッチはある。
GHCはコンパイラ自体の字句解析がEUC以外の多バイトコードに対応してない。
- 417 名前：デフォルトの名無しさん [2005/10/01(土) 16:15:33 ]
- mod-perlみたいなのがないと
仕事じゃ使えない。
- 418 名前：デフォルトの名無しさん mailto:sage [2005/10/01(土) 22:33:20 ]
- 仕事 == CGI 書き?
- 419 名前：デフォルトの名無しさん mailto:sage [2005/10/01(土) 23:13:08 ]
- 自然言語処理です。
- 420 名前：デフォルトの名無しさん [2005/10/01(土) 23:44:18 ]
- 確かにWEBアプリには使えないね。
- 421 名前：デフォルトの名無しさん mailto:sage [2005/10/02(日) 00:12:31 ]
- 人権擁護法案がとおっちゃいますよ。
この法案聞こえはいいが、日本滅亡の序曲ですよ。
↓
小泉が人権擁護法案早期に提出 （05/9/29・国会答弁）
live14.2ch.net/test/read.cgi/liveplus/1127977257/
人権擁護法案ってどんなものなんだ？
blog.livedoor.jp/monster_00/archives/cat_847822.html
分かる！人権擁護法案（Flash）
www.geocities.jp/kaniku4/
言 論 弾 圧 に よ り 2 c h も 閉 鎖 か ！ ？
- 422 名前：デフォルトの名無しさん mailto:sage [2005/10/03(月) 06:18:24 ]
- CPUが関数型ってどういうの？どんなインターフェイスなの？
- 423 名前：デフォルトの名無しさん mailto:sage [2005/10/03(月) 14:07:02 ]
- 全部遅延されているから、キーボードを叩かないと動き始めない。
- 424 名前：デフォルトの名無しさん mailto:sage [2005/10/05(水) 14:29:22 ]
- >>422
フォン・ノイマン型アーキテクチャだと関数型といえないだろ
CPU,メモリ,入出力という発想から脱却しないと
- 425 名前：デフォルトの名無しさん mailto:sage [2005/10/05(水) 22:03:31 ]
- リスプマシーンあったじゃん。
- 426 名前：デフォルトの名無しさん mailto:sage [2005/10/05(水) 22:31:34 ]
- しばらくみてたけど質問の意味がわからないな。>>422
Lispマシーンのinstruction setは関数型じゃありませんって。>>425
それが、hardware Lisp CPUであろうと、Virtual Machineだろうと。
言語としてのLisp自体、制御構造とか副作用とかが
沢山ありますよね。それをサポートするためのinstructionで
いっぱいで、その全体は関数型とは程遠いですよ。
むしろ、ちょっと風変わりな（保守的・古典的な）プロセッサって感じ。
一方、LispマシンorVMの存在は認めた上で、それが関数形言語の
実装という応用に対して便利か？という議論はありえますが、
これにも僕は否定的です。
- 427 名前：デフォルトの名無しさん [2005/10/05(水) 23:16:20 ]
- マウスの入力ってどうすんの？
- 428 名前：デフォルトの名無しさん mailto:sage [2005/10/05(水) 23:30:43 ]
- 関数型ＣＰＵはメモリーもレジスタもないんだよ
値は命令間を直接流れる
- 429 名前：デフォルトの名無しさん mailto:sage [2005/10/06(木) 00:42:28 ]
- CPUっていうか
FPGAの設計に落とし込んだりできないだろうか。
- 430 名前：デフォルトの名無しさん mailto:sage [2005/10/06(木) 02:09:02 ]
- 環境は？
- 431 名前：デフォルトの名無しさん mailto:sage [2005/10/06(木) 02:10:38 ]
- 関数型っていうのはプログラミングの際に有用な概念であるけれど、計算機の構造上の有用性はあるの？
- 432 名前：デフォルトの名無しさん mailto:sage [2005/10/06(木) 02:29:19 ]
- ttp://www.shiro.dreamhost.com/scheme/wiliki/wiliki.cgi?Shiro 2005/09/30 の所
ttp://homepage3.nifty.com/mogami/diary/d0509.html#28t1
Lisp/Common Lisp は純粋関数型じゃないから置いておいても、
これからのメニーコア CPU には関数型言語がベストマッチだと
いう考えが出て来てもおかしくはないかな。
- 433 名前：デフォルトの名無しさん mailto:sage [2005/10/06(木) 02:50:14 ]
- そうかなあ。レイトレみたく完全に独立な計算をパラに展開するのは
容易だが、相互に通信したり状態を共有したりするようなのは
純粋関数型で書くのはなかなか難しいと思う。
例えば探索なんか一見パラにできそうでもキャッシュやルックアップテーブルが
きちんと機能して枝刈りできないとつらいっしょ。
>>432のリンク先に書いてあるようなミクロな並列性はスレッドをプールから
ひっぱってきてアサインして完了を待つなんてことやるコストに引き合うか
疑問でしょ。たぶんプロファイルとった上で限られた部分にだけ適用しても
引き合うんじゃないの。行列計算とかならともかく、インタラクティブなもの
はたいがい状態引き回しが必要だろうし。
>>432みたいのはちょっと、裏付けなさすぎの与太話の域を出ないんじゃないかな。
- 434 名前：デフォルトの名無しさん [2005/10/06(木) 13:28:45 ]
- 関数型がくそに思えてきた今日この頃。
- 435 名前：デフォルトの名無しさん mailto:sage [2005/10/06(木) 19:15:02 ]
- >>428
Tomasulo algorithmは見方によっては命令間で直接データを渡してるな。
見方によってはただのレジスタリネーミングだけど。
- 436 名前：４２８ [2005/10/06(木) 21:22:11 ]
- ほほぅ。思いつきで言ってみたが、いいセンスしてるな。俺。
- 437 名前：デフォルトの名無しさん mailto:sage [2005/10/16(日) 18:58:16 ]
- 関数型マンセーな人の何割かが実践してプログラム組めば、
関数型が使えないなんてことにはならないかもしれんな
と最近思った。
- 438 名前：デフォルトの名無しさん mailto:sage [2005/10/16(日) 19:31:10 ]
- そういう面倒なだけで論文の書けないことは、下々の皆様にお任せします。
- 439 名前：デフォルトの名無しさん mailto:sage [2005/10/17(月) 23:27:54 ]
- 研究者でも何割かはまともな論文書いてないだろうし、
って言ったら怒る？
- 440 名前：デフォルトの名無しさん mailto:sage [2005/10/18(火) 00:04:29 ]
- Common Lispで実践的なプログラムを書いてみる入門書が無料で読めるね。
まだちょっとしか読んでないけどなかなかおもしろいよ。
www.gigamonkeys.com/book/
- 441 名前：デフォルトの名無しさん mailto:sage [2005/10/18(火) 00:20:32 ]
- 目次だけ見ましたが、>>440 Common Lispで（Common Lispっぽい)実践的な
コードを書く話かと思います。関数型言語と関係があるように思えませんでした。
Common Lispを関数型言語とは普通呼ばないし、Lispの中でもCommn Lispは
関数型プログラミングはやりにくい部類ですよね。
- 442 名前：441 mailto:sage [2005/10/18(火) 00:33:53 ]
- うげ！
今改めて>>1をみたら、Lispスレや、あろうことかEmacs Lispスレまで
関係あることになってるのな。そういうpositionのスレだとは知らんかった。
てなわけで、関数型に対してカタクナ過ぎる俺は無視して続けてくれい >>440
- 443 名前：デフォルトの名無しさん mailto:sage [2005/11/01(火) 22:07:10 ]
- そこまで気にする必要ないよ。
多少の派閥があるだけだから。
- 444 名前：ハーピィ mailto:sage [2005/11/01(火) 22:23:52 ]
- E・∇・ﾖﾉｼ ＜444ｹﾞｯﾄ♫
- 445 名前：デフォルトの名無しさん mailto:sage [2005/11/06(日) 00:08:28 ]
- >>442
つうか Lisp の中で特別 Common Lisp が関数型やりにくいってのは誤解だと思
われ。ただ単にマルチパラダイムなだけでやるやつはやる。そんとき特別
Scheme よりやり難いってわけでもない。型推論とかパターンマッチング構文も
いくつか実装があったような
- 446 名前：デフォルトの名無しさん [2005/11/06(日) 02:43:18 ]
- Ocamlの質問ってここでしていいですか？
ttp://www.kb.ecei.tohoku.ac.jp/~sumii/ocamlbook/book-ora.pdf
の88pの練習問題 字句木をやっているんですが、stringの先頭から
順番に文字を受け取りたいときってどうすればいいんですか。
もちろんstr.[n]ってすればできるんですけど、
リストみたいにもっとスマートにできないんですかね。
- 447 名前：デフォルトの名無しさん mailto:sage [2005/11/06(日) 03:08:39 ]
- >446
一応より特化したスレがあるが
関数型言語ML(SML, OCaml, etc.), Part 3
pc8.2ch.net/test/read.cgi/tech/1103606223/
- 448 名前：デフォルトの名無しさん mailto:sage [2005/11/06(日) 03:48:10 ]
- >>446
残念ながら、そういう方法はない。ので、
1. str.[n]を駆使する
2. 自分で list_of_string を書いてリスト化してから処理する
3. Stream.of_string を使って Stream で処理する
4. そのほか
のどれかをやるしかない。
この練習問題くらいなら 2 だろうなという気がする。
- 449 名前：デフォルトの名無しさん mailto:sage [2005/11/15(火) 15:28:30 ]
- String.iter
- 450 名前：デフォルトの名無しさん mailto:sage [2005/11/19(土) 16:19:08 ]
- 何この差ｗｗｗｗｗ
sourceforge.net/softwaremap/trove_list.php?form_cat=160
C++ 16669
Java 16645
C 15876
PHP 12092
Perl 6187
.
.
.
LISP 323
- 451 名前：デフォルトの名無しさん [2005/11/19(土) 18:22:43 ]
- Ruby 398（ ´,_ゝ｀）ﾌﾟｯ
Visual Basic .NET 289(*≧∇≦)ﾉ☆ ｷﾞｬﾊﾊ ﾌﾟｷﾞｬｰ
- 452 名前：デフォルトの名無しさん [2005/12/15(木) 08:10:46 ]
- 誰か STM(software transaction memory) とはどーいうものか
教えてくれぬか
- 453 名前：デフォルトの名無しさん mailto:sage [2005/12/15(木) 09:53:20 ]
- >>452
マルチスレッドプログラミングで、スレッド間の(mutableな)共有変数を扱うとき、
コードの特定の部分が他のスレッドに割り込まれることなく(つまり、atomicに)実行されてほしいことがある。
STMの考え方は、その部分で起こった共有変数への読み書きを局所的なログに保存しておいて、
その部分が終了したときまとめてメモリに反映するというもの。
最後に不整合が見付かった場合、ログを捨てて最初からやり直す。
こういうとき普通はロックを使うんだけど、ロックにはいくつか問題がある。
例えば、共有変数を扱う二つの(副作用のある)関数A,Bがあったとして、
A,Bともに正しくロックを使っていたとしても、「Aを呼び、次にBを呼ぶ」ことをatomicに行う
関数を書くには、AとBの抽象化を破壊してどの変数をロックすべきかを調べないといけない。
STMはこの問題を解決する。
www.research.microsoft.com/%7Esimonpj/papers/stm/index.htm
俺はこれの前半を読んだだけだから、変なことを言ってたら突っ込んでくれ。
- 454 名前：デフォルトの名無しさん mailto:sage [2005/12/15(木) 22:23:18 ]
- optimistic lockingでやるってことか。
最後にコミットするときはロックによるatomicityの保証がいる筈だが、
Cで書いたcommit APIの中に閉じ込めるのでHaskellからは見えないということ
みたいだな。
>>453の論文の範囲では、Haskellはuni-processorのみ、かつuser-level
threadが safe pointでしか切り替わらないからCで書いた部分はアトミック
と考えていいらしい。Rubyと同じってことだね。
- 455 名前：デフォルトの名無しさん mailto:sage [2005/12/16(金) 10:24:50 ]
- 誰か関数型プログラミングどんなものか教えてくれ。
普通のウィンドゥプログラムとかかけるの?
- 456 名前：デフォルトの名無しさん mailto:sage [2005/12/16(金) 10:28:19 ]
- >>455
書けるに決まってるだろハゲ。チューリング完全を何だと思ってやがる。
- 457 名前：デフォルトの名無しさん mailto:sage [2005/12/16(金) 10:29:27 ]
- >>453
>ログを捨てて最初からやり直す。
うーん、まだpaper読んでないけど、これってどう実現するんだろう
整合性が確かめられるまで無制限にやり直すのだろうか
- 458 名前：デフォルトの名無しさん mailto:sage [2005/12/16(金) 19:09:50 ]
- それよりコミット（反映）する際には結局ロックが必要そうな…
- 459 名前：デフォルトの名無しさん mailto:sage [2005/12/16(金) 19:43:54 ]
- コミット中に、他のスレッドに割り込まれないように実装してるんだよ。
- 460 名前：デフォルトの名無しさん mailto:sage [2005/12/16(金) 20:53:42 ]
- >>456
手続き型と何が違うんだ?3行でわかりやすく書け。このちんかす。
- 461 名前：デフォルトの名無しさん mailto:sage [2005/12/16(金) 22:33:11 ]
- 字
が違
う
- 462 名前：デフォルトの名無しさん mailto:sage [2005/12/16(金) 22:58:34 ]
- >>459
ユーザレベルスレッドでしか使えないのか
- 463 名前：デフォルトの名無しさん [2006/01/06(金) 21:07:13 ]
- 割りかし有名な 3D ポリゴンモデラーで Wings 3d つーのがあるんだけど、
ソース見たら Erlang で書かれてた。Erlang で書かれた本格的なアプリなんて
見た事無かったから少し驚いた。
www.wings3d.com/
普通にサクサク動くし、Erlang ちょっと良いかも。
でも、日本じゃ何故か人気無いね。なんでだろう。
- 464 名前：デフォルトの名無しさん [2006/01/06(金) 21:31:47 ]
- 国が国策としてHaskellを支援するべき。
チャイナと戦うためにはそれしかない！
最近、大原麗子見ないけど、どうしてるんだろう？
- 465 名前：デフォルトの名無しさん mailto:sage [2006/01/06(金) 21:54:13 ]
- いちおう聞くけどなぜ Haskell なの？
- 466 名前：デフォルトの名無しさん mailto:sage [2006/01/07(土) 12:03:29 ]
- CやJavaは適度にプログラマの職を増やしてくれる。
雇用の創出こそが一番大事で、ものの良し悪しなど二の次なのですよ。
でも、結果として生産性において負けるようなことがあるなら、
それは雇用が減るということで、渋々新しいものが導入される。
- 467 名前：デフォルトの名無しさん mailto:sage [2006/01/07(土) 20:30:41 ]
- 国策ならRubyだろ
- 468 名前：デフォルトの名無しさん mailto:sage [2006/01/30(月) 22:11:12 ]
- >>467
( ﾟдﾟ)
＿(__つ/￣￣￣/＿
＼/ /
￣￣￣
( ﾟдﾟ )
＿(__つ/￣￣￣/＿
＼/ /
- 469 名前：デフォルトの名無しさん mailto:sage [2006/02/12(日) 13:39:24 ]
- プログラマの地位向上を国策とすべきだ。
- 470 名前：デフォルトの名無しさん [2006/02/12(日) 15:45:35 ]
- 無能文系プログラマを締め出せばいい。
ハスケル標準
さらにスピード要求の機能はCやアセンブリ
- 471 名前：デフォルトの名無しさん [2006/02/12(日) 18:43:42 ]
- 授業の課題で、
「MLやHaskellに代表される関数型プログラミング言語について調べ、
PascalやC言語に代表される手続き型言語との相違を説明するとともに、
関数型プログラミング言語が広く普及していない理由を議論しなさい。」
というのが出たのですが、さっぱりです。
頭のｲｲおまいら、教えてください！！
- 472 名前：デフォルトの名無しさん mailto:sage [2006/02/12(日) 18:53:40 ]
- つ【google】
- 473 名前：デフォルトの名無しさん [2006/02/12(日) 21:41:29 ]
- >>471
とりあえずラムダ算法がベース。ここまでで広義の関数型言語(関数的、とも云える):Lisp方言やMLなど
参照透明性があるとか副作用がないとか(副作用はモナドや一意型などで解決している):HaskellやClean
普及してない理由はCやJavaやPerlがなんで普及しているかを考えればおｋ
詳細は ttp://www.shiro.dreamhost.com/scheme/trans/being-popular-j.html
俺の個人的見解では「ある言語しか知らないプログラマはその言語でしか物を考えられない(ほげ言語のパラドクス)」と
関係してると思う。ほげ言語のパラドクスについては ttp://www.shiro.dreamhost.com/scheme/trans/beating-the-averages-j.html
- 474 名前：デフォルトの名無しさん [2006/02/12(日) 21:43:00 ]
- あー、参照透明性があるとか副作用がないとかそういう言語を特に「純粋な関数型言語」とか云うらしいぜ。
Wikipedia とかも見とけ。
- 475 名前：デフォルトの名無しさん mailto:sage [2006/02/12(日) 21:57:04 ]
- 関数型言語の定義は厄介だな。
「関数プログラミングをencourageする言語」と言ったところか。
Basic, C, C++, Javascript, Lisp, ML, Haskell
のうち、適当なところから右が関数型言語ということになるかな。
「ラムダ計算を基礎とする言語」という定義は、Unlambdaという例外があるのでよくないと思う。
- 476 名前：デフォルトの名無しさん [2006/02/12(日) 22:04:48 ]
- >>475
474ですが、Unlambdaでぐぐったら「Unlambdaは、obfuscated programming languages
(混乱させるプログラム言語、といったところでしょうか) の一種として開発された言語です。
しかしただそれだけではなく、純粋関数型言語というもう一つの特徴も持っています」
とあったのですが……。しかし生産性は高くなさそうですね。
#広義の関数型言語、のもっといい定義というか表現、誰かお願いします
- 477 名前：デフォルトの名無しさん mailto:sage [2006/02/12(日) 23:45:47 ]
- a href "
- 478 名前：471 [2006/02/13(月) 00:53:18 ]
- >みなさん
色々ありがとうございます。
今日色々考えてみて、実際問題として、数学的な考えをもてるプログラマが少ないことが一番
関数型プログラミング言語の普及を妨げてるのかな、と思ったんですが、どうでしょうか？
素人なんで、間違っていたらすみません。
- 479 名前：471 [2006/02/13(月) 01:33:29 ]
- レポート記入途中なのですが、
「広義の関数型プログラミング言語とは〜であり、LispやSchemeがこれに含まれる。
より厳密な意味での関数型プログラミングとは〜であり、Haskellが挙げられる。」
という文章を書きたいのですが、〜にはどういう内容を書けば適当でしょうか？
因みに、厳密な定義の要件としては、「参照透過性」を満たすだけでよいのでしょうか？
- 480 名前：デフォルトの名無しさん [2006/02/13(月) 01:47:20 ]
- >>479
広義の方はラムダ算法とか高階関数とかがごく普通に使われる言語、みたいな感じでいいと思うよ。
厳密の方はWikipedia によれば(ttp://ja.wikipedia.org/wiki/%E5%8F%82%E7%85%A7%E9%80%8F%E9%81%8E%E6%80%A7)
どうもそうっぽい。宣言型言語とも呼ばれるみたいだね。
#レポートの成功とそう遠くない将来、関数プログラマとしてここに来てくれることを期待する:-)
- 481 名前：デフォルトの名無しさん mailto:sage [2006/02/13(月) 01:47:40 ]
- www.cs.nott.ac.uk/~gmh/faq.html#functional-languages
- 482 名前：473 [2006/02/13(月) 01:48:39 ]
- URL は
ja.wikipedia.org/wiki/%E5%8F%82%E7%85%A7%E9%80%8F%E9%81%8E%E6%80%A7
だね。閉じ括弧までURLと見なされる@xyzzy+2ch-mode
- 483 名前：デフォルトの名無しさん [2006/02/15(水) 04:54:07 ]
- Mirrandaってどんなの？
- 484 名前：デフォルトの名無しさん [2006/02/15(水) 04:58:49 ]
- Oberon と Mirranda はあるのに Titania は無いのか。
- 485 名前：デフォルトの名無しさん [2006/02/15(水) 07:47:17 ]
- 数論的プログラミングってなんでないの？
くだらない言語ばっかり山のように作って、
それらの上にくだらない意味論を定義して。
ゴミを山盛りにするのが言語屋の仕事ですか？
- 486 名前：デフォルトの名無しさん mailto:sage [2006/02/15(水) 09:41:43 ]
- 言いだしっぺの法則発動
- 487 名前：Why not FP ? mailto:sage [2006/03/24(金) 21:35:32 ]
- 関数型プログラミングがイマイチ流行らない原因について；
手続型に較べて高度な抽象化が要求されるけど、普通の人にはそれほど高度な抽象化ができないから。
高度な抽象化ができるのは極一部のプログラマだけで、マジョリティではないから。
…と思ったんだけど、どーよ？
- 488 名前：デフォルトの名無しさん mailto:sage [2006/03/24(金) 22:13:02 ]
- わざわざ抽象化しなくても手続き型でごりごり書けちゃうし、そのほうが速い（書くのも実行するのも）
という意識があるからではないだろうか
- 489 名前：デフォルトの名無しさん mailto:sage [2006/03/24(金) 22:16:42 ]
- >>487 単純に普通プログラマーが目にする言語が関数型じゃないものが多いということだと思われ。
つーか自分がそうなんだが･･･
関数型のプログラムの感じつかめるサイトないでしょうか･･･
長くてもかまいません。
- 490 名前：デフォルトの名無しさん mailto:sage [2006/03/24(金) 22:20:07 ]
- >>487
それもあるかも知れないが、関数型言語を使えるのに
趣味でコーディングするときには使わない人が多いことを考えると
他にも大きな理由がある気がする。
- 491 名前：デフォルトの名無しさん mailto:sage [2006/03/24(金) 23:07:56 ]
- 趣味の関数型コードを公開しないだけでは？
- 492 名前：デフォルトの名無しさん mailto:sage [2006/03/25(土) 04:25:03 ]
- XSLTって関数型言語にいれていいか？
あれなら、結構Webに転がってると思う
- 493 名前：デフォルトの名無しさん mailto:sage [2006/03/25(土) 23:07:55 ]
- グラフィック(GUI)とか日本語処理とか
ライブラリが揃ってれば、、
（日本語ドキュメントつきで）
実験コードからちっとも先に進まない俺
- 494 名前：デフォルトの名無しさん [2006/04/10(月) 20:21:55 ]
- >>493
それなら日本語ドキュメントは少なめだが(でも今年本が立て続けに出るらしい)Haskellがオススメ。
- 495 名前：デフォルトの名無しさん mailto:sage [2006/04/10(月) 20:36:41 ]
- いまのGHCは多バイト文字の処理に関してはうんこなのでHaskellは勧められない。
- 496 名前：デフォルトの名無しさん mailto:sage [2006/04/10(月) 22:04:14 ]
- GHCはたしかに多バイト文字は駄目すぎだが、Hugsだと大丈夫。
- 497 名前：デフォルトの名無しさん mailto:sage [2006/04/18(火) 01:42:02 ]
- 関数型プログラムをＣ＋＋で実現したいんだけど、遅延評価とかは無理だよね？？
lambda をなんとなく実装してみたけど、遅延評価は実装できなかった・・・。
- 498 名前：デフォルトの名無しさん mailto:sage [2006/04/18(火) 09:29:51 ]
- >>497
無理ではない。
- 499 名前：デフォルトの名無しさん [2006/04/18(火) 14:40:09 ]
- >>498
どうやるの？
- 500 名前：デフォルトの名無しさん mailto:sage [2006/04/18(火) 15:57:49 ]
- lamdaができれば遅延評価もできるんじゃね？
- 501 名前：497 mailto:sage [2006/04/19(水) 00:59:45 ]
- ちょっと、説明がわるかったっすね。。
ただの遅延評価（BOOST とかの lambda）はコンパイルレベルで出来るのでＯＫなんですけど、
たらいまわし関数を最適な形で処理できる遅延評価をＣ＋＋で実装したいわけなんです・・・。
- 502 名前：デフォルトの名無しさん mailto:sage [2006/04/19(水) 01:04:53 ]
- ああ、ただのthunk化という意味での遅延評価なら難しくないが
完全遅延、すなわちグラフリダクションを実装するのは難しいな。
Haskellをほぼ全て実装することに等しい。
- 503 名前：デフォルトの名無しさん mailto:sage [2006/04/23(日) 01:56:04 ]
- Reactive Programmingというものがなんであるかを素人の漏れにも解るように
5分以上かかっても構いませんのでどなたか解説をおながい致します m( _ _ )m
- 504 名前：デフォルトの名無しさん mailto:sage [2006/04/23(日) 07:18:36 ]
- 解説してみようと思ったが、「漏れ」「おながい」という言葉が大嫌いなので止めた。
- 505 名前：デフォルトの名無しさん mailto:sage [2006/04/23(日) 10:06:23 ]
- Erlangってつかてる人いる？
- 506 名前：デフォルトの名無しさん mailto:sage [2006/04/23(日) 13:59:55 ]
- >504
そんなこといわないで、お・ね・が・い♥
- 507 名前：デフォルトの名無しさん [2006/04/28(金) 00:06:17 ]
- C++でムリヤリクロージャーする関数書いたら出来た（・∀・）ｱﾋｬ!!
一部 BOOST の Lambda で使われてるテンプレート駆使したらほぼ望みどおりのものが出来ましたよ。
自前の Lambda もつくってみたけど、戻り値をTypeList（BOOST では tuple だっけ？）をつかっててクロージャーには使えなかった('Ａ`)
- 508 名前：デフォルトの名無しさん [2006/04/28(金) 11:31:41 ]
- 早くそのコードを公開するんだ
- 509 名前：デフォルトの名無しさん mailto:sage [2006/04/30(日) 02:03:00 ]
- >>505
ﾉｼ
まあ、あまり関数型言語という意識はないけど。
- 510 名前：デフォルトの名無しさん mailto:sage [2006/05/03(水) 12:12:23 ]
- 自前じゃない実行環境、特にVM系、の近況が分かるページないでしょうか。
JVM, Parrot, C--など。(C--は中間言語かな)
>>422
すげー亀レスで、しかもちょっと方向が違うけど、
昔九州大学で、データフロー計算機の上で関数型言語動かしてましたよね。
- 511 名前：デフォルトの名無しさん mailto:sage [2006/05/03(水) 12:13:30 ]
- そういや、一部Haskellを使ったPerl6はあるのに、(Pugs)
Parrot上で動くHaskellはないんですね。
List(cons)の実装が非効率的になるからかな?
- 512 名前：デフォルトの名無しさん mailto:sage [2006/05/04(木) 14:21:56 ]
- Parrotの魅力を語ってくれ
- 513 名前：デフォルトの名無しさん mailto:sage [2006/05/04(木) 19:01:51 ]
- Parrotって、Perl6用に使われるVMってことでいいんすか？
ちょっとスレ違いかも知れんけど
- 514 名前：デフォルトの名無しさん mailto:age [2006/07/30(日) 11:27:03 ]
- 保守age
- 515 名前：デフォルトの名無しさん [2006/09/25(月) 07:49:03 ]
- 学生でも教員でもないんだけどJournal of Functional Programmingって大学の図書館とか研究室くらいにしか置いてないんですかね。
|
 |
