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

1 名前：潜伏していた1 mailto:sage [02/02/16 16:55] 何とか生き残れました。 前スレ pc.2ch.net/test/read.cgi/tech/996131288/l50 関連 >>2 以降 179 名前：デフォルトの名無しさん mailto:sage [02/05/09 15:07] >>158 は >>173 を「Sisal 使えば?」と読んでそうな感じだが >>173 は「Haskell の副作用無しの配列使え」と言ってるのだろう。たぶん。 180 名前：デフォルトの名無しさん mailto:sage [02/05/09 20:50] >>179 どんな実装してるんでソ。＞「Haskell の副作用無しの配列使え」 私が読んだ何件かの「副作用なし配列」の論文は皆頑張っていたけどヤパ−リ オーバーヘッドが大きくて生の配列ほどには早くない･･････。 181 名前：デフォルトの名無しさん [02/05/09 21:06] >>132 >Prologにカットオペレータ カットオペレータ思い出した。これでProlog嫌いになった。 ところで、Prologも関数型かな？　副作用ないみたいだし。 真偽の２値のみを返すと考えられるかな。もっとも偽の値が 返ればストップするので真のみ返るが。 182 名前：デフォルトの名無しさん mailto:sage [02/05/09 21:22] >>181 関数型じゃないね。論理型。 項の「値」を求めてるわけじゃない。 定理を満足する変数の値の組（代入）を求めている。 両方を組み合わせた関数論理型ってのもあるけど。 183 名前：第５世代はどうなった [02/05/09 22:51] >>182 論理式の値を求めるのでなく、妥当な推論をするんだった。 unificationできなきゃ終わりという形式だったね。 Hugsのライブラリーに簡単なPrologあるね。 unificationなんかはもともとhaskellにあるから、 簡単に実装できるようだ。 そういえば、カットオペレーターもhaskellで実装 してたかな。 184 名前：デフォルトの名無しさん [02/05/10 00:36] haskellは非正格言語だからデバッグし辛いのでは？ 副作用がありまくる手続き型言語や正格言語ではデバッグで 苦労しない。というかデバッグしやすい。 非正格言語の優秀なデバッガって無いからね。 一つでもモデル(非正格言語のデバッガのね)が出来ればね。 185 名前：デフォルトの名無しさん mailto:age [02/05/10 03:55] Mondrianって言語がHaskellをコンパクトにして OO対応にしたような言語で、.NETにも対応してるらしい んだけど、この言語ってどうですか？ www.mondrian-script.org/ 186 名前：デフォルトの名無しさん mailto:sage [02/05/10 03:57] >>184 ていうか、副作用が無いってのはようするに 思わぬバグが混入しないようにする効果があるわけだから、 デバッグ以前にバグが混入しにくいのでは？ 187 名前：デフォルトの名無しさん mailto:sage [02/05/10 04:05] 代わりに呼び出し関係が入り組んでくるからねぇ。>>186 やっぱ銀の弾丸はないもんだよねぇ。 188 名前：デフォルトの名無しさん [02/05/12 02:28] >>186 でもバグが無くなる訳ではないでしょ？ 仕様のバグという根絶不可能なバグがあるんだから。 やっぱデバッガ必要でしょ。 189 名前：デフォルトの名無しさん mailto:sage [02/05/12 10:10] >>188 既存のデバッガ的な考えは合わないよね。 190 名前：デフォルトの名無しさん mailto:sage [02/05/12 19:07] >>184 副作用がないので Unit Test あたりが向いてるかも。 191 名前：デフォルトの名無しさん [02/05/13 22:37] www.haskell.org/libraries/#testing のあたりだろうか。 192 名前：デフォルトの名無しさん [02/05/13 22:39] >>188 仕様のバグとデバッガが関係あるんですか？ 193 名前：デフォルトの名無しさん mailto:sage [02/05/13 22:47] 副作用が無いんだから、 コードの打ち間違いと理論にだけ気をつければ やっていけます。 194 名前：Super Combinator [02/05/13 22:57] >>192 帰納推論系の人たちで、 間違った具体例の指摘から仕様を直したり、 なんて事が流行ったよね? そのengineのUI programはdebuggerと呼ばれることが多かった。 195 名前：デフォルトの名無しさん mailto:sage [02/05/13 22:59] なんじゃそら 屁理屈か 196 名前：デフォルトの名無しさん [02/05/14 16:02] つまり、従来のデバッガの役割は 非常に少なくなると言うことでいいのか？ 197 名前：デフォルトの名無しさん [02/05/15 00:14] デバッガの使い道ってバグを取るためだけの物かなー？ 198 名前：え？ [02/05/15 00:35] デバッガをバグ取りに使わないの？ 199 名前：デフォルトの名無しさん mailto:sage [02/05/15 01:06] >>198 プログラミング言語の前に日本語を勉強尻。 200 名前：え？ mailto:sage [02/05/15 01:16] >>199 君こそ根。 201 名前：デフォルトの名無しさん [02/05/15 01:24] Stream IOを勉強した頃は、同期関係の bugがあったら取り難そうだなあ、 とおもた。 Monadになったら改善できるのかしらん? 202 名前：デフォルトの名無しさん mailto:sage [02/05/15 01:28] >>198 はすさまじいアフォ 203 名前：デフォルトの名無しさん mailto:sage [02/05/15 01:28] >>201 並列処理の話？ 204 名前：え？ mailto:sage [02/05/15 01:29] >>199　は、すさまじいエロ 205 名前：デフォルトの名無しさん mailto:sage [02/05/15 01:38] ＞デバッガの使い道ってバグを取るためだけの物かなー？ 他に使い道は？ 206 名前：デフォルトの名無しさん mailto:sage [02/05/15 02:30] >>204 ウザイ 「バグ取りの他に使う」と「バグ取りに使わない」の 区別もつかない糞は小１からやりなおせヴォケ 207 名前：デフォルトの名無しさん [02/05/15 12:22] >>206 その前にお前は>>205の質問に答えろよ。 208 名前：デフォルトの名無しさん [02/05/15 13:45] 静的なプログラム検証ツールはデバッガの範疇に入るの？ こういうものが作りやすいのが関数型言語の特徴って言われてるから そっちに期待しちゃうな。あくまで素人の考えだけど。 209 名前：Ｃ厨房 mailto:sage [02/05/15 14:01] lintはデバッガって言うか？ 210 名前：デフォルトの名無しさん mailto:sage [02/05/15 14:24] なんでHaskellスレは厨房がワラワラと寄ってくるんだろ。 無視できない何かがあるんですかねー。 211 名前：206ではないが [02/05/15 14:28] 関数型言語にあてはまるかどうかは知らんが、 他人が書いたプログラム(またはライブラリ)を理解するために デバッガを使って動作を見るのは、けっこうよく使う手だと思う。 >>208 普通は静的な検証ツールはデバッガには含めないと思うけど、 参照透明性の高い関数型言語では、静的/動的の境界はどう定義するんだろう？ 例えば多相型の型エラーをデバッグするのって、静的なのか動的なのか… 212 名前：デフォルトの名無しさん mailto:sage [02/05/15 14:42] 言語理論に比べて処理系のセオリーが 弱い気がするのは気のせいでしょうか？>>211 213 名前：デフォルトの名無しさん [02/05/15 15:27] >>210 お前のような厨房がな。 214 名前：201 mailto:sage [02/05/16 00:31] >>203 並列って言うか、そもそも関数型言語は逐次処理でもないじゃん。 木の好き勝手なところを簡約していくっていうか。 そでで再帰的に定義された無限リストの簡約とかまちがうとこわいな。と。 P.Wadlerの入門書にもそれがらみの話あったよねえ? 215 名前：デフォルトの名無しさん [02/05/16 01:21] 関数プログラミングでは、動作手順を記述するわけではないので、命令プログラミングの 動作をステップ実行する従来のデバッグ手法のイメージとはあいいれないかも。 でも、計算順序を無理矢理いれこむ、モナドIO使いまくりのプログラミングなら 命令プログラミングとおんなじだから、print デバッグができるよ。 216 名前：デフォルトの名無しさん [02/05/16 01:39] Windowの表示とかやる場合はモナド使うんですか？ 関数型でイベント駆動処理を書くのって、 ちょっと想像できないんですが。 217 名前：デフォルトの名無しさん mailto:sage [02/05/16 13:57] Fudgetあげ ようとしたけど古いから sage 218 名前：デフォルトの名無しさん [02/05/16 14:49] >>216 GTK+HS のサンプルコードとかみてみれば？ 219 名前：デフォルトの名無しさん mailto:sage [02/05/16 17:00] >>216 モナドによるI/Oのコードをじっとみつめると 入力列内の文字種に応じて呼ばれるハンドラの集まりとも見えてくる。 それがメッセージ列に変わったと思えば書けそうな気がしてくる。 220 名前：デフォルトの名無しさん [02/05/17 06:30] >>205 処理系の実行過程の確認 最適化の結果、プログラマーの予想もしないプログラムに変化したりしないとか その確認をする。勉強にもなるね。 某本にもデバッガでは、シングルステップを使えと載っていた。目から鱗。 221 名前：デフォルトの名無しさん [02/05/17 11:20] >>215 GHCか何かだと、unsafeとか何とかいうモジュールに、 どこでもprintできる関数がなかったっけ。 まさにprintfデバッグのための抜け道として。 222 名前：デフォルトの名無しさん [02/05/17 13:19] >>220 それは要するにデバッガがアナライザだって言ってるだけでは？ そういうのとは微妙に話が違うような気がするなー。 つまり、デバッガにはそういうブラウジング機能とは別に 何かあるって言ってるんだろ？ 223 名前：デフォルトの名無しさん [02/05/17 17:10] >>222 いや、デバッグ以外に使い道があるかどうかって話だろ？ だからアナライザとして使ったり、ってのも答えとしてアリだろ。 224 名前：デフォルトの名無しさん [02/05/17 18:54] ナスです。 225 名前：デフォルトの名無しさん mailto:sage [02/05/18 05:44] ウリです。 226 名前：デフォルトの名無しさん mailto:sage [02/05/18 05:45] デバッガっでようするにアナライザだろ。 デバッガがバグを指摘するわけじゃなし。 227 名前：デフォルトの名無しさん mailto:sage [02/05/18 13:13] >>226 書くのが遅い 228 名前：デフォルトの名無しさん [02/05/19 20:37] >>221 遅延評価だと、どのprintが先に実行されるかわかんなくねえ？ そんなんでデバッグできるのか？ 229 名前：デフォルトの名無しさん mailto:sage [02/05/19 21:05] >>228 何をデバッグしたいかによるけど。 (文字列やファイルの最終的な内容も含めた)計算結果が 正しければ良いなら、別に求まる順序は重要じゃないよね。 まあprintを使うってことは順序も気にするんだろうから、 もともと$!やseqを使いまくってるんじゃないの？ 230 名前：haskell [02/05/26 07:37] age 231 名前：デフォルトの名無しさん [02/05/26 13:54] 高階関数に詳しくなりたいので教えて。 232 名前：Super Combinator [02/05/26 14:22] Bird「関数プログラミング」 www.amazon.co.jp/exec/obidos/ASIN/4764901811/qid=1022390348/sr=1-17/ref=sr_1_2_17/250-5692221-3686632 萩谷昌己「関数プログラミング」 www.amazon.co.jp/exec/obidos/ASIN/4535608172/250-5692221-3686632 あたりで。 233 名前：デフォルトの名無しさん [02/05/26 18:09] まさみさまがそんな本書いているとはしらなんだ.. 竹内先生の Lisp本もじつは読んでないんだよなあ。 234 名前：デフォルトの名無しさん mailto:sage [02/05/26 20:36] 日本語で書かれたHaskell本はいつ頃出ますか？ SMLだって出てるのに……。 235 名前：デフォルトの名無しさん mailto:sage [02/05/26 22:00] >>234 日本のHaskellユーザの数が、初回印刷部数(200)を越えたら。 236 名前：デフォルトの名無しさん mailto:sage [02/05/26 22:42] ユーザの数はどうやって数えるんですか？ 237 名前：デフォルトの名無しさん mailto:sage [02/05/26 23:11] うちの研究室だけで10人はいるんだから簡単に超えそうなもんだけど(藁 238 名前：デフォルトの名無しさん mailto:sage [02/05/26 23:14] >>237 そこが特別なんじゃないの？ 239 名前：デフォルトの名無しさん mailto:sage [02/05/26 23:31] じゃ、漏れが布教用に3冊買ってやるから、早く出してくれよ。 訳本でいいからさ。 240 名前：デフォルトの名無しさん mailto:sage [02/05/26 23:46] つーかさ、200位だったら、 いろんな図書館に要望しまくれば、 なんとかなるんじゃないの？ 241 名前：デフォルトの名無しさん mailto:sage [02/05/27 00:06] 200じゃだめみたい。 www.onweb.to/ken9/log/039.htm 242 名前：デフォルトの名無しさん mailto:sage [02/05/27 11:55] >>237 ここのところ素人も増えてるぞ＞オレオレ 243 名前：デフォルトの名無しさん mailto:sage [02/05/28 02:43] 有明で売れよ! ってことですか? 244 名前：デフォルトの名無しさん mailto:sage [02/05/28 10:52] >>243 東京ビッグサイトの巨大同人誌即売会サークル抽選当選しますた。 でもジャンルはプログラミング言語とはホド遠いけど(w。 245 名前：デフォルトの名無しさん mailto:sage [02/05/28 22:01] >>244 適当でいいからHaskell本もきぼんぬ 買いに行くから(藁 246 名前：244 mailto:sage [02/05/29 14:49] ウチはなんと女装本だぞ。それでも買いに来られるか？（ｗ って、実際問題としてHaskell本を作る余力はなし。 247 名前：デフォルトの名無しさん mailto:sage [02/06/04 16:02] Haskell本かどうかは分からんが、 R. Birdの「関数プログラミング」第２版を翻訳して出版して欲しい。 流れで近代科学社に。 248 名前：デフォルトの名無しさん [02/06/04 19:43] 今売ってる「関数プログラミング」も、 みなしHaskell本では。 249 名前：デフォルトの名無しさん mailto:sage [02/06/04 22:27] ぶっちゃけた話、古いわけよ。 250 名前：デフォルトの名無しさん [02/06/05 00:02] で。 結局、日本語のHaskellの本て有るんですか？ 無いんですか？ （というのか無いのか？） 251 名前：デフォルトの名無しさん [02/06/05 02:13] >>237 おどろき。 どんな研究なんだ！？ 252 名前：デフォルトの名無しさん [02/06/05 15:33] >>237 ならむしろおまえの研究室で発行しる！ 253 名前：デフォルトの名無しさん mailto:sage [02/06/05 21:53] F#のサイトより転載。 Purely functional languages like Haskell are excellent within certain niches, but many simple programming exercises can quickly turn into problems that require a PhD. to solve. 大げさだな・・・ 254 名前：デフォルトの名無しさん mailto:sage [02/06/05 22:30] うまいこというな〜 255 名前：デフォルトの名無しさん [02/06/06 21:13] 女装+Haskell本期待age 256 名前：デフォルトの名無しさん [02/06/06 23:28] 「女装しながら覚えるHASKELL」 257 名前：デフォルトの名無しさん [02/06/06 23:29] 「HASKELLによる女装プログラミングの理論と実践」 258 名前：Super Combinator mailto:sage [02/06/07 07:40] Mocking Bird, "Introduction to Female Attire using Haskell", Price Sale, 2002. 259 名前：デフォルトの名無しさん [02/06/07 13:06] Purely functional languages like Haskell are excellent within certain niches, but many simple programming exercises can quickly turn into problems that require a Female Attire. to solve. 260 名前：デフォルトの名無しさん mailto:sage [02/06/07 13:20] ネタスレ化か？ 261 名前：デフォルトの名無しさん [02/06/07 22:26] 女装した場合には、その人の参照の透明性はどう確保されるのでしょうか？ 262 名前：デフォルトの名無しさん mailto:sage [02/06/07 22:34] アブノーマルな野郎は消えろ。 263 名前：デフォルトの名無しさん mailto:sage [02/06/12 09:48] >>216 FranTk 264 名前：デフォルトの名無しさん [02/06/13 16:21] HTk 265 名前：デフォルトの名無しさん mailto:sage [02/06/13 21:34] >>261 女装は代入ではありません。ラップするだけです。 本人への参照はそのままにしてください。 女装人格←女装関連の知り合い ↓ 本人人格←普通の知り合い 私個人は女装人格をそのまま丸投げの委譲によって実装しているので、 実質どっちを見てても服装と化粧以外はさほどかわりません。 >>262 頑健なソフトウェアを構築するには 例外の存在をなかったことにして無視してはいけません。 266 名前：244 mailto:sage [02/06/13 21:37] >>265もね。 267 名前：デフォルトの名無しさん mailto:sage [02/06/13 23:55] 下らんこと書くな。 つまらんし。 268 名前：ち ◆A2MadQ16 mailto:sage [02/06/14 04:28] つまらんと不満をいうよりも進んでネタを振りましょう。>>267 269 名前：デフォルトの名無しさん [02/06/23 15:09] おい>>1よ 聞いてくれ。 昨日、母の葬式に出たんです。享年54歳。 そしたらなんか自分、涙が一滴もこぼれないんです。 で、よく見たら会ったこともないような親戚のおばさんですら泣いているんです。 もうね、アホかと。馬鹿かと。 俺な、親の死を目の前にして放心してんじゃねーよ、ボケが。 目の前に人が死んでるんだよ、母親が。 なんか親子連れとかもいるし。一家４人で葬式か。ほんとありがとう。 パパは息子さんに挨拶してくるから車で待ってなさい、とか言ってるの。いい親父だな。 俺な、親が死んでんだからもっと泣けと。 葬式ってのはな、もっと殺伐としてるべきなんだよ。 死に化粧をみた瞬間いつ涙があふれてきてもおかしくない、 泣くか叫ぶか、そんな雰囲気が普通なんじゃねーか。オレ、なんなんだよ。 で、やっと葬式が終わったかと思ったら、なんか次々と母のことが思い出されるんです。 そこでまたぶち切れですよ。 あのな、今さら思い出したところで意味ねーんだよ。ボケが。 得意げな顔して何が、今度の休みには帰るよ、だ。 俺は本当に休みに帰るつもりだったのかと問いたい。問い詰めたい。小１時間問い詰めたい。 俺、適当に親との距離をとりたかっただけちゃうんかと。 親不孝者の俺から言わせてもらえば今、若者の間での最新流行はやっぱり、反抗期、これだね。 親ってのはいつまでも生きているもんだと思っている。これがガキの考え方。 親の期待をかなえたつもりで一人暮らし。そん代わりコミュニケーション少なくなる。これ。 で、「少しだけ仕送りいれといたから」　「ああ、無理すんなよ」。これ最期の会話。 今になって後悔ばかりが思い出される、諸刃の剣。 まあお前ら若いもんは、ほんの少しでもいいから親孝行しなさいってこった。 270 名前：デフォルトの名無しさん [02/06/23 21:05] >>256 それは激しく同意。 　つうか、がっこで関数言語やってた奴が、 　仕事でオブジェクト指向の世界に戻されると、 　「このオブジェクト指向言語の型システムは...」とか、 　「RDBの動的型が云々...」って事を無意識に考えてしまって、結構ハマるんだよね。 　そーゆー意味で、関数言語関係者を招聘したMS Researchの今後に期待 271 名前：デフォルトの名無しさん mailto:sage [02/06/23 23:26] >>270 すまん、>>256でいいのか？ 272 名前：デフォルトの名無しさん mailto:sage [02/06/24 01:02] >>270 というわけでこのスレでは Simon P.J. 先生を「サイモン博士」と 呼ぶことを漏れは提案したいっすけど駄目っすか？ 273 名前：デフォルトの名無しさん [02/06/26 00:42] Haskellは東大工学部の一部でデフォルトの授業用言語になってて、 そのせいで全国の工学部（の一部）の授業に拡散・伝染してるから、 1000部ぐらいすぐに出ると思ってたんだが、どうよ？ 女装じゃ無理かもしれんが…（それとも女装のほうががいけるか！？） 274 名前：デフォルトの名無しさん mailto:sage [02/06/26 07:04] 女装って何のこと？ 275 名前：デフォルトの名無しさん mailto:sage [02/06/26 09:19] 「 Haskell を 1.25 倍使うコピー本」でどうだ。 売り子が女装でなくてじょせーだと嬉しい、ってオイ＞漏れ 276 名前：K mailto:sage [02/06/26 20:00] >>273 うちのことだな＞東大工学部の一部 講義で教えてもらうまで名前も知らなかった。 日本語の解説書さえあれば使いたい言語なのだが＞Haskell 277 名前：デフォルトの名無しさん [02/06/26 20:52] >>276 みんなそんなもんか。 私は大堀先生に感化されてＭＬ使ってる。 278 名前：デフォルトの名無しさん mailto:sage [02/06/27 00:01] >>275 女婿だと嬉しいの？ 279 名前：!275 mailto:sage [02/06/27 00:48] うん、嬉しい。 出来ればレイヤーさんきぼ。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef