関数型プログラミング言語Haskell Part10

関数型プログラミング言語Haskell Part10 at TECH

40:デフォルトの名無しさん
09/02/09 20:52:12
そういやCleanって最近話題聞かないな

41:デフォルトの名無しさん
09/02/09 22:40:16
>>36
Haskellユーザーとは痛み分けだったろ。それにSchemeのほうも一年以上
かかってたじゃねぇか。

42:デフォルトの名無しさん
09/02/09 22:41:35
Haskellの強みを論理的に教えてください。

43:デフォルトの名無しさん
09/02/09 23:15:21
あなたにとっての「強い」を論理的に説明してください

44:デフォルトの名無しさん
09/02/09 23:17:24
>>43
あなたはもう発言しなくてよろしい

次の方どうぞ

45:デフォルトの名無しさん
09/02/09 23:26:37
>>42
チューリング完全なら、ぜんぶ同じでは？

46:デフォルトの名無しさん
09/02/09 23:27:20
瞬殺された>>42が朝まで暴れるとみた

47:デフォルトの名無しさん
09/02/09 23:28:39
>>36は勝利宣言だけかいｗ

48:デフォルトの名無しさん
09/02/09 23:30:41
難しい話じゃなし、疑問があるなら勉強すればいいんだよ
絡みたいだけの奴はやっぱスレに張り付いてんだなあ

49:デフォルトの名無しさん
09/02/09 23:34:37
>>48
言わせてもらいますが、
Haskellの強みをはっきり書いた論文も書籍もありませんよ。

50:デフォルトの名無しさん
09/02/09 23:36:40
関数型言語はなぜあなたのコンプレックスを刺激するのか論理的に説明してください

51:デフォルトの名無しさん
09/02/09 23:39:39
モナドのすべてにでてくる各種モナドがイミフだったから
あれらの定義を仕様を表す論理式から導き出せるようになりたい
使ってるうちに解るとは到底思えないぐらいイミフ

52:デフォルトの名無しさん
09/02/09 23:41:39
IOモナドが意味不明だったので、Lispも糞だと結論付けました

53:デフォルトの名無しさん
09/02/09 23:44:38
攻撃的な発言は発言した内容が自分自身にそのまま当てはまると内心で思っている証拠だということに最近気づいたところなんだよ。

54:デフォルトの名無しさん
09/02/09 23:49:37
だから相手を攻撃するということは自分自身の弱さを曝け出すことにもなるんだよ。

55:デフォルトの名無しさん
09/02/09 23:54:31
こういう話題になると
今までみんなどこに居たんだと思うぐらいレスが付くなあ

56:デフォルトの名無しさん
09/02/10 00:12:59
>>45
全然話の流れと関係ないとこで気になったんだが
チューリング完全なら全部一緒という論調ってどこか違和感がある

CのプリプロセッサとCはどちらもチューリング完全性だと思うが
単純に構文糖衣という意味以上に、能力的にはCのほうが高いと思う。
スケーラビリティの点で。
Cで関数引数nに、簡単に大きな引数を指定出来るのに対し
プリプロセッサで同じことをやろうとすると、
大きな引数nの値と同じ数だけ自分でデータを作る必要が
あったように思う

そういう意味でプログラム自身をデータと見なせるLispは
かなりスケーラビリティ的な意味で能力が高いと思うわ
しかし、プログラム自身をデータと見なせるだけでは
まだスケーラブルにならない世界もあるんじゃ無かろうか
うまく説明できんが、
自然数→整数→実数→複素数の進歩のように

57:デフォルトの名無しさん
09/02/10 01:12:25
どうでもいいところに突っこむが、Cプリプロセッサのための任意長整数ライブラリは存在するよ
URLﾘﾝｸ(sf.net)
とか

58:デフォルトの名無しさん
09/02/10 01:36:36
>>36
Haskellユーザーよりも、Lisp,Schemeの方が、バカの扱いに慣れているって事が分かりました。

59:デフォルトの名無しさん
09/02/10 14:26:27
自然言語を目指すとか10年古い釣りワードが入ってるし

60:デフォルトの名無しさん
09/02/10 14:54:02
10年どころか、30年古いぞｗ