[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part4 (1001ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
569: 2006/04/25(火)02:54 AAS
得意げな顔して何が、Hoare論理を、だ。
お前は本当にHoare論理を意識してるのかと問いたい。問い詰めたい。小１時間問い詰めたい。
お前、Hoare論理って書きたいだけちゃうんかと。
570: 2006/04/25(火)10:57 AAS
ほ、ほーっ、ホアアーッ!! ホアーッ!!
571: 2006/04/25(火)13:36 AAS
声優オタは詩ね
572: 2006/04/25(火)15:43 AAS
>>565
>頭は使うかもしれないけど神経は使わなくてよい．
>頭を使うと後で生かせるけども神経を使っても疲れるだけ．
なるほどね。でも現状CやJavaがこれだけ使われてる時代において、
神経を使うことを嫌うっていうのは、もうプログラマとしての適性を
亡くしてしまったともいえるな。
もしかしてプログラマの適性を亡くしてしまった人、もしくは最初からない人が
省1
573(1): 2006/04/25(火)16:04 AAS
とりあえず紳士的にHaskellお勉強中だけどこのスレ読んでてつまらん。
もっとコードベースのお話してよ。
574: 2006/04/25(火)16:25 AAS
>>573
同意。
しかし、ネタがない。
575: 2006/04/25(火)16:36 AAS
くだすれHaskellなんてどうでしょう？
576: 2006/04/25(火)16:46 AAS
ここだと何か問題でもあるのか？
577: 2006/04/25(火)16:50 AAS
回答者のレベルが低い。口先だけ
578: 2006/04/25(火)16:51 AAS
それは新しくすれ建てて解決する問題じゃないと思うが。
579: 2006/04/25(火)17:13 AAS
では ナイトメア言語Haskell Part1 で
580(2): 2006/04/25(火)18:04 AAS
数理論理学勉強してない人が、このタイプの言語使ってみたところで、言語の目的とかが見えないんじゃないかな・・と思う。
言語仕様を覚えるだけなら誰でもできるけど、本質的なことは本当に理解している人しか見えてこないよね。
581: 2006/04/25(火)18:05 AAS
はいはい雑談雑談
582: 2006/04/25(火)18:06 AAS
雑談以外に何をしろと？
583: 2006/04/25(火)18:07 AAS
ここでHaskellプログラミング演習の講義でもしてほしいのか？
584(1): 2006/04/25(火)18:19 AAS
俺にとって役に立つなら言語の目的なんぞどうでもいい。
585(1): 2006/04/25(火)18:34 AAS
>>584
それを知らなければ有効に活用できないから言ってんじゃん。
586: 2006/04/25(火)18:34 AAS
はいはい雑談雑談
587: 2006/04/25(火)18:47 AAS
雑談以外に何をしろと？
588: 2006/04/25(火)18:47 AAS
>>585
「有効」って言葉をどういう意味で使ってるか分からんが、
他の言語と比べて(そいつにとって)役に立つならHaskellを使う動機として十分であって、
必ずしもHaskellの能力を最大限活用する必要はないだろ。
589: 2006/04/25(火)18:47 AAS
>>580
ほら、こういう口だけ理屈屋しかいないから、具体的なコードの質問ができないんだよ。
590: 2006/04/25(火)18:48 AAS
ラムダ計算の質問なら答えてやるよ。
591(1): 2006/04/25(火)18:49 AAS
このスレでは言語仕様は理解しているものとして話を進めてOKだよね。
Haskellを触ろうと思っているような人なら素人じゃないだろうし。
592: 2006/04/25(火)18:50 AAS
具体的なコードの質問は>>580以外の住人が答えるから大丈夫です。たぶん。
593: 2006/04/25(火)18:52 AAS
だいたい、これからプログラミングを始めよう、がいるんだとしたら、「どうしてHaskellを選んだの？」って聞きたくなるよ・・
594: 2006/04/25(火)18:53 AAS
>>591
議論はそれでいいんじゃね？
言語仕様を把握していない初心者は発言するな、って意味だったら賛成できんが。
595(3): 2006/04/25(火)18:57 AAS
Haskellはまだまだ素人には使いにくい言語だし、環境も十分に整備されているとは考えられない。
世の中でもっとも力のあるパラダイムであるオブジェクト指向やらアスペクト指向やら、また様々な開発手法との連携という点では
はっきり言ってまだ何も確立されていない。
このような状況の言語を一般的なプログラマ・ど素人プログラマが理解できるわけがない。
596(1): 2006/04/25(火)19:05 AAS
>>595は結局「俺は素人にあらず」と言いたいだけなんでしょ
597: 2006/04/25(火)19:06 AAS
>>596
そんなことは一言も言っていない。論理的思考が苦手なのか？
ただ自分の体験談を語っているだけだ。
598(1): 2006/04/25(火)19:16 AAS
これからHaskellに乗り換えてみようかなと考えている人は、今使っている言語を提示してみるといいよ。
そしてその言語ではこういうことができるんだけどHaskellではどれくらい簡単にできるのか聞けばいいんじゃないかな。
まったくプログラミングしたことがない人は比較対象がないからHaskellがいいのか悪いのか判断するのが難しいと思う。取り敢えず他の言語を使ってから話に参加するといいんじゃない？
599: 2006/04/25(火)19:39 AAS
>>595
>Haskellはまだまだ素人には使いにくい言語だし
>(...)
>このような状況の言語を一般的なプログラマ・ど素人プログラマが理解できるわけがない。
前提と結論が同じ訳だが。
600(2): 2006/04/25(火)19:43 AAS
使いにくいと理解しにくいは別ですよ?
601: 2006/04/25(火)19:43 AAS
HaskellでSQLサーバと通信するコードはどんな感じになるのか見てみたい。
602: 2006/04/25(火)19:44 AAS
>>600
確かに。しかし、
>Haskellはまだまだ素人には使いにくい言語だし
これには全く同意できんな。
少なくとも議論の前提にすることじゃない。
603(1): 2006/04/25(火)19:55 AAS
>>598
これからHaskellに乗り換えてみようかと考えています。
今使っている言語はCiCです。
CiCではimpredicativeな型を使って、sort済みlist型のような洗練型を
定義できるのですが、Haskellではどれくらい簡単にできますか？
604: 2006/04/25(火)19:58 AAS
>>600
>>595の「理解」というのは、利用する価値があるという理解のことね。
605: 2006/04/25(火)21:51 AAS
haskellは凄いことができるのは保証できるが、
まだ、実用として使えるレベルにないのと
便利さ的にも発展段階な感じがする。
606: 2006/04/25(火)22:04 AAS
まず、どうやって周りの開発環境と並存していくか、というのが一つの問題だよね。
607(1): 2006/04/25(火)22:21 AAS
入門者です。
再帰処理を学ぶには最適な言語な気がしますが、
実用がまるで思い浮かびません。
皆さんは何に使ってるのですか？
ぼくは普通のテキスト処理ならperl、guiならjavaを普段使ってます。
趣味でpythonも好きですが、
Haskellだと言語自体を学んだら
省3
608(1): 2006/04/25(火)22:38 AAS
>>607
言語を覚えたいだけなら別に何も文句は言わないけど、何のための言語かというのはちゃんと理解しておいたほうがいいよ。
あと、Haskellはマイナー言語の一つなので、確かに知っていることは悪くないことなんだけど、誰もそれを評価してくれないよ。
面接で「Haskellを覚えています」と言ったところで、せいぜい「ふーん・・・」と返されるだけだからね。
再起処理がしたいならあなたが覚えている言語で十分できるから、別にHaskellでなくてもいいんじゃないかな？
609(1): 2006/04/25(火)22:45 AAS
>>608
>603にも回答お願いします。
610: 2006/04/25(火)22:51 AAS
>>609
わかりません
611: 2006/04/25(火)22:57 AAS
CiCってなに
612: 2006/04/25(火)23:09 AAS
Combat Information Center
613(1): 2006/04/26(水)16:41 AAS
＞変数への代入がない
変数がなくて、なんで動くの？
使う人がたとえば５番を選んだとき、それは、どこに入力されるの？
614: 2006/04/26(水)17:03 AAS
計算モデルとして代入がないというだけであって、計算機の中で代入が行われないという意味ではないよ。
615: 2006/04/26(水)17:14 AAS
>>613
代入はなくても初期化はある、という落ちだと思っとけばおk
616: 2006/04/26(水)17:23 AAS
再代入が存在しないというのが正しいのかな
617(1): 2006/04/26(水)17:24 AAS
ところで、CiCってなんだったの？
618(1): 2006/04/26(水)18:20 AAS
>>617
つ外部ﾘﾝｸ:www.google.co.jp
619: 2006/04/26(水)18:29 AAS
Common instance andCommunicationS
一言で言うと、
全ての可能な関数の挙動があらかじめ抽出されていて、
その組み合わせでプログラミングを行う
オブジェクト志向と関数型言語の合いの子
だったらいいな
620: 2006/04/26(水)18:34 AAS
>>618
出てこないんだけど。
621: 2006/04/26(水)18:59 AAS
Calculus of Inductive Contructionsでいいのか？
定理証明器とかそっちの話か。
622: 2006/04/26(水)18:59 AAS
>Contructions
Constructionsね、失礼。
623: 2006/04/26(水)19:07 AAS
一度代入されたら固定されて定数になるのか。
なんとなくわかった。
624: 2006/04/26(水)19:25 AAS
lambda cube上だとHaskell（System Fのsubset）が手前側左上、
CiC（CCのsuberset）が奥側右上だな。
625: 2006/04/26(水)19:36 AAS
よくわからんが、つよそうだということは分かった。
626: 2006/04/26(水)22:52 AAS
haskellerは細かい所を異常に気にするし、
そうあるべきだから、
代入がないと断言するのが正しいと思う。
627: 2006/04/27(木)11:30 AAS
GHC 6.4.2 のWindowsバイナリがようやっと出たので
喜び勇んでインストールしたんだが、lib/ が無くて、
HS*.o やら libHS*.a やら gcc.exe やら perl.exe やらが
ベースディレクトリ直下にずらずらと並んでおる。
どういう構成変更があったんだ。
628: 2006/04/27(木)14:37 AAS
Unix版と同じになったんじゃない？
linuxでビルドすると .../ghc-6.4.2 以下に hslibs-imports/ icons/ imports/ include/ ができるよ。
629(2): 2006/04/27(木)21:08 AAS
入門 Haskell を呼んでいるんですけど State モナドが判らなくて・・・
get ってどこから中身を持ってきているんですか？
しかしこの本簡単なところばかり詳細に説明して難しいところは説明も例も無いって・・・
630: 2006/04/27(木)21:22 AAS
>>629
Stateモナドの動作は、外部から「状態」を受け取って、それに応じて変更された「状態」を返す。
getは、外部から受け取った「状態」を、そのまま結果にする動作。
get :: State s s
get = State (\s -> (s, s))
つまり、現在の状態がsの時、get後の状態もsで、getの結果もs。
>しかしこの本簡単なところばかり詳細に説明して難しいところは説明も例も無いって・・・
省1
631: 2006/04/27(木)21:52 AAS
日経ソフトウェアのHaskellの記事で初めてHaskellの解説を
（立ち）読みしましたが、かなり分かりやすかったです。
高階関数とか遅延評価とか無限列を扱えるとか凄かったです。
632: 2006/04/27(木)21:57 AAS
>>629
do構文を見たら>>=、returnに置き換えてみるべし
633: 2006/04/28(金)00:26 AAS
Stateモナドの場合は更にrunStateを適用してlet inに置き換えて考えると動作が解る。
runState (m0 >>= f1 >>= f2 >>= ... >>= fi) s0
let (v1, s1) = runState m0 s0
(v2, s2) = runState (f1 v1) s1
(v3, s3) = runState (f2 v2) s2
...
in runState (fi vi) si
省2
634: 2006/04/28(金)03:31 AAS
遅延評価って問題先送り機構でしょ？
日本の政治家が好みそう
635(1): 2006/04/28(金)03:33 AAS
外部ﾘﾝｸ[html]:haskell.org
GHC6.4.2でたぞ〜
以上。今だhaskell一行もプログラミングしていない 入門Haskellを飾っているおいらがお伝えしました。
636: 2006/04/28(金)07:33 AAS
>>635
>>519
637: 2006/04/28(金)10:50 AAS
AA省
638(2): 2006/04/28(金)19:33 AAS
【ラッキーコアラ】にだまされてコピペしたやつは、みんな不幸になるらしいよ。
639: 2006/04/28(金)20:18 AAS
【ラッキーコアラ】にだまされてコピペした奴が、
>>638 みたいに言われて、
「あー、俺は、不幸になるんだ。」
と、思い込んだおかげで、
些細な事にも感謝するようになって、
幸せになったらしいよ。
640: 2006/04/28(金)20:40 AAS
>>638
俺はお前なんかにだまされないよ
641(1): 2006/04/28(金)20:57 AAS
これが由緒正しきhaskellerの会話か！
642: 2006/04/28(金)21:02 AAS
↑何言ってんの、こいつ
643: 2006/04/28(金)21:04 AAS
AA省
644: 2006/04/28(金)21:31 AAS
【ラッキーコアラ】にだまされてコピペしたら、母親が死にました。最悪です。
みなさんだまされないでください。
645: 2006/04/28(金)21:34 AAS
HSPスレのがまだ高度な話題を扱ってるな
646: [age] 2006/04/28(金)22:10 AAS
おまえら本当にHaskellが好きならもっとドキュメント書け！
もっとライブラリ書け！
もっとアプリ書け！
…と自分を煽ってみるてすと
647(1): 2006/04/28(金)22:18 AAS
結城ﾀｿはもうやってないのだろうか・・・
648: 2006/04/29(土)01:15 AAS
>>647 結城ﾀｿってhyuki.comのひとのこと？
だったら青木さんの原稿チェックMLに参加してたみたいだから、まだ興味は持ってると思う。
649: 2006/04/29(土)01:41 AAS
今のHaskellは、GPL等に抵触せずにポータブルな（すなわち、
非標準的な外部ライブラリを別途インストールしなくても動く）
バイナリを作れるのか？
そうでなければ、オープンソース外の世界には到底広まらんだろう。
上下前次1-新書関写板覧索設栞歴
あと 352 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.018s