05/12/20 10:47:45
>>797じゃないですがReadのインスタンスの作り方わからない…
readsPrecとreadListの作り方のチュートリアルか何かないでしょうか(できればShowの方も)
Haskell98Report読んでもサッパリです
810:デフォルトの名無しさん
05/12/20 13:02:57
instance Eq a => Eq (List a) where
Nil == Nil = True
Cons x xs == Cons y ys = x == y && xs == ys
_ == _ = False
811:デフォルトの名無しさん
05/12/20 18:59:40
>>808
なるほど。納得です。
>>810
こうすると出来ますね。
Eq クラスのインスタンスに制限されるってこういうことだったのですね
有難うございました。
812:デフォルトの名無しさん
05/12/21 23:26:59
>>809
チュートリアルじゃないけど、GHC.Readにいくつかinstanceの例がある。
URLﾘﾝｸ(cvs.haskell.org)
理解したら、是非チュートリアルを書いてくれ。
813: ◆SaiTAMaVxg
06/01/09 08:32:36
ミ （ ﾉ
／￣＼ ♪
～（ﾟ ∀ 。 ）⌒
♪ ＼＿／ 彡
ノ ι ヽ
♪ .ﾊ
,ﾍ （（
）ﾉ .））
（（ ∧∧//
＼(ﾟ∀ﾟ )
） ﾉ ヾ ♪
ミ シ´ ／ ,γ
ミ r´ （ ∧∧//
ヽ、 ヽ 彡 ♪ ( ﾟ∀ﾟ)'
） ﾉ 彡 .,/ ヽ ﾐ
ノ ,、（ ノ ﾉヽ l
r´／ ） ） ミ (´／ ﾉ ノ
（ （ （ （ γ´ (´
ヽ） ヽ＼ ﾉ ﾊ ヽ ♪
ﾉ ） . ／ ,,/ （,,ノ 彡
♪ （_＿ノ （_,,ノ
814:デフォルトの名無しさん
06/01/22 22:44:58
URLﾘﾝｸ(shootout.alioth.debian.org)
パフォーマンスが凄いことになってる。
815:デフォルトの名無しさん
06/01/23 00:03:09
shootoutって、普通のプログラマが見ても
「Cはやっぱり速いなあ」とか「インタプリタはやっぱり遅いなあ」とか
「Javaはやっぱりメモリ喰いだなあ」とか思うだけで、
「関数型言語頑張ってるな。ちょっと使ってみるか」とは全く思ってくれない罠。
816:デフォルトの名無しさん
06/02/02 21:41:39
複数の関数の挙動に影響を与える「オプション」を外部(コマンドラインとか)から指定したいとき
C++みたいな言語の「thisの省略」がすごく羨ましいんだけど、
似たようなことをHaskellっぽく書けないものだろうか。
implicit parameterでそれなりに書けそうだけど、
使われてるのを見たことがない。
みんな明示的に引数を持ち回るのが苦痛じゃないのか？
817:デフォルトの名無しさん
06/02/02 23:15:17
>>816
そんな君にReaderT。
StateTでもいいぞ。
818:デフォルトの名無しさん
06/02/02 23:46:36
>>817
おー、ありがとう。
この目的のためにReaderモナドで計算順序を導入するのには抵抗があったけど、
既にもなでぃっくなコードにReaderTを混ぜ込むなら面倒が少ないな。
819:デフォルトの名無しさん
06/02/05 07:29:06
この言語は素晴らしいですか？
820:デフォルトの名無しさん
06/02/05 07:47:59
最高ですかー！
821:デフォルトの名無しさん
06/02/05 08:28:42
この言語の、C++に較べて、劣っている点を教えて下さい。
822:デフォルトの名無しさん
06/02/05 10:42:57
・C++ではテンプレートを使ってコードの抽象性と実行時効率を両立できるけど、
Haskellでは困難。
・C++では名前空間・クラス・関数をかなり自由に相互ネストさせられるし、
ネストに従って細かくスコープを分けてくれるのに対して、
Haskellの名前空間はフラットで、レコードのフィールド名のスコープがモジュールレベルだったり、
関数に局所的な型の定義ができなかったりして不便。
・互いに関連のないものに同じ名前を与えるC++風の多重定義は難しい。
やってできないことはないけど、想定された言語の使いかたではないだろう。
823:デフォルトの名無しさん
06/02/06 00:21:58
俺は今酔ってるし、ニートだし、最強だ。
ﾓﾅﾃﾞｨｳｽを参考にシューティングゲーム作るぞ。うぉー！
824:デフォルトの名無しさん
06/02/06 00:33:36
>>823
マジ応援してる。
825:デフォルトの名無しさん
06/02/06 03:51:37
出来上がったコードの実行速度はめっちゃ遅いですか？
826:デフォルトの名無しさん
06/02/06 06:11:44
>>825
>>814
827:デフォルトの名無しさん
06/02/06 07:33:29
Haskell Hackerが超がんばってキモいコード書けばgcc相当にはなるらしい。
俺のような凡人が普通に書いたらめっちゃ遅い。
828:デフォルトの名無しさん
06/02/06 09:10:24
ハスケルハッカーがキモいコードを書けば、
バグは少ないわ高速だわの最強のコードが生成されるのですね？
それとも、キモいコードってのはバグを許す代わりに高速にするとかいう類の話？
829:デフォルトの名無しさん
06/02/06 22:46:13
URLﾘﾝｸ(shootout.alioth.debian.org)
URLﾘﾝｸ(shootout.alioth.debian.org)
・コンパイルが大変で、
・コードが読みにくい分バグが多く、
・遅い
830:デフォルトの名無しさん
06/02/06 23:05:14
確かに読みにくいね。
>・コンパイルが大変で、
どういう意味？
831:デフォルトの名無しさん
06/02/07 05:53:35
ハスケル勉強したいが
参考書がきっと1万とか法外な値段でしょ？
手が出ません＞＜
832:デフォルトの名無しさん
06/02/07 06:09:11
数学やってる人がHaskellを直ぐに分かるのは、
集合論と一階述語論理について勉強済みだからなんだよね？
833:デフォルトの名無しさん
06/02/07 10:27:09
もうすぐ青木さんの本とかが出るでしょ。
使うだけなら数学の話は特に必要ないよ。たぶん。
834:デフォルトの名無しさん
06/02/07 11:00:55
数学の知識はいらないと思うけど、論理学の基礎なしじゃむりだぽ。
835:デフォルトの名無しさん
06/02/07 16:18:33
数学に基づいて作られた言語ではあるが，その理念を理解して利用するのと，ただプログラミング言語として利用するのとでは意味が違う。
836:デフォルトの名無しさん
06/02/07 16:28:17
「アルゴリズムのプロトタイピングなら C や Java よりも簡単で，早くできます」
とは大学の教官の弁。単位きたかなあ。
837:デフォルトの名無しさん
06/02/07 16:54:31
早く作れても速く動かないのではなぁ…
838:823
06/02/07 17:13:22
>>837
みんなで速くするんだと思います＞＜
CやFORTRANが速いのは多分歴史が長いからだと思ってる
--以下チラシの裏
今日やったこと：eclipseの日本語化とFPの導入
一言：eclipseをeclispだと思ってて「HaskellなのになんでLisp？」とか考えてた。英語弱いな、俺
今からやること：エヴァの映画借りてきて見る
839:デフォルトの名無しさん
06/02/07 21:16:35
>>837
だからプロトタイピングなんだろ。
物好きがいろいろやってはいるけど、どう考えても研究用途の言語だよな。
だから意味がないというわけではないが。
840:デフォルトの名無しさん
06/02/07 21:46:46
>>839
ちょっとお前は論点ずれてるよな。
841:デフォルトの名無しさん
06/02/07 22:30:09
>>830
liftMとか素人なら完全に御手上げ。
あと、何この演算子？ってのを使ってる
(.|. (shiftL i 3)) -- google氏も無視
逆にhaskellが神言語になってる例
URLﾘﾝｸ(shootout.alioth.debian.org)
URLﾘﾝｸ(shootout.alioth.debian.org)
d 言語90行
haskell 11行
実行速度ほぼ同じ
理由
Integer型が使える
Monadを使う必要もMonad持ち上げをする必要がない。(配列を使う必要がない)
842:デフォルトの名無しさん
06/02/08 18:30:21
>liftMとか素人なら完全に御手上げ。
たぶん、すぐ慣れると思う。
>(.|. (shiftL i 3)) -- google氏も無視
そんなあなたにHoogle
URLﾘﾝｸ(www.haskell.org)
843:デフォルトの名無しさん
06/02/08 21:20:50
>>842
すげー。
型から検索できるのがHaskellらしいな。
844:デフォルトの名無しさん
06/02/09 09:48:51
みなさんは、式がどういう順番で評価されていくか
手にとるようにわかるのですか？
私はどう書いたら速いコードになるのかいまいちわかりません。
845:デフォルトの名無しさん
06/02/09 13:07:28
評価順序など考えない。何のための遅延評価だと思っとる。
速いコードを書くのが目的なら関数型言語など、いや、
高級言語など使うのはお止めなさい。
846:デフォルトの名無しさん
06/02/09 13:19:59
普段は評価順序なんか考えないでコーディングして、
効率が足らないことが分かったとき、そこをアセンブリで書き直す代わりに
既にあるHaskellのコードをいじって効率を確保する、というのは、
それなりに合理的だと思うんだが。
847:844
06/02/09 13:44:18
べつに速さで C と張り合おうとか思ってるわけではないのですが、例えばhead $ xs ++ [x]が O(1) かどうかというのは、評価順がわからないとわからないですよね？こういう簡単な例なら私にもわかるのですが、ちょっと複雑になると頭を抱えてしまうわけです。
848:823
06/02/09 14:15:14
>>847
多分、どんな順序で書いてもコンパイラが同じように並べかえてくれるんじゃないかなぁ？
コンパイラが考えうる中で最も効率的なコードが出るようにね
849:デフォルトの名無しさん
06/02/09 14:16:51
>>847
非正格になれてないだけ。
850:デフォルトの名無しさん
06/02/09 19:00:42
個人的経験では、Haskellerの半分はスピードレーサー（最適化おたく）だと思う。
851:デフォルトの名無しさん
06/02/09 22:26:31
マシン非依存の部分ならば、
Cよりhaskellの方が速いコードが書けるはず。
なぜならば、見栄え良く、簡潔に書け（簡潔じゃないとコンパイルできない）
無駄なく書けるから。
cだと、綺麗なコードを書くために無駄なコードを書きまくると思うし、
汚い普通のコードを書いても、Haskellと同程度しか速くならない。
cの有利な点は、
gcがない, 配列操作, アセンブラ的コードが書ける, 速いライブラリがある。
と言ってみる。
852:デフォルトの名無しさん
06/02/09 22:37:03
非正格だから遅いみたいな話は聞いた事がある。詳細は知らないけど。
>>851
>なぜならば、見栄え良く、簡潔に書け（簡潔じゃないとコンパイルできない）
これは速いコードとは関係ないんじゃないの?
早くコードを書く事は出来るのかもしれないが。
853:デフォルトの名無しさん
06/02/09 22:37:18
「マシン非依存の部分」なんてあるのか？
854:デフォルトの名無しさん
06/02/09 22:39:54
Haskellのソースはスリムだがバイナリがピザデブ杉。
855:デフォルトの名無しさん
06/02/09 23:28:22
>>853
add
856:デフォルトの名無しさん
06/02/10 03:01:51
Haskell学んでC++でメタプログラミング
これ最新最強。newなんていりませんから！
857:デフォルトの名無しさん
06/02/10 10:53:42
なんでCはいつも最速なの？
858:fortran
06/02/10 10:55:08
・・・
859:デフォルトの名無しさん
06/02/10 12:50:24
最速はアセンブリ言語
860:デフォルトの名無しさん
06/02/10 15:32:11
規模が大きければ
今となってはコンパイラが吐くアセンブラの方が速いことが多いけどね
861:デフォルトの名無しさん
06/02/10 15:53:17
あらまあ何言ってるのかしらこの子ったら
862:デフォルトの名無しさん
06/02/10 16:26:10
コンパイラに負けるなんて、無能を証明してるようなもんだろ。
863:デフォルトの名無しさん
06/02/10 16:27:27
>>857
危険だからさ。
お行儀の良いハスケルにはわからんだろうがね。
864:デフォルトの名無しさん
06/02/10 16:40:00
>>856
バカですか
>>857
バカですか
>>859
バカですか
>>862
バカですか
Haskellに関しての議論としては論点がずれているぞ。
Haskellを創った人たちは、お前らが気にしていることはすべて解っているし、そんなことを解決するための言語にしようとは考えていないんだよ。
言語仕様に関しては。言語仕様という表現も好きじゃないけど。
865:デフォルトの名無しさん
06/02/10 16:49:34
へぇ、、ハスケルって読むんだぁ。。
アライグマみたいだね。
866:デフォルトの名無しさん
06/02/10 16:54:41
>>864
必死だな。
マジレスすると、「Haskellを創った人たち」の意図などどうでも良い。
いったん言語ができあがってしまえば、それをどう使おうが勝手だ。
867:デフォルトの名無しさん
06/02/10 16:59:56
ネタっぽいんだが
868:デフォルトの名無しさん
06/02/10 18:57:08
Haskellを作った人達って誰になるのかな。
Hudak? Peyton Jones? Wadler?
869:844
06/02/10 21:21:30
あれれ、なんだか私の質問で荒れちゃったみたいで申し訳ない。
>>849
これでも、もう一年以上使ってるんですよ。ヘボプログラマーなもんで...。
870:デフォルトの名無しさん
06/02/10 22:11:16
書いたとおりに動くCとかと違って，書いたコードよりオーダー単位で計算量が
小さくなる可能性がある Haskell には期待してるんだがなあ．
871:デフォルトの名無しさん
06/02/10 22:23:04
O'Camlはむちゃくちゃ早いらしいけど、Haskellとは何が違うんだろう。
872:デフォルトの名無しさん
06/02/10 22:42:30
>>871
URLﾘﾝｸ(wiki.ocaml.jp)
デフォルトで遅延評価なのか、指定したときだけ遅延評価なのか。
破壊的代入を許さないのか、許すのか。
速度に影響しそうな所というとこの辺の違いかな？
873:デフォルトの名無しさん
06/02/10 22:46:32
>>870
そんな激しい最適化をするHaskellコンパイラはないと思うが。
874:デフォルトの名無しさん
06/02/10 23:59:12
Hudakじゃないだろ。やっぱりSPJが筆頭なんじゃない？
875:デフォルトの名無しさん
06/02/11 00:19:45
なんかShootoutのページで、あれ、Haskell速いじゃんと思ったら、
極端に遅い欠点がないのと、重みが高い数個のプログラムで稼いでるだけ
みたいだな。勝ってる数だけで見たらJavaにも勝てない。
876:デフォルトの名無しさん
06/02/11 05:57:50
ふつうの本は五月に延期だそうな。
877:デフォルトの名無しさん
06/02/11 09:05:41
take 5 $ reverse $ reverse [1..]
で死にやがった。遅延評価も万能じゃないんだな。
878:デフォルトの名無しさん
06/02/11 09:28:58
Haskellでは
reverse $ reverse ≡ id
だからなあ。
879:デフォルトの名無しさん
06/02/11 09:29:52
> reverse $ reverse ≡ id
reverse $ reverse ≠ id
の間違い。
880:デフォルトの名無しさん
06/02/11 11:29:59
reverse :: [a] -> [a]
reverse xs returns the elements of xs in reverse order. xs must be finite.
881:デフォルトの名無しさん
06/02/11 11:41:15
>>875
だけって・・・
俺の感覚ではそういうのは、
「なんでもそつなくこなす優秀なやつ」だよ。
一番になること以外には意義を感じないのかい？
882:デフォルトの名無しさん
06/02/11 12:26:06
>>881
でも半分以上は平均的に結構遅いんだよ。。。
他の言語みたいに極端に遅いってのはないけど、
そういうのはアルゴリズムの欠陥があったり、その言語での普通の
やり方と違うといった何かしらの事情があることが多いし。
883:デフォルトの名無しさん
06/02/11 16:01:00
No JDK -server
ってあるのはJDKでは苦手分野の可能性が高い。
負けてる sum-file や random なんて Cleanがトップだから、
似たようにやれば（内部含む）haskellでもトップになる可能性はある。
（reverse-components はocaml 一位 Clean2位）
javaには負けてるとはいえない。
884:デフォルトの名無しさん
06/02/11 16:42:24
Haskell最速！ 欠点なし！
この訴えはム板のあらゆるスレで続けていくつもりです。
885:デフォルトの名無しさん
06/02/11 16:51:19
自分が作ったものでもないのにそんな風に誇られても。
886:デフォルトの名無しさん
06/02/11 16:53:58
>>884
頑張れ
Lisp厨やRuby厨に負けるなよ
887:デフォルトの名無しさん
06/02/11 17:34:34
shootoutのあれは、言語の優劣よりもcommunityの熱意とかを反映している気がする。
888:デフォルトの名無しさん
06/02/11 18:32:12
>>884
訴えにはそれ相応の証拠がいるんだ。
説得力がある資料を添えて出直せ。
889:デフォルトの名無しさん
06/02/11 19:54:29
証拠はshootout
890:デフォルトの名無しさん
06/02/11 20:01:18
確かにshhotoutだとcより速いことになってるなｗｗｗ
891:デフォルトの名無しさん
06/02/11 20:04:00
姉は一級Haskeller ～イケナイSTG-Machine
892:デフォルトの名無しさん
06/02/11 20:09:58
>>890
CPU Timeの重みを1にして他を0にしてみ。
OCaml 34.77 1
C gcc 32.82 3
D Digital Mars 29.86 2
Haskell GHC 28.69 0
C++ g++ 25.76 2
SML MLton 24.70 3
Eiffel SmartEiffel 24.36 5
Nice 23.45 3
Java JDK 1.4 -server 22.21 4
Clean 22.01 6
Java JDK -server 21.87 4
Ada 95 GNAT 20.25 4
Java JDK -client 18.84 4
Fortran G95
まあでも正直、この順位も絶対現実とはかけ離れてるよな。
やっぱ、コミュニティの熱意とかが反映されるんだろうな。
893:デフォルトの名無しさん
06/02/11 20:20:21
>>892
>Nice 23.45 3
プログラミング言語Nice (ﾜﾗ
894:デフォルトの名無しさん
06/02/11 20:35:56
だから、Shootoutは時々極端に遅いところがあるから
そういう変な順位になる。
例えば、CとHaskellを見るとCのchameneosとregex-dnaが
極端に遅いことがわかる。
こういうのはアルゴリズムの欠陥か何かの特殊事情だから除いて
考えるべきだというのは、具体的な数値を見てみるとよくわかるだろう。
895:デフォルトの名無しさん
06/02/11 21:07:44
まあ、Cだと書きにくいからアルゴリズムの欠陥が生まれるわけだ。
896:デフォルトの名無しさん
06/02/11 21:09:32
それもあるだろうが、コミュニティの熱意が大きいだろ。
いずれにせよ本来の速さとは違うだろう。
897:デフォルトの名無しさん
06/02/11 21:12:07
FortranがJavaより下とか、そういうの見ても相当いい加減な
順位であることがわかるな。
898:デフォルトの名無しさん
06/02/11 22:00:20
CとかFortranとか手書きアセンブリとか:熱意に対して指数関数的に速くなる
OCamlとかCleanとかHaskellとか:凡人がやっつけ仕事してもそこそこ速い
ってことでFA？
スレ違いだけど、今日初めてGoogle Earthをインスコしたんだ。
超セクシーだね！ あんなのをHaskellで書いてみたい
899:デフォルトの名無しさん
06/02/11 22:08:03
ﾜﾗ^^;
900:デフォルトの名無しさん
06/02/11 22:46:14
>>898
後者は言語オタク・エキスパート・信者が、Shootoutのために
必死になってソース作ってそうだけどなｗ
901:デフォルトの名無しさん
06/02/11 22:46:47
はっきり言って、速いとか遅いとかどうでもいい
902:デフォルトの名無しさん
06/02/11 22:47:40
しかし最適化には興味があるという矛盾 誰か俺を（ry
903:デフォルトの名無しさん
06/02/12 01:24:02
こんなの見つけた。
URLﾘﾝｸ(item.rakuten.co.jp)
904:デフォルトの名無しさん
06/02/12 05:16:07
まあ、DとかC++とかにHaskellが対抗してる時点で
あきらかに実力以上の評価なわけで。
素人が普通に作ったらJavaといい勝負ってのが正直な感想。
905:デフォルトの名無しさん
06/02/12 09:51:08
東大生みたいな言語だな。
ノーベル賞とまではいかないがなかなか強力に安定した結果を叩きだし、堅物で融通がきかない。
906:デフォルトの名無しさん
06/02/12 12:18:48
いや、Haskell自身が速いってことはないと思う。
確かに言語仕様が優れていて、使ってる人が非常に優秀なのは
確かなんだが、速くはない。
Shootoutがいい成績なのも使ってる人が優秀なのと、他の言語が
力入れてないだけ。
907:デフォルトの名無しさん
06/02/12 12:33:29
てか、実は>>892は数日前までDやOCamlに勝ってた。
つまり、まだまだ未成熟段階ってこと。
Shootoutの順位なんてそんなもん。
908:デフォルトの名無しさん
06/02/12 12:38:23
あほな速度評価結果はってんなよ。
血液型占いと同じぐらいオカルト。
バカですか。
909:デフォルトの名無しさん
06/02/12 12:40:15
貼ってる奴もそういうコメントしてる。
910:898
06/02/12 13:19:09
最適化なんて弱者のいいわけです＞＜
911:デフォルトの名無しさん
06/02/12 13:44:58
最適化無き者に実用無し
912:デフォルトの名無しさん
06/02/12 13:53:42
>>911
ごめんなさい＞＜
ハードウェアが十分速ければ……ってのこそアレだと思った。
913:デフォルトの名無しさん
06/02/12 14:03:51
>>912
こここちらこそごめんなさい
そんな角をたてるつもりじゃなかったの＞＜
914:デフォルトの名無しさん
06/02/12 14:53:46
Haskellは最速！
915:デフォルトの名無しさん
06/02/12 14:59:37
非常に残念なことですが、2ch haskellスレには
知的障害者が多数生息している模様です。
916:デフォルトの名無しさん
06/02/12 15:14:18
天才と池沼は紙一重
917:デフォルトの名無しさん
06/02/12 15:19:27
こっちのスレでやったら？
関数型言語Part IV
ｽﾚﾘﾝｸ(tech板)
918:デフォルトの名無しさん
06/02/12 15:21:41
いやいや。
そろそろ次スレだし、Haskell最適化スレと本スレを分ければ良い。
縮小する方向に強制するとろくなことが無い。
919:デフォルトの名無しさん
06/02/12 15:58:42
>>918
確かに。言語全般の最適化ってなさそうだし
920:デフォルトの名無しさん
06/02/12 16:45:19
Haskell最適化スレなんて建てても寂れることは目に見えてる。
このスレでここ数日発言した奴の大半はHaskellを知ってる訳でも学んでる訳でもなく
ただ「話題の」言語を冷やかしにきただけだろ。
スレ一つ消費するほど興味が続くとは思えない。
やるなら、
【数学者】Haskellはクソ言語【オナニー】
ｽﾚﾘﾝｸ(tech板)
を再利用したらどうだろう。
921:デフォルトの名無しさん
06/02/12 17:09:47
まあ最近の書き込みのうち大体半分は俺のだしな
922:デフォルトの名無しさん
06/02/12 17:31:42
>>920
実に的確な分析だ。
見事ここ数日冷やかしに来ていた事を当てられたから困る。
923:デフォルトの名無しさん
06/02/12 18:29:23
Haskellは遅い派だが、Haskellを学んでるのは俺だけか･･･
924:デフォルトの名無しさん
06/02/12 18:35:47
授業の課題で、
「MLやHaskellに代表される関数型プログラミング言語について調べ、
PascalやC言語に代表される手続き型言語との相違を説明するとともに、
関数型プログラミング言語が広く普及していない理由を議論しなさい。」
というのが出たのですが、さっぱりです。
頭のｲｲおまいら、教えてください！！
925:デフォルトの名無しさん
06/02/12 18:48:44
>>924
まず大学と教官の名前を言え。
926:デフォルトの名無しさん
06/02/12 18:54:53
>>924
マルチス=ルナカス
927:デフォルトの名無しさん
06/02/12 18:56:35
すみませんそれはいえない。。特定されるから。
でも、あまり理論的なことよりも実用を重んじると思う。
数学的にどうこう、っていうよりも、プログラミング技法としてどうか？
っていう点かな？？
928:デフォルトの名無しさん
06/02/12 18:58:32
>>924
宿題は自分でやれ
929:924
06/02/12 18:58:47
>>926
すみません。間違って２箇所書いてしまいました。
以後、こちらに一本化します。
明日締め切りなんで、かなり焦ってます。
ほんと、箇条書き程度で良いので、書いてもらえれば助かるかる。
930:デフォルトの名無しさん
06/02/12 18:59:39
だが断る
931:デフォルトの名無しさん
06/02/12 19:00:31
>>924
どれが分からないの?
サッパリつーが、1 くらいは自分で出来るでしょ。
それ以外は、自分の思う所を書いてくれれば、ヒントくらいは出せると思う。
1. 関数型プログラミング言語に付いて調べる
2. 手続きが他言語と関数型プログラミング言語の相違を説明する
3. 関数型プログラミング言語が普及していない理由を議論する
その前に C や Java は理解してるのかな。
932:924
06/02/12 19:03:11
CやJAVAは分かります。
関数型言語もLispで軽く勉強したことはあります。
なので1はできそうなのですが、2,3に関してどういう観点から
話を広げていいのか分からないんです。
933:デフォルトの名無しさん
06/02/12 19:03:40
ｽﾏｿ。
手続きが他言語 --> 手続き型言語
934:デフォルトの名無しさん
06/02/12 19:07:07
>>932
2 は関数型言語が利点として上げている事（FAQ とかに書いてある宣伝文句）を
裏返せば、手続き型言語との相違が見えてくるんじゃないかな。
3 は Lisp を勉強していて、何じゃこりゃと思った事を軸にすれば良い。
935:924
06/02/12 19:08:07
この板でCやJAVAと対比してHaskellの優位性を主張してる発言が多くあるのですが、
それってまとめるとどういうことになるんですか？？
（全然専門的に知らないので、内容がちょっと理解できなくて）
それが分かればその点を広げて論ずることができるかなと思いました。
936:デフォルトの名無しさん
06/02/12 19:08:55
>>932
参考文献：なぜ関数プログラミングは重要か
URLﾘﾝｸ(www.sampou.org)
937:デフォルトの名無しさん
06/02/12 19:12:09
>>935
アルゴリズムの記述性、プログラムの安全性とか、自分でテーマを設定して、
具体例を少し添えてあげれば良いんじゃないの。
宿題みたいだし、直接的な答えは書かない方が貴方の為になるよね?
938:924
06/02/12 19:12:09
>>934
>2 は関数型言語が利点として上げている事（FAQ とかに書いてある宣伝文句）を
>裏返せば、手続き型言語との相違が見えてくるんじゃないかな。
なるほど、確かにそうかもしれませんね。参考にします。
>3 は Lisp を勉強していて、何じゃこりゃと思った事を軸にすれば良い。
いや～難しい。。「括弧が多い！」ぐらいしか。。ｗ
>>936
ふむふむ、参考にしてみます。
939:924
06/02/12 19:15:26
>>937
>直接的な答えは書かない方が貴方の為になるよね?
書いてもらえるなら書いてもらったほうが助かります！笑
あまりプログラムは自分の専門ではないので、、
てか、皆さんやさしいですね。
>プログラムの安全性
手続き型と関数型は安定性が違うんですか？？
940:デフォルトの名無しさん
06/02/12 19:28:43
>>939
疑問を持ったら、あとは自分で調べてチョ。さっきも書いたけど、
手取り足取りは無しの方向で。個別的な事象で不明な所があったら
また質問して下さい。
941:924
06/02/12 19:31:47
>>940
わかりました。
でも、作業の方向は見えたので助かりました。
ありがとうございます。
>>みなさん。
お騒がせしました。気分を悪くしてしまいましたらすみません。
942:デフォルトの名無しさん
06/02/12 19:32:49
>>924
URLﾘﾝｸ(www.geocities.jp)
URLﾘﾝｸ(web.yl.is.s.u-tokyo.ac.jp)
ﾇﾙﾎﾟ
943:デフォルトの名無しさん
06/02/12 19:39:12
ここは教育的なインターネットですね
944:デフォルトの名無しさん
06/02/12 20:18:05
unko
945:デフォルトの名無しさん
06/02/12 20:30:55
一瞬undoと見間違った。
946:デフォルトの名無しさん
06/02/12 21:54:03
しまった！ こっち見る前に>>924の宿題の答えを書いちゃったじゃないか。
まさかマルチするとは思ってなかった……
947:デフォルトの名無しさん
06/02/12 22:03:40
>>924の正解はこれ
「関数型の言語と手続き型の言語の相違は、柔軟性、記述性、簡潔性、堅牢性
などであり、どれをとってもはるかに関数型が優れる。また、ユーザーの頭脳にも
大きな違いがあり、関数型言語が優れる。
普及していないのは選ばれた優れた頭脳の持ち主にしか良さがわからない
からである。」
948:デフォルトの名無しさん
06/02/12 22:05:55
>>947 はネタとしても駄目だろ…
949:デフォルトの名無しさん
06/02/12 22:09:58
関数型が難しいとされるのは一番最初のプログラミング言語が機械語だったからじゃね？
機械語->アセンブリ->フォートラン->C みたいに発展せざるを得なかったというか。
もし手続き型なんて一切知らない人に関数型の教育をほどこせば同じ人が Java を
学ぶより簡単そうだ……。
或いはプログラマの90%が関数型しか知らない世界では「手続き型？ あんなのオナニーだよ」
みたいな話になるんだろうな。
950:デフォルトの名無しさん
06/02/12 23:14:56
HaskellとAlgol60を比べることはできても、
関数型言語と手続き型言語を比べるのは難しいだろうな。
議論の前提となる関数型言語の定義すら定まってないし。
951:デフォルトの名無しさん
06/02/12 23:30:35
漏れみたいな凡人には再帰が理解しにくいよ。
階乗みたいな簡単なのは分かるけどさ。
「なんでループ使わせてくれないんだよぅ」ってなる。
952:デフォルトの名無しさん
06/02/12 23:38:45
え
953:デフォルトの名無しさん
06/02/12 23:40:33
間違い
954:デフォルトの名無しさん
06/02/12 23:44:37
行列積みたいな一般再帰は確かに嫌だね
955:デフォルトの名無しさん
06/02/12 23:47:20
>>951
Haskellだと再帰を使わずに済ませられることも多くないか？
たとえば階乗は\n -> product [1..n]と書ける。
IOが絡んだりする複雑な処理を書くときは再帰が要ることも多いけど、
個人的には再帰（やループ)は小さいほどわかり難いと思うから、
これはあまり問題じゃないような気もする。
956:デフォルトの名無しさん
06/02/13 04:23:49
俺にはループは再帰にしか見えない。
同じルーチンを何度も呼び出してるだけじゃん。
957:デフォルトの名無しさん
06/02/13 07:16:58
スタックオバフロー
958:デフォルトの名無しさん
06/02/13 07:48:01
遅延評価は俺の生き方そのものだ
959:デフォルトの名無しさん
06/02/13 13:15:16
ハスケル日本語参考書無いの？
960:デフォルトの名無しさん
06/02/13 13:15:45
3ヶ月くらい待て
961:デフォルトの名無しさん
06/02/13 22:56:43
>>903 のが予定通り出るのなら1ヶ月程待てばOKだ。
962:デフォルトの名無しさん
06/02/14 21:16:16
5月に延びたらしいぞ。
963:デフォルトの名無しさん
06/02/14 21:36:00
>>962
それは「ふつうのHaskellプログラミング」の方じゃないか？
964:デフォルトの名無しさん
06/02/14 22:18:39
>>958
漏れなんかいつも先行評価だぜ。
値が必要とされたことは一度も無いがな....orz
965:デフォルトの名無しさん
06/02/14 22:26:28
漏れの人生はcall by nameなので同じ失敗を何回も繰り返してますorz。
966:デフォルトの名無しさん
06/02/14 22:28:40
>>964
イ㌔
投機的であるとはそういうことだ。
967:デフォルトの名無しさん
06/02/14 22:30:19
人生で成功するのは Unlambda のコードを読むより難しい
968:デフォルトの名無しさん
06/02/15 03:36:00
WinXP+GHC+wxHaskell でHello,WorldをコンパイルしてみたんだけどGHCに怒られました
＞C:\Documents and Settings\Owner\workspace>ghc hello.hs
＞
＞hello.hs:2:0:
＞ Failed to load interface for `Graphics.UI.WX':
＞ Bad interface file: C:\wxhaskell\lib\imports/Graphics/UI/WX.hi
＞ mismatched interface file versions: expected 6041, found 6040
wxhaskell-register.batは実行したし、確かにC:\wxhaskell\lib\imports\Graphics\UI\WX.hiに
ファイルはあります。ぐぐったらブログの記事みたいなんがひっかかったけど
そこでも解決法はみつかりませんでした。CUIなHello,Worldは問題なくコンパイル出来ました。
wxWidgetsもインスコしなきゃダメかな、と思ってmsiファイルで入れてみたけど、どうも違うようです。
偉い人、どうか教えて下さい。
969:デフォルトの名無しさん
06/02/15 03:40:04
>>968
--makeか-package wxでよかったはず。
970:969
06/02/15 03:41:08
ごめん。エラーメッセージをちゃんと読んでなかった。忘れてくれ。
971:デフォルトの名無しさん
06/02/15 03:53:56
>>968
wxHaskellのWindowsパッケージがghc6.4用なのが問題だと思う。
URLﾘﾝｸ(www.cs.uu.nl)
一応ここに6.4.1用のバイナリがある。
972:デフォルトの名無しさん
06/02/15 04:06:39
ありがとうございます！
wxHaskell 入れなおしてコマンドラインオプションも入れたらコンパイルできました！
よーしパパ、テトリス作っちゃうぞー！ って感じです！！！１１２３
973:デフォルトの名無しさん
06/02/16 22:27:46
富豪的プログミングに溺れちゃって！
いつか泣きをみても知らないんだから！
974:デフォルトの名無しさん
06/02/16 22:52:27
成り上がりと富豪を一緒にしないでください
975:デフォルトの名無しさん
06/02/16 22:57:22
ハスケッてる連中の偏差値は高いに違いない
976:デフォルトの名無しさん
06/02/17 09:58:27
変さ値？
977:デフォルトの名無しさん
06/02/17 10:55:25
ところで君偏差値いくつ？
978:デフォルトの名無しさん
06/02/17 13:01:03
変さ値なら60前半の自信はある（ｗ
979:デフォルトの名無しさん
06/02/17 15:02:44
その変さ値とやらの最大値と平均値と標準偏差はいくつなんだ？
980:デフォルトの名無しさん
06/02/17 15:18:51
なんだ。かまって君か（ｗ
981:デフォルトの名無しさん
06/02/18 09:33:10
「Java仮想マシンで動作するHaskell風スクリプト - Jaskell 0.7」
URLﾘﾝｸ(pcweb.mycom.co.jp)
これが噂の「大地クオリティ」か・・・
982:デフォルトの名無しさん
06/02/18 16:06:30
haskellのここがキレたって所ある？
983:デフォルトの名無しさん
06/02/18 21:52:03
Haskell最高！ 死角なし！
984:デフォルトの名無しさん
06/02/19 18:43:57
>>982
言語仕様が分からずにキレた
985:デフォルトの名無しさん
06/02/20 15:27:16
viで編集しにくくてにキレた
986:デフォルトの名無しさん
06/02/21 00:26:20
モナドがなかった頃、遅延ストリームが「一個ずれている」気がしてキレた！
987:デフォルトの名無しさん
06/02/21 00:51:43
そんな頃があったのか････
988:デフォルトの名無しさん
06/02/21 00:55:13
正確に言えば、IOモナドがなかった頃、だな。 Maybe なんかはあったが、モナドなんて知らんかったよ。
989:デフォルトの名無しさん
06/02/23 22:23:38
SplitObjs=yesでghcをビルドしたら丸一日たっても終わってなくてキレた
990:デフォルトの名無しさん
06/02/23 22:45:20
去年の五月に書いて放置していたコードを読み返してたんだが、
百行に満たないライブラリコードなのに何をやってるのか全然分からなくて驚いた。
コメントを書いておかなかった俺も悪いが、Haskell恐るべし。
991:デフォルトの名無しさん
06/02/23 23:45:05
読めないコードでもバグは絶対無いのでご安心を。関数型だからね。
992:デフォルトの名無しさん
06/02/24 02:31:21
埋め
993:デフォルトの名無しさん
06/02/24 03:05:10
次スレ
ｽﾚﾘﾝｸ(tech板)
994:デフォルトの名無しさん
06/02/24 09:52:00
umeume
995:デフォルトの名無しさん
06/02/24 10:19:39
９９５
996:デフォルトの名無しさん
06/02/24 16:27:10
999
997:デフォルトの名無しさん
06/02/24 17:21:52
夢にHaskellが出てきた。
Haskellは少女だった。
形を持たず、目に見えず、概念的で、しかし可憐な、少女だった。
俺は喜び勇んで肉体関係を要求した。
拒否された。
998:デフォルトの名無しさん
06/02/24 17:22:49
その日は、平凡な、曇り空の日だったが、気分は高揚していた。
俺の意志が、思考力が、誰かに支えられているような気がした。
出てくる発想はいつにも増して非凡だったし、
日常の、つまらない判断までも的確だった。
そして俺は、誰がこの研ぎ澄まされた思考を運んできてくれたのかを、
よく知っていたのだ。
999:デフォルトの名無しさん
06/02/24 17:24:31
全能感は一日しか続かなかった。
俺は戸惑うことなくそれを理解し、受け入れた。
それでも、ときどき、気がつくとGHCiを起動していることがある。
そんな時、俺は、こう打ち込むのだ。
1000:デフォルトの名無しさん
06/02/24 17:25:22
Prelude> :m +Control.Monad.Fix
Prelude Control.Monad.Fix> fix error
関数型プログラミング言語Haskell Part3 - 完 -
1001:１００１
Over 1000 Thread
このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。