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

関数型プログラミング ..

319:317
02/07/21 13:51
で、そんなのが何の役に立つかというと、いろいろとあって

・もう「決して使わない」ことがわかった値はゴミなので、ガベコレできる
・式の遅延評価をするときに、「1回しか使わない」とわかっている値は
　後のために覚えなくても良いので、オーバーヘッドを減らせる
・逆に「必ず1回は評価される」ことがわかってる式は、そもそも
　遅延評価しなくて良いので、やっぱりオーバーヘッドを減らせる
・同じように、「必ず1回は実行される」ことがわかってる副作用は、
　（Haskellのモナドみたく）遅延しなくても良いので、MLみたく
　その場で直ちに実行できる(?)

って感じ。最後のは俺がよく知らないので、Cleanとかに詳しい人がいたら
フォローをきぼんぬ。

320:Super Combinator
02/07/21 14:00
>>316
竹内外史の本はかなり手ごわい。

321:317
02/07/21 14:04
最後にlogicとの関係だが、linear logicっていう「命題を使える回数」も
考慮した論理があって、linear typeも元々はそこから派生したそうな。

どんな論理かというと、よくある説明なんだが、
　命題P = 「あなたは120円を持っている」
　命題Q = 「コーラを買える」
　命題R = 「お茶を買える」
とおいて、Pと「PならばQ」と「PならばR」の3つが成り立っているとする。
すると、普通の論理ならPを2回ほど使って「QかつR」を結論できてしまうわけだが、
120円でコーラとお茶の両方が買えるってのはおかしいよな。

だから、そういう「使ったらなくなる」ものを考えに入れて、
「命題Pは一回しか使えない」みたいな性質も考慮できるようにした論理が
linear logicというわけだ。上の例だと、Qを結論することはできるし、
それとは別個にRを結論することもできるが、「QかつR」を同時に
結論することはできない。

322:317
02/07/21 14:11
と、これぐらい知っていれば、後はCleanを使ってみるなり、
上のほうのWadlerのチュートリアルを読んでみるのが
（linear logicの教科書を読破するよりは）手っ取り早いと
思うんだが、どう？　もちろん、特定の目的じゃなくて
一般教養としてなら、linear logicの勉強もいいかもしれないけど。

もし英語が苦手だと最初は大変かもしれんが、この手の
（わりと）新しい話を少しでも突っ込んで調べようと思ったら、
何でも英語は避けて通れないと思われ。っていうか、下手な
日本語の解説よりも、上手な英語の説明のほうがわかりやすいかと。

323:Super Combinator
02/07/21 15:24
andとorに分配法則が成り立つのと成り立たないのと二種類ある、
それがlinear logic。>>321みたいなのを特にresource logicと呼ぶことがある。

324:317
02/07/21 15:39
ええと、323さんはなんでそんな風に思った？^^;
嘘を教わっているか、思い違いをしてそうなので、
例のInformation & Computationをのっとった、Girardの
オリジナルの論文を読むと吉かと思われ。

Girardの「しゃべる」英語は激しいフランス訛りで、
発表を聞いてても個人的に話をしても言ってることが
すげーわかりにくいが（笑）、上の論文はわりとわかりやすい。

325:覚え違いスマソ
02/07/21 15:43
誤: Information and Computation
正: Theoretical Computer Science

326:291
02/07/21 23:32
どうも291です。
みなさんの親切なレスが貰えてうれしいです。

>>319
論文読んでもlinear typeの構造が判ったような気がするというレベル
で止まっていました。なるほど。

linear type関連の論文て意外と少ないような気がしたので、そのバックにある
linear logicを勉強すればlinear typeのことが判るかな？という安易な動機しか
なんですけどね。
でも記号の操作のしかた忘れたなー。完璧に。

あとCleanですか？Downはしてますけど、使ったとき無いです。
うーんCleanも勉強すべきなのかな？

327:291
02/07/22 01:02
>大堀先生の「プログラミング言語の基礎理論」
この本は持っています。
読んでいますし、3割ぐらいは理解しているつもりです。
型推論も基礎となるアイデアも理解しているつもりです。

>上のほうのWadlerのチュートリアルを読んでみるのが
「Linear types can change the World!」は読んでいます
（20ページ程度の文書なら、英語でも読む気がするんですがね。）
でも、この論文は、317さんの解説のやつとは少し違うかな？

328:293,301
02/07/24 11:54
あ、論理カゼを吹かせてしまったのは自分だ。スマソ m(_ _)m

Wadler の解説に目を通してみました。World 型の
ような、捨てたり複製しちゃいけないとかいう値を
導入するための仕掛けが線形型ってことですね。

monad の解説 "Imperative functional programming"
の 4 節にある、評価順序を保証するためだけにある、
受け渡されるだけで値は運ばない変数 w を表面に
引っ張り出して活用する、という感じなのでしょうか。

↑これは激しく勘違いかも。

上の >>319 で説明されてるところは、Haskellコンパイラ
方面で研究されてる必須性解析やら更新回避解析やらを
プログラマが明示できる/しないといけない、と感じたん
ですが、どうでしょうか。

329:デフォルトの名無しさん
02/07/24 23:14
Cleanに関するページのようです。
Cleanってすごいですね。
URLﾘﾝｸ(sky.zero.ad.jp)

330:デフォルトの名無しさん
02/07/25 22:22
URLﾘﾝｸ(www.sysj.co.jp)

331:デフォルトの名無しさん
02/07/26 13:33
藁藁

332:デフォルトの名無しさん
02/07/26 18:49
>>329のサイト、ブラウザで画像もJavaScriptもOFFにしてたら、トップページから中に入れない。
しかたないからHTMLソース見てみたら…

＞

ｺﾜｲﾖｰ

333:332
02/07/26 18:59
あ、上の書き込みだけだと中傷にしか見えませんね。スマソ。
初心者の僕にはとても勉強になりました。つーか、大堀先生の本が読めなくて
ちょっとへこんでたんですけど、書評読んだらすこし元気が出てきました。
がんばるぞー。

334:デフォルトの名無しさん
02/07/26 19:22
>>333
わかんなければソース見てもいいと思うぞ。勉強になる。
あっちが見られる様な媒体で見られたくないものを置いている方が悪いんだから。

335:デフォルトの名無しさん
02/07/26 19:53
(゜д゜)＜あらやだ！
URLﾘﾝｸ(www.amazon.co.jp)

未だ全部読んでないのに、
Haskell:the Craft of Functional Programming
の第三版が出ちゃった！

……と思ったら日付が、

336:デフォルトの名無しさん
02/07/26 20:04
スゲ～

二度と見に行くかよ、と思わせるためにやってるとすれば、
とっても効果的だ。

337:デフォルトの名無しさん
02/07/27 00:35
>>335
俺も一瞬そう思った

338:デフォルトの名無しさん
02/07/27 00:49
age toku yo

339:デフォルトの名無しさん
02/07/27 01:15


コメント変わった？
ここ読んでる？

340:デフォルトの名無しさん
02/07/27 01:35
>>329
の書き込みは要するに自作自演書き込みって事でしょ。

341:デフォルトの名無しさん
02/07/27 01:35
世間が狭いだけでは

342:デフォルトの名無しさん
02/07/27 09:03
>>339
削除した理由が、

「まあ確かにそんなものをつけるべきではないのかもしれませんね。」

誰かに注意を受けたと取るのが一番か。

343:デフォルトの名無しさん
02/07/27 09:34
書評も的を射ていないっぽ

344:デフォルトの名無しさん
02/07/27 14:07
スレ違い。

345:デフォルトの名無しさん
02/07/27 18:13
CLEANを紹介したのはエライが、
自作自演とか、偉そうにWeb作ってるのはイクナイ。

346:デフォルトの名無しさん
02/07/27 23:11
なぜ自作自演？
とか書くと、これも自作自演と勘違いされるのだろうか？

>偉そうにWeb作ってるのはイクナイ
作っている分だけ偉いです。
ヒガミはイケナイネ。

347:デフォルトの名無しさん
02/07/28 08:06
Ｃｌｅａｎのページ作ってる奴はここを読んでるやうだな。
Ｃｌｅａｎってば名前しか知らなかったので、ページ作ってくれたのは非常に
よろしいと思う。イイ。

だけど、自分の理解が怪しいこととかまで、無理して書いてないかの？
斜めにしか読んでないが、なんか外してるところがある気がちょっとする。
>>339とかもどうかと思われ。

348:デフォルトの名無しさん
02/07/28 08:29
Haskellの話をしよ～ぜ。

349:デフォルトの名無しさん
02/07/29 00:25
Haskell がメインの開発言語になってる会社ってありますか？

350:デフォルトの名無しさん
02/07/29 08:46
>>349
Galois Connections
URLﾘﾝｸ(www.galconn.com)

351:デフォルトの名無しさん
02/07/29 10:31
もし、今後 Haskell 本とか書くヒトが居たら、是非

「本書の内容の正否・当否についての質問・意見は、明確で
具体的な理由をつけて、匿名ではなく、hoge@hoge.jp まで
お願いします。また、これら以外のことに関する本書への
批判・評論は刑法230条又は231条等に触れる恐れがあり
ますのであくまでも自己責任でお願い致します。」

とでも、表 2 カバー裏あたりに書いとけば良いかも :-)

352:デフォルトの名無しさん
02/07/29 10:38
>>351
なんだそれは。
Ｃｌｅａｎのページ作った人ですか？
突っ込まれたから、ぼやいている？

Haskellのページとかschemeのページは前からあるけど、
だれも苦情は言わないし、ありがとうしか言わない・・ですが？

353:デフォルトの名無しさん
02/07/29 10:38
「本書の内容の正否・当否についての質問・意見は、明確で
具体的な理由をつけて、匿名ではなく、hoge@hoge.jp まで
お願いします。また、これら以外のことに関する著作者への
批判・評論は刑法230条又は231条等に触れる恐れがあり
ますのであくまでも自己責任でお願い致します。」

こうだな、正確には。

354:デフォルトの名無しさん
02/07/29 10:52
>>351
バイアスかけるのは止めてね
Haskellのスレだし。

355:デフォルトの名無しさん
02/07/29 11:30
>>351
おまえ私怨か？

356:デフォルトの名無しさん
02/07/29 13:33
>>351マンセー（ｗｗ

357:デフォルトの名無しさん
02/07/29 17:34
Haskeﾙﾝ

358:デフォルトの名無しさん
02/07/29 20:55
ああ、DUAL!ってやつ？

359:デフォルトの名無しさん
02/07/29 23:02
?

360:デフォルトの名無しさん
02/07/30 18:13
>>352
ぼやきか・・・
それはもしかしたらイタイ発言ではなかろうか

361:332
02/07/30 20:28
なんか俺のカキコのせいで荒らされちゃってますね、スレの皆さんごめんなさい。
もう夏休みに入ってるって事をすっかり忘れてました。

362:デフォルトの名無しさん
02/07/31 00:54
>>361
お前のような万年厨も問題だがな

363:デフォルトの名無しさん
02/07/31 02:40
>>362
ハー。
人の振り見て・・・ということで。

364:デフォルトの名無しさん
02/07/31 17:02
>>363
厨

365:石敢當
02/08/02 22:28
Haskell 98 Report が本になるみたいですね。

366:デフォルトの名無しさん
02/08/02 23:01
>>365
母さんソース

367:デフォルトの名無しさん
02/08/02 23:08
じゃ、誰かものすごい勢いで日本語版も
出版してくれよな。

368:デフォルトの名無しさん
02/08/03 08:55
気づいたら最初のスレが立ってから一年過ぎてる。
最初のころはHaskellスレ限定コテハンも何人かいて妙にまたーりとしていた
気がするのだが、最近廃れっぷりが激しいな。最初のころのような勢いも無いし。

懐　古　う　ざ　い

　　　　　　　　　　よね。

すまん。逝ってくる。

369:デフォルトの名無しさん
02/08/03 09:25
ネタがないんじゃよー

誰かお遊びで作ったプログラムとか貼ってくれませんか？

370:デフォルトの名無しさん
02/08/03 15:03
関数型言語初心者です。

Haskellでクイックソートのコードを以前見かけて、こんなにシンプルになるのかと感動しました。

では、バブルソート(二重for文で大小比較の単純なやつ)はどうなるのでしょうか。
iとjを引数にして二重に再帰を繰り返し、takeやdropで切り貼りするしか無いのでしょうか？
もっと効率のいいやり方があるのでは、と思うのですが…

371:デフォルトの名無しさん
02/08/04 05:06
>>370
それらしいものを書いてみようとしたら
選択ソートとバブルソートが混ざったような中途半端なものになった。

bubbleSort :: Ord a => [a] -> [a]
bubbleSort xs = bs xs []

bs [] _ = []
bs [x] rest = x : bs rest []
bs (x1:x2:xs) rest = bs (min x1 x2 : xs) (max x1 x2 : rest)

つか効率を気にすればするほど選択ソートっぽくなると思う。

372:デフォルトの名無しさん
02/08/04 05:20
このスレってほとんどコード出てきてないのな。

373:デフォルトの名無しさん
02/08/04 07:27
Haskellは犬ですか？

374:デフォルトの名無しさん
02/08/04 13:54
Haskellerと言ってもその程度。

375:370
02/08/04 16:19
何故>>371でソートになるのか悩んで、紙に書いてようやく理解しました。
最小値を取り出して、それを x : bs rest [] で先頭に結合しているわけですか。

bs xs i j なんて関数を作って手続き型そのままにやろうとした俺とはえらい違いです。敬服。

376:370
02/08/07 22:54
数日間が空いてはっと気付く…

>>371のコードですと、要素数に比例してスタックを消費してしまいませんか？
(半端な知識ですが、末尾再帰になってなく見えます。書き直せないところが厨ですが…)

関数型言語の場合、スタック消費は気にしない方がいいのでしょうか。

377:デフォルトの名無しさん
02/08/10 10:05
>>376
関数型言語では基本データ構造のリストが再帰的（末尾再帰ではない）に
定義されているわけで、そもそもスタックを消費しまくることを前提に
作られているでしょうから、スタックの消費をあまり気にしなくていい言語と
して使えるはず。

Haskell のような遅延評価が基本の言語では、自然な再帰のアルゴリズムの
プログラムを、末尾再帰のアルゴリズムのプログラムに書き換えることも、
計算のオーダーが変わるようなもの以外は、あまり、気にすることはない
気がします。

378:デフォルトの名無しさん
02/08/10 11:42
よく関数型言語で Xs, とかYsってvariableなんだけど、なんでXsなの？
この最後のＳはどっからでてきたの？Ｘ，Ｙ，Ｚ，Ｗ，Ｖとかでいいじゃん。
Ｓなんてつけなくても

379:デフォルトの名無しさん
02/08/10 12:14
x:xs
複数形のsです。

380:日曜Haskellerオヤジ
02/08/11 06:22
ものすごい久々です、
現在はプログラミング基礎論の勉強がてら一緒に Haskell もお勉強モードな土日です。

>>368
特に初心者がやるときには、英語を勉強しつつ Haskell の勉強もしようとすると
忙しくなりすぎて、とりわけ社会人だと極度のんびり勉強モードになってしまいます。
そうすると、どうしてもネタが尽き気味になりますよね、
和書の入門書がぜひとも欲しいところです。
大学院の学生さんたちの誰かが執筆してくれればいいんですが、だれか書きませんかね？
Haskell は離散数学とか圏論とかとセットにすると非常に面白い本ができると思うのですがどうでしょう？

あと、圏論の専門本も是非とも欲しいところですね、これも本当にない、
まったくと言って良いほど本がない、あっても絶版ばかりで手に入りません。
シュプリンガーフェアラーク出版の「代数学とは何か」に書かれてあるのが、
手に入りかつ、知っている範囲なのですが、
これは数学の専門書でプログラマには少々というかかなりの難解ぶりです。

自分がなんとか読めそうと感じられる範囲では、
ここ URLﾘﾝｸ(www.etl.go.jp)
にあるんですが、これも内容を充実して製本された本が欲しいところです。

初心者向きといえば、以前工科大のページがあったんですが
消滅してしまっているようです、越田センセまた何かページつくってくれないかな・・

381:デフォルトの名無しさん
02/08/11 07:14
プログラムはじめてやるのにラムダカルキュラスは難しすぎる

382:デフォルトの名無しさん
02/08/11 09:07
URLﾘﾝｸ(nicosia.is.s.u-tokyo.ac.jp)
はぎゃー先生のページ面白い

383:yuki
02/08/20 07:38
====================================================================

すみません。初心者なのですがこんな質問に誰か答えていただけるのでしょうか？

function type は
[Key] -> [Token] -> [(Field, Value)]

type Token = String
type Field = String
type Value = String
type Key = String

Key で Token を検索して、結果があればFieldとValueでOutput すると言う
ファンクションです。例えば、
[key] = ["Name","Title","Address"]

[Token]="Name",":","Yamada","Taroh",";","Title",":","Mr",";","Address",":","Tokyo","Shinjuku",";"]

output
[("Name","Yamada Taroh"),("Title","Mr"),("Address","Tokyo Shinjuku")]

になります。
TokenのArrayの中で、Fieldのあとは必ず ':', Valueのあとは ';'
になってます。それと、ｏｕｔｐｕｔのｆｉｅｌｄは単語ごとにスペースでくぎられた１つのｓｔｒｉｎｇになります。

誰か、アイデアでもいいので下さい。
すみません何分初心者なもので。レスお待ちしてます。

=======================================================================

384:デフォルトの名無しさん
02/08/20 08:36
>>383
その区切り線には宗教的意味か何かでもあるのか？

385:デフォルトの名無しさん
02/08/20 09:14
>>383
宿題は自分でやりましょうね。

386:デフォルトの名無しさん
02/08/20 11:42
Haskellって、
学校の授業でどのくらい使われてるの？

387:日曜Haskellerオヤジ
02/08/20 12:50
宿題だとすると・・・そのまま答えを書いたらまずいかな(笑
私だったらこんな感じで作りますかね。

見ているとスペースのところで文字列が切断されていて非常に感じが悪いのでそれをまず結合します。
つづいてこの文字列リストから ":" , ";" を取り除いて出来上がり

388:日曜Haskellerオヤジ
02/08/20 12:52
おまけ
結合すべき文字列は直後が ";" ":" でないことに着目すると簡単に作れるでしょう。

389:383
02/08/20 12:55
「Haskell言語プログラミングレッスン <上> Haskell言語を始めよう」
「Haskell言語プログラミングレッスン <下> 関数型言語を始めよう」

出版準備です。

390:デフォルトの名無しさん
02/08/20 13:02
出版準備？大丈夫かよオイ

391:デフォルトの名無しさん
02/08/20 13:04
ﾈﾀだろ…

392:日曜Haskellerオヤジ
02/08/20 13:11
よく見てみると、単に複数文字列があるだけじゃなくて、
レコードみたいになっていますね　';' ':' ブラウザはの見分けがつかない
間違っているので上記２レスは無しということでお願いします

';' でいったん文字列リストのそのまたリストに分解して
先頭を順序対の左
上記を取り除いた上での、先頭と末尾を取り除いた文字列の結合を右の順序対として
リストを作ればよいみたいですね。

393:日曜Haskellerオヤジ
02/08/20 13:25
>>389
本当ならうれしいですね、ちょっと作ってみましょう、しばらくかかります。

394:デフォルトの名無しさん
02/08/20 13:27
個人的には関数の型が気にいらんな。

type Assoc = [(Field, Value)]
lookupAssoc :: [Key] -> Assoc -> Assoc

をつくれ、としたほうが抽象化のレベルがあうのでないか。まあ、

parseAssoc :: [Token] -> Assoc

をつくって

lookupTokens :: [Key] -> [Token] -> [(Field, Value)]
lookupTokens keys tokens = lookupAssoc keys (parseAssoc tokens)

とすれば元の題意にはあうだろうが。

395:デフォルトの名無しさん
02/08/20 14:00
>>389
題名的には上下逆だろ。

396:日曜Haskellerオヤジ
02/08/20 15:52
関数型言語の素人のコードなので変かも知れませんが大体こんな感じになります。
本できたら、このスレッドに報告してくださいね、買います。

type Token = String
type Key = String
type Field = String
type Value = String

hoge_key = [ "Name" , "Title" , "Address" ]

hoge_token = [ "Name" , ":" , "Yamada" , "Taroh" , ";" , "Title" , ":" , "Mr" , ";" , "Address" , ":" , "Tokyo" , "Shinjuku" , ";" ]

-- ここが本体
func :: [Key] -> [Token] -> [(Field, Value)]
func k t = receive [] t
　　where
　　　　receive xcomplete remain
　　　　　　| remain == []　= xcomplete　　　　　　　　　　　　 -- 全部完了
　　　　　　| nokey　　　　 = receive xcomplete raw_recs　　　　-- キー無し
　　　　　　| otherwise　　 = receive (rec:xcomplete) raw_recs　-- 成功
　　　　　　　　where
　　　　　　　　　　-- 先頭レコードのその以外のレコードの定義
　　　　　　　　　　( raw_rec , raw_recs ) = sprit_records remain

　　　　　　　　　　-- キーと ':' と結合前の値のリスト定義
　　　　　　　　　　-- 必要ならコロンのチェックをすること
　　　　　　　　　　( key : ( colon : value_token ) ) = raw_rec

　　　　　　　　　　-- キーがあるかどうかの定義
　　　　　　　　　　nokey = (has_member k key) == False

　　　　　　　　　　-- 値の定義
　　　　　　　　　　value = cat_value value_token

　　　　　　　　　　-- 整形済みレコード
　　　　　　　　　　rec = ( key , value )

397:日曜Haskellerオヤジ
02/08/20 15:53
続きです

-- トークン分解と ';' の取り除き
-- 末尾 ';' チェックはしていないので必要なら無限再帰防止策をとること
sprit_records :: [Token] -> ( [Token] , [Token] )
sprit_records token = receive ( [] , token )
　　where
　　　　receive ( x , (y:ys) )
　　　　　　| y == ";"　　　= ( x , ys )
　　　　　　| otherwise　　 = receive ( x ++ [y] , ys )

-- 空白を入れながら文字列の結合をする
cat_value (x:xs) = receive x xs
　　where
　　　　receive complete remain
　　　　　　| remain == []　= complete
　　　　　　| otherwise　　 = receive ( complete ++ " " ++ x ) xs
　　　　　　　　where
　　　　　　　　　　(x:xs) = remain

-- キー名があるかどうかチェック
has_member (key:keys) x
　　| x == key　　　= True
　　| keys /= []　　= has_member keys x
　　| otherwise　　 = False

398:383
02/08/20 20:19
日曜Haskellerオヤジさん　ありがとうございます。

なんか、本を出すことで盛り上がってるみたいなのですが。。
すみません、>389　は私ではないです。誰かがネタでやったみたいです。
なのに、期待して答えて頂いて感謝してます。

それと、すぐ宿題ってばれましたね（苦笑）。事実、海外でＩＴを勉強してる学生です。
これはアサイメントで来週提出で7問中、1問だけとけてる状態です。そして、苦肉の策で
このスレに質問をしてみました。そして、みなさんにヒントを頂き感謝してます。

みなさんはかなりの知識をお持ちのようで、私なんてＪＡＶＡの教科は自分では得意だと
思ってやってましたが、haskelになると途端にややこしくなり、自分の頭の悪さを、思い知らされてます。
数学の知識がさらに必要となってきてますね。

日曜Haskellerオヤジ　さん、参考になりました。ありがとうございます。
ついでにこのアサイメントの全容を貼っときました。（期待しつつ）。自分でやるつもりです。
海外は教科をパスするのがきついですね。

URLﾘﾝｸ(www7.big.or.jp)

また、質問があればさせていただいていいですか？

お礼のレス遅れてしまってすみません。なんか、私の使ってるプロバ、規制されてるんです。うー
だから、友人にメールで送って、それからレスしてもらってるので。すみません。荒らしではないですよ。

399:デフォルトの名無しさん
02/08/20 20:25
日曜オヤジさん、カコ（・∀・）イイ！！

400:デフォルトの名無しさん
02/08/21 09:00
>>383
hogehoge ks ts
= filter (\ (k,v) -> elem k ks) $ map hogera $ hoge ts
where
hoge [] = []
hoge ts = case break (";" ==) ts of
(_,[]) -> [ts]
(xs,_:ys) -> xs : hoge ys

hogera ls = case break (":" ==) ls of
(_,[]) -> (unwords ls, "")
(x,_:y) -> (unwords x, unwords y)

401:デフォルトの名無しさん
02/08/21 09:02
uge

402:日曜Haskellerオヤジ
02/08/21 22:12
>すみません、>389　は私ではないです。誰かがネタでやったみたいです。
やっぱりそうか(笑)

関数型は脳の回路がスイッチしないとやっぱり大変です、
普段の仕事では普通の言語を使っているので、土日に関数型に切り替えると毎週のように戸惑います。
JAVA 等で使われているオブジェクト指向的な考え方が頭の中に残っているとうまく組めません。

関数型プログラムのコツは写像を追うことと、
自分が欲しい結果を細部に分解しながら欲しいものを定義してゆくことだと思います。
しかし、これは考えても無駄で、なれるしかないです

>また、質問があればさせていただいていいですか？
どうぞ、このスレッドは最近ずっと寂れていたようですし、私が答えなくても
だれかが答えてくれると思いますし、私も書いてみます。

#ダウンロードしようと思いましたが、ファイルはもうアップローダーに残っていないみたいです。

403:デフォルトの名無しさん
02/08/22 03:18
まずfという関数があり、それはトークンの列を受け取って題意の処理を行うと仮定します。

1. 次の関数
g v [v1, ..., vn,":"]++xs=(v++" "++v1++" "++...++" "++vn,f xs)
を作りましょう。

2. gを使って関数fを定義します。関数fは、もしｎがリストｋに現れていたら
f [n,";",v1, ..., vn,":"]++xs = (n,v1++" "++...++" "++vn):f xs
そうじゃなかったらf xsを返します。fの定義はkのスコープの中で行われるものとします。

3. 最後に二つの関数をまとめてansを作りましょう。ansはキーのリストとトークンのリストをとり、
f,gを内部で定義してfにトークンのリストを渡します。

宿題の答えを書くのもアレなので、こういうかたちにしてみました。

404:デフォルトの名無しさん
02/08/22 03:23
>>403
> 2. gを使って関数fを定義します。関数fは、もしｎがリストｋに現れていたら
2. gを使って関数fを定義します。関数fは、もしｎがキーのリストｋに現れていたら
でした。舌足らずですた。

405:デフォルトの名無しさん
02/08/26 10:16
東大の「こ・何とか」って人は何人？

406:デフォルトの名無しさん
02/08/29 13:10
nisseicom.co.jp

407:日曜Haskellerオヤジ
02/08/30 00:01
>>403
ん、お盆休み明けてのぞいてみれば、だれもレスを付けていないのか・・・
今週末ちょっと考えて見ます。

408:日曜Haskellerオヤジ
02/08/31 17:37
やっと週末、必死こいて圏論勉強中の日曜Haskellerオヤジです。

ちょっと読んでみたんですが、正直題意が良くわからなかったです。
これはレスつけられないのでは、と思いました。
出題は、宿題のパターンでよいとは思います。ただし、宿題は自分の良心で自分でやりましょうね。(笑

ちなみに、引数に使ったラベルに意味説明を入れたほうが良いと思います。
いきなり v とか v1 とかで説明されてもわかりにくいです。

v1 v2 ... は入力トークンで、末尾は ":" です、
そのリストを [v1 , ... vn , ":" ] とします。

みたいな感じで書いた方がよいのではないかと感じました。
v はキー・・・・なんでしょうか？
あと、２については、 f の中に g が見当たりません。
( v ++ " "++v1++" "++...++" "++vn,f xs) = (n,v1++" "++...++" "++vn)
なんでしょうか？

409:デフォルトの名無しさん
02/08/31 17:43
正直ハスケルってどこで使うの？別に煽りじゃなくて、
どういうところで使われてるか不思議で。shcemeとかは
dr schemeのチュートリアルで結構仕事があるみたいなことを
書いてあったけど。

410:デフォルトの名無しさん
02/09/05 10:28
>>409
学校

411:デフォルトの名無しさん
02/09/07 12:25
>>410
(小)

412:デフォルトの名無しさん
02/09/07 12:25
>>400 kakoii! tuka hutuu dakedo, >>396-397 no ato ni miruto kakoii!

413:デフォルトの名無しさん
02/09/07 12:42
URLﾘﾝｸ(www.sampou.org)
そこでいう setter って x {foo = "chample"} みたいなのじゃないんすか?

data Foo = Coo { foo :: String, bar :: Integer} deriving Show
x = Coo { foo = "sample", bar = 12345 } -- 初期化
main = print x >> print (x {foo = "chample"})

と、こんなところで半年近くも前の話に質問をしてみるテスト。

414:デフォルトの名無しさん
02/09/07 13:11
>>413
君はこういう (URLﾘﾝｸ(www.bier-reise.com))
つもりなのかもしれんが、"チャンプル" でなく "チャンプルー" と伸ばすこともあり、
chample よりは champloo って書くべきものなのだよ。

415:デフォルトの名無しさん
02/09/07 15:41
>>352
なんだそれは。

416:デフォルトの名無しさん
02/09/07 23:10
ここらへんで一丁Haskellで

七行プログラミング part2
ｽﾚﾘﾝｸ(tech板)

に乱入して、関数型言語の恐ろしさを見せつけてやりませんか？

Haskellなら相当な事が出来そうですが（今↑ではやりのRLEとかも）

417:デフォルトの名無しさん
02/09/07 23:28
おまえがやって見ろよ

418:デフォルトの名無しさん
02/09/08 02:11
>>416
大して戦果をあげれないと思う。入出力とか弱いし。
Haskell 向きなのを何か考えればアレかもしれんが。

419:デフォルトの名無しさん
02/09/09 13:38
モナドパーサ

420:
02/09/18 03:35

421:デフォルトの名無しさん
02/09/18 06:54
7行プログラミングってPerlが一番凄そう。

422:デフォルトの名無しさん
02/09/18 16:41
むしろperlはそのための言語。

423:司馬乱
02/09/27 23:46
>>408
久しぶりにこのスレ覗いてみたら寂れてますねー．
コンピュータサイエンス向けの日本語の易しい圏論の本って需要あるのかな？

424:日曜Haskellerオヤジ
02/09/30 14:31
そーですねー、淋しいです。

>コンピュータサイエンス向けの日本語の易しい圏論の本って需要あるのかな？
取り合えず私にはあります、だれか作ってー
離散数学に興味を持ったところ、そのまま勢いでこれも面白くなってきています。
もっとも、一般位相はしらないわ、集合論はしらないわで大変ですが・・・
Haskell という言語はこういうものを勉強するときに便利ですね。

425:デフォルトの名無しさん
02/09/30 16:02
URLﾘﾝｸ(www.mail-archive.com)

426:石敢當
02/09/30 22:16
>>423
なぜコンピュータサイエンスに圏論なのか、圏論を勉強すると
プログラムを作成するにあたりどんな嬉しいことがあるのか、
などについて序章あたりに書かれているような本だったら買いたいです。

英語で書かれたのを１冊持っていますが、なかなか読み進めません。
ありがたみを実感できる章にたどり着けばはずみがつくと思うのですが・・。

427:デフォルトの名無しさん
02/09/30 22:58
>>426
その本とはなんでしょう？
さしつかえなければ教えてください。

428:デフォルトの名無しさん
02/09/30 23:17
圏論ですか、下の本で見たときがあります。
情報数学講座7 プログラム意味論横内寛文共立出版 1994.6

それにしてもプログラミング処理系は、実用的にするため色々な拡張が施され
ています。そのため純粋な数学との間には大きな溝が出来てしまってい
るような気がします。

429:デフォルトの名無しさん
02/10/01 00:43
これが圏論だっていうコードを見れば
分かるようになるかも。

430:デフォルトの名無しさん
02/10/01 23:00
Frege構造って何？

431:石敢當
02/10/02 01:07
>>427
Bird & de Moor の "Algebra of Programming" です。

432:司馬乱
02/10/02 01:08
コンピュータサイエンスの場合，圏論の代数的な面を強く出すよりは
論理や型理論と一緒にやる方がいいと思いますが（代数は等式論理なので）
どうやって動機付けするのがいいのかな．

圏論には多分
- プログラムの意味論を厳密に議論するための言葉を提供してくれる
- 様々なプログラミングのメタファーを提供してくれる
という二つの面があると思いますが，お互いに依存しあっているので
最後まで引っ張っていく書き方というのは結構challengingかも．
きちんと書くと今度は厚くなりそうだし．

433:司馬乱
02/10/02 01:27
>>431
たしかallegoryとか使っているやつですか？

434:石敢當
02/10/02 22:07
>>433
はい、そうです。

>>きちんと書くと今度は厚くなりそうだし．

執筆する側としては厚い本を書くのは大変だと思いますが、
読む側としては多少厚くても難解な薄い本よりはずっと
ありがたいです。もっとも、431の本をなかなか読み進めない
一番の理由は十分な間を取れていないからで、難解とか言う
以前の問題です。

435:デフォルトの名無しさん
02/10/02 22:17
>>432
というような会話を、約10年程前にしてたんですけど、
相変わらずそのスジでは必須科目(ｗなのですか？

436:デフォルトの名無しさん
02/10/02 22:34
多分、答えないと思うけど(ｗ

437:日曜Haskellerオヤジ
02/10/04 00:02
>>429
圏論というのは、集合論の代わりになるもので、集合論が「要素」の論理
であるのに対して、圏論は「要素」と「要素」の間の関係の論理です。
集合論を置き換える為の物のようです。( 多分(^^; )

圏論って定義は分るんですけれど、その意味しているところは難解です、いまだに分りません。
しかも定義も注意深く定義を読まないと、いきなり変なところにはまり込んでしまいます。
私は ob(C) が「点」とか書かれていて最初こんがらがっていました。
ついでに射も最初はこんがらがってました。
#といいますか、全部だ・・・

もし分らないのが圏論の定義なら
しょうもない集合でいいので一個具体的に作ってみると少しづつ分ってきます。
たとえば { {false,true} , {0,1} } ＝ ob(C) から出発して
全部作ってみるといいですよ。

#ちかごの感じるんですが
#　圏論 : 関数型
#　集合 : オブジェクト指向
#「点」が中心の時がよいのか「射」が中心の時がよいのか
#時々強烈に的確に記述できる関数型の特徴の正体が見えたような見えないような・・・

438:デフォルトの名無しさん
02/10/04 02:09
わたしの、数学から見たイメージでは、
集合論：構成的（実装を扱う）
圏論：公理的（インターフェースを扱う）

射の位相空間での実装は連続写像、群での実装は準同型写像って感じ。

インターフェースのみを使って記述すれば、そのインターフェースを
持っているどんな実装でも成り立つものを作ることができる。
また、インターフェースを前に出すことで、性質を明確に記述でき、
性質の比較ができる。
などのことが、圏論のメリットと感じます。

コンピュータサイエンスで圏論がどう使われているのかは知りませんが。
いや、数学でもあまり知らないんだけど。

439:デフォルトの名無しさん
02/10/09 23:28
>>423 >>432
もしかして書く気ですか?

440:デフォルトの名無しさん
02/10/14 04:00
Hugsって、そろそろバージョンアップしたりしないのかな。
テンキーの'/'が効かないのはなぜ？

441:日曜Haskellerオヤジ
02/10/15 22:08
越田一郎先生のページが復活していたので記念上げしておきます。
チュートリアルとしては最適と思います、私もこれを使っておぽえました。
URLﾘﾝｸ(www.teu.ac.jp)

442:デフォルトの名無しさん
02/10/28 04:33
寝られないので今さっき勉強始めてみました、あげ

443:デフォルトの名無しさん
02/10/28 05:04
Haskell ?
なにそれ？

444:デフォルトの名無しさん
02/10/28 05:09
>>443
若者向けのLisp

445:デフォルトの名無しさん
02/10/28 05:18
>>444
若者向けのLisp

446:デフォルトの名無しさん
02/10/28 09:38
prologの方がいいよ

447:デフォルトの名無しさん
02/10/28 09:47
んなわきゃねぇ（ｗ

448:442
02/10/28 10:08
越田先生のチュートリアルいいよ。
公式のドキュメント読んでもいまいちだったけど、
これ読んだらけっこうすんなり入ってきました。

東京工科の学生には負けられません。

449:デフォルトの名無しさん
02/10/28 10:56
`ってどこ？っていうのがFAQかよ（藁

450:デフォルトの名無しさん
02/10/28 11:29
pの横にあるキーボードもありますけどね。

451:デフォルトの名無しさん
02/10/28 11:41
キーマップが違っててもすぐ分かるだろ

452:デフォルトの名無しさん
02/10/28 12:15
わからんキーはかたっぱしから押してみるのが近道だろうが
最近はヘタなキー押すとサスペンドしたりユーザー切り替わったりするらすいな。
なんでこれ以上ボタン増やしたがるのかわからんよ。

453:442
02/10/28 12:20
あのー、スレ違いなんですけど。。。

454:名無しさん＠Ｅｍａｃｓ
02/10/29 18:38
越田先生の
fibStep :: (Integer, Integer) -> (Integer, Integer)
fibStep (u, v) = (v, u+v)
fibPair :: Int -> (Integer, Integer)
fibPair n
　　| n == 0 = (0, 1)
　　| otherwise = fibStep (fibPair (n-1))
nacchi :: Integer -> Integer
nacchi = fst . fibPair
このnacchi関数サイコー！
ところでIntegerは最高何桁まで扱えるんでしょうか？
nacchi 10000　ぐらいまでは余裕みたいですが。

455:デフォルトの名無しさん
02/10/29 18:45
（●

(略

456:名無しさん＠Ｅｍａｃｓ
02/10/29 20:17
越田先生の10/9の再帰的関数と組の問題を解いたのだけど、
かなり汚いです。だれかスッキリした正解を教えて下さい。

maxOccursTwo :: Int -> Int -> (Int, Int)
maxOccursTwo a b
| a > b = (a, 1)
| a == b = (a, 2)
| otherwise = (b, 1)

maxThreeAux :: Int -> (Int, Int) -> (Int, Int)
maxThreeAux a (b, c)
| a == b = (a, c + 1)
| a > b = (a, 1)
| a < b = (b, c)

maxOccursThree :: Int -> Int -> Int -> (Int, Int)
maxOccursThree a b c =
maxThreeAux a (maxOccursTwo b c)

457:名無しさん＠Ｅｍａｃｓ
02/10/29 21:25
越田先生の10/16の「リスト」の問題なんですが、

innerfunc :: Int -> Int -> [Int]
innerfunc num op
　　| op == 0 = []
　　| num `mod` op == 0 = innerfunc num (op-1) ++ [op]
　　| otherwise = innerfunc num (op-1)
divisors :: Int -> [Int]
divisors num
　　| num <= 0 = []
　　| otherwise = innerfunc num num

これでリストに要素を追加しようと思い":"を使おうと
思ったのですが、これの型はa -> [a] ->[a]
なので使うことができません。
[a] -> a ->[a]という型の関数はないんでしょうか？
[op]っていう書き方がなんとなくダサい気がします。
そういう関数は組込みであるんでしょうか？

というか組込み関数一覧みたいなのってどっかにありません？

458:名無しさん＠Ｅｍａｃｓ
02/10/29 21:47
divisors関数を使った素数判定はこうかな？

isPrime :: Int -> Bool
isPrime num
　　| num <= 2 = False
　　| length (divisors num) > 2 = False
　　| otherwise = True

なんとなくHaskellが楽しくなってきました。
東京工科大のやつらがうらやましひです。。。

早くIO使った実用的アプリを作れるところまでいきたいのぉ

459:名無しさん＠Ｅｍａｃｓ
02/10/29 22:27
型変換するよい方法はないでしょうか？

hugs上で
>:type "abc"
"abc" :: String
>:type ["abc"]
["abc"] :: [[Char]]

となってしまいます。本当は[String]となって欲しいわけですが、
Charのリストのリストになってしまうんですね。
どうしてなんでしょう？そこで、
>:type ["abc"::String]とかやってみてもダメですね。[[Char]]になります。
:type 1::Intならうまくいくんですが。。。

460:デフォルトの名無しさん
02/10/29 22:47
String は [Char] の別名だから。

URLﾘﾝｸ(www.haskell.org)
↑を見てみればわかるように言語仕様で
type String = [Char]
というセマンティクスが規定されてる．

461:名無しさん＠Ｅｍａｃｓ
02/10/30 00:05
>>761　ありがとうございます。
CharとStringの扱いですが、なかなか難しいですね。
おなじくhugs上で
>("aaa","b") == ("aaa", 'b')
というのはもちろんエラーになるわけですが、
Stringとなって欲しいようなところで[Char]と評価されて
しまうので。。。

チュートリアルの図書館データベースの問題で、

type Person = String
type Book 　= String
type Record = (Person, Book)

-- 図書の返却を行う関数
isData :: Record -> Record -> Bool
isData record1 record2
　　= record1 /= record2
returnLoan :: Database -> Person -> Book -> Database
returnLoan remove_person remove_book
　　= [ record | record <- exampleBase, isData record (remove_person, remove_book)]

これだと
ERROR "library.hs":54 - Type error in application
*** Expression : isData record (remove_person,remove_book)
*** Term : (remove_person,remove_book)
*** Type : ([([Char],[Char])],[Char])
*** Does not match : ([Char],[Char])
というエラーが出ます。んー、わからんです。

462:名無しさん＠Ｅｍａｃｓ
02/10/30 00:06
s/761/460/
でした。すんません。

463:名無しさん＠Ｅｍａｃｓ
02/10/30 00:10
×returnLoan remove_person remove_book
○returnLoan exampleBase remove_person remove_book
でした。質問忘れてください。m(　 )m

464:名無しさん＠Ｅｍａｃｓ
02/10/30 01:06
それでもあれですね。思ったより簡単ですね。
もっとCやPerlと比べて難しいかと思っていたら
そうでもなかった。二日である程度慣れました。
ループを一切使わずに全て再帰で書くのは
なれないうちはしんどそうだけど、見返りとして
バグの出にくいプログラムになるのかな。

これがすらすら書けるようになったら
この言語で仕事してみたいですね。
手っ取り早くHaskellを活用できる分野というと
XMLの処理系でしょうか。
Haskellについてはまだよくは分っていませんが（藁）
他の言語より向いている気がするんですね。
もっとフォーマルなプログラムにおいてこそ
こういった言語は意味をなすのかもしれないけど、
多分そういうのはヘタレには無理だろうし（ｗ
とりあえず、IO、スレッドが使えるまで基礎勉強ですね。

無料で使わせてもらっていて、講義より先に
問題に関する質問をここに書いてしまっては
先生に申し訳ないのでここらへんでやめにしておきます。

先生には入門者用の本を書いてほしいなあ。

465:デフォルトの名無しさん
02/10/30 01:31
>>464
IBMのdeveloperWorksサイトに、HaskellでXMLを云々って記事が有ったね。
既出だろうけど。

466:名無しさん＠Ｅｍａｃｓ
02/10/30 01:47
>>465
なるほど、それでかな。
Haskellを使ってみる前からXMLの処理には
関数型言語が向いている気がしてたんです。
ただ単に自分が以前DWを読んだだけだったのですね（汗

関数型言語初体験の感想としてなんですが、
JavaやC++ではいかようにも書けてしまうのが
むしろあまりよくないことに思えてきました。
アルゴリズムを素直に表現してそれがそのまま
プログラムになっているという。素晴らしいです。
久しぶりに萌え萌えです。

もっと綺麗に書けるよう努力せないかんですね。

467:名無しさん＠Ｅｍａｃｓ
02/10/30 07:49
朝起きてから、Haskellスレパート１を見てたのですが、
2chに神が君臨したかのようなレベルですね（汗
自分の書き込みが恥かしくなって来たのでしばらく潜伏します。
早くみなさんのレベルに追いつきたひ。。。

これだけじゃ情報価値なしなのでせめてリンク
純粋遅延関数型言語 Concurrent Clean
URLﾘﾝｸ(sky.zero.ad.jp)
このサイトの書評は私のような初心者には参考になりそうです。
また管理者の人はCleanシステムのドキュメントの翻訳を精力的に
行われています。素晴らしいです。

468:デフォルトの名無しさん
02/10/31 21:02
英語サイトで東工大くらいの難易度のチュートリアルってあります？

469:デフォルトの名無しさん
02/10/31 21:19
ゲージンはいきなりGentle～を読んでコード書き出すの？
なんか信じられないんだけど、あれより簡単なドキュメントって
英語じゃみたことないよ。

470:468
02/10/31 21:31
>>469
情報どうもです。
テーマごとに手ごろな課題がついてて段階的に
ステップアップできるようなのがいいんですが。
もうちょっと探してみます。

471:デフォルトの名無しさん
02/11/02 09:19
これってまじですか？
URLﾘﾝｸ(research.microsoft.com)

というかAlexandrescuに触発されたとか。。

472:デフォルトの名無しさん
02/11/02 11:51
>>464
関数型言語でXMLを扱う例としてこんなのがあります。
URLﾘﾝｸ(xduce.sourceforge.net)
メインの開発者は日本人です。
実装はHaskellじゃなくてMLだけど。

473:デフォルトの名無しさん
02/11/02 15:15
Haskell.NETはどうなりますたか？

474:デフォルトの名無しさん
02/11/03 11:45
classって使ってます？
ghcのソースコード見ても殆ど使ってないんだけど、、、
C++がめんどくさくなるとという理由から敬遠されるのと
同じような理由で型クラスも使われてないとか？

475:460
02/11/04 11:04
URLﾘﾝｸ(www.haskell.org)
（6.3 Standard Haskell Classes）の図にある如く
言語仕様で定義されてる基本型からして使いまくりですが？　>>474

476:デフォルトの名無しさん
02/11/07 21:28
>>471
う

477:デフォルトの名無しさん
02/11/07 21:57
I/Oとかの副作用処理って、モナドがファイナルアンサーですか？
他に良い方法無いの？（Haskell固有の話じゃなくて）

478:デフォルトの名無しさん
02/11/07 23:30
自分で考えろ

479:名無しさん＠Ｍｅａｄｏｗ
02/11/07 23:44
ｽﾚﾘﾝｸ(tech板:717番)

480:デフォルトの名無しさん
02/11/10 23:22
ユニークな型ねー。
これだけで解決？

>>478
あなたも一緒に考えましょうよ。

481:デフォルトの名無しさん
02/11/10 23:43
他にもあるよ。
・lazyなストリームとみなす。
・continuationを使う。

482:デフォルトの名無しさん
02/11/11 01:28
そもそもLazyなのがいけないんだろ

483:デフォルトの名無しさん
02/11/11 16:00
このスレ相変わらずプログラムコード量が著しく少ないねぇ

484:480
02/11/12 03:32
>>481
その２つの方法もありますね。
でも古典的(あまり普及できない)方法なのでは？

485:名無しさん＠Ｍｅａｄｏｗ
02/11/12 12:55
>>482
> そもそもLazyなのがいけないんだろ

‥‥‥誰もつっこまないのか。

っつうかオレ釣られた？

486:デフォルトの名無しさん
02/11/13 15:44
面倒なんで突っ込む必要なし

487: ◆y3A2MadQ16
02/11/14 05:57
苦労の割にありがたみが少ないということかもね…。
嫌いじゃないんだけど、導入の旨みが苦労に勝っていると証明できないんで、
最近はLazyにも個人的に放置気味…。＞Lazy Evaluation

代わりにという訳でもないが最近は部分評価野郎になってまつ。
（その上、HaskellどころかJava野郎に成り下がってまつ(w。）

488:デフォルトの名無しさん
02/11/17 23:10
ガイシュツな話題。
Lazyが悪い訳じゃないのに・・・・

>>477
他にも色々なアンサーがありますよ。時制理論とね。
透明参照性を保つためには、時間とか状況とかを導入すれば良い。

489:デフォルトの名無しさん
02/11/18 10:18
効率性の問題に行き当たる

490:デフォルトの名無しさん
02/11/19 11:00
>>488
もちろん悪くはないんだ。漏れも個人的には好きだ。
ただ好みの問題を越えて、
実装の苦労と実行効率を補ってなお十分にいいと言い得るかが問題…。

491:デフォルトの名無しさん
02/11/19 23:09
>>489 >>490
実行速度も、もちろん気になるので言語に新しい要素を導入するときは
慎重にするべきですね。

でも構文で制限かければ良いような
もしくは処理系のanalysisによる最適化（正格性判断による末尾再帰とかね）
とかで何とかなりそうな気もします。
だれか何とかして。

次ページ