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

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

[前50を表示]
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による最適化（正格性判断による末尾再帰とかね）
とかで何とかなりそうな気もします。
だれか何とかして。

492:デフォルトの名無しさん
02/11/20 16:59
Hugs98 November 2002 release
URLﾘﾝｸ(haskell.org)

493:デフォルトの名無しさん
02/11/20 17:04
November 2002 release (November 19, 2002)

We are pleased to announce a new major release of Hugs98. The most important features of this release are:

・ Much improved FFI support (contributed by Alastair Reid), bringing Hugs really very close to the Haskell
FFI specification.
・ Adoption of a significant subset of GHC's hierarchical libraries (contributed by Ross Paterson).
・ An (allegedly) complete implementation of the Haskell98 module system (Sigbjorn Finne).

Most reported bugs have also been fixed; however, some issues still remain. See Hugs Bugs & Features for
further information.

494:デフォルトの名無しさん
02/11/20 18:40
随分とでかくなったな・・・

495:デフォルトの名無しさん
02/11/21 15:25
>>440
バージョンアップしてもテンキーの"/"は効かないままな模様(Winhugs on W2k)
つーか日本語キーボードじゃないと再現しなくて
開発元は気づいてないなんてオチじゃないだろうな。
英語キーボード持ちの人だれか試してプリーズ。

496:デフォルトの名無しさん
02/11/22 01:10
>>495
漏れは英語キーボードだが。
日本語OSでしか再現しないのか？

497:495
02/11/22 21:57
>>496
英語KBでも効かないか。
ウチにゃ日本語W2kしかないから、英語OSの検証は無理だし。

もうちっと色々してみてダメだったらバグレポするつもり。

498:デフォルトの名無しさん
02/11/26 09:05
新しいHugs、なんかインストーラがおかしくない？
アクセス権の設定とか。

499:デフォルトの名無しさん
02/12/02 00:14
誰か、
lispとhaskellとocamlの
メリットデメリットを教えてください。

500:デフォルトの名無しさん
02/12/02 00:31
500get

501:デフォルトの名無しさん
02/12/02 00:41
501got!

502:デフォルトの名無しさん
02/12/02 04:55
新しいhugsにはwinhugsはついてないの？

503:デフォルトの名無しさん
02/12/02 20:57
越田先生の「値しての関数」と「オーバーロードとクラス」の問題が
全然分からない・・・。
誰かお助けを～

504:デフォルトの名無しさん
02/12/04 11:46
(´-`).｡ｏＯ(tab-width 4文字にしててはまった。あー悩んだ悩んだ。do で。)

505:デフォルトの名無しさん
02/12/05 00:49
GHC 5.04.2 Released
URLﾘﾝｸ(www.haskell.org)

506:デフォルトの名無しさん
02/12/05 01:40
HaskellはMS Research所属の人間が関わっているのに、
UNIX指向なんでつか？

507:デフォルトの名無しさん
02/12/05 02:41
さあ

508:506
02/12/05 10:28
「GHCは」、だった。

509:デフォルトの名無しさん
02/12/06 09:11
ネタ？

もともとグラスゴ大のプロジェクトで，
大学の研究者を MSR が引っこ抜いてきて，
継続してる研究だからってかんじか．

ってゆ～か MSR ってマジで全く何の要求も
されない，ってウワサっすけど，本当？

個人的に一番参照してるサイモン博士の頁は↓だったりするが．
URLﾘﾝｸ(research.microsoft.com)

510:デフォルトの名無しさん
02/12/06 14:02
いや、GHCの最新版で一番最初に出るのがUNIX版なもんで

511:デフォルトの名無しさん
02/12/07 10:04
え，ソースは CVS でいつでも最新だよ？　とかボケてみる（w

URLﾘﾝｸ(www*haskell.org)
彼らが常用してる開発環境が↑の Windows ビルド用環境ではない，
というだけかな，と．

512:デフォルトの名無しさん
02/12/11 20:50
>502
>新しいhugsにはwinhugsはついてないの？
オレも見つけられない。どこにあるの？

513:デフォルトの名無しさん
02/12/14 15:59
URLﾘﾝｸ(www.haskell.org)
>Emacs in Haskell の計画
これはネタですか？こんなことやってる人いるのかな？

514:デフォルトの名無しさん
02/12/16 06:01
URLﾘﾝｸ(www.haskell.org)
↑これのどこが面白いのか、誰かひとつ解説してくれ。

515:デフォルトの名無しさん
02/12/20 16:48
その面白さを理解できないあなたはHaskellerではなし。
無理にでも笑いなさい。

516:デフォルトの名無しさん
02/12/22 11:30
URLﾘﾝｸ(yzg.3nopage.com)
質問なんですが、これってなんていう本だか分かりますか？
おそらく、Haskell:the Craft of Functional Programmingの和訳だと思われるのですが……
検索しても出てこないもので……

517:デフォルトの名無しさん
02/12/24 10:15
>>516 何処ぞの大学か何かの授業用のテキストじゃないかなぁ．
前の年には毎回配ってたプリントを，次の年は一括して印刷・
簡易製本とかいうパターンって結構あるから

518:デフォルトの名無しさん
03/01/06 23:34
んが

519:IP記録実験
03/01/08 21:43
IP記録実験
ｽﾚﾘﾝｸ(accuse板)

1 名前：ひろゆき ◆3SHRUNYAXA ＠どうやら管理人 ★ 投稿日：03/01/08 17:13 ID:???
そんなわけで、qbサーバでIPの記録実験をはじめましたー。

27 名前：心得をよく読みましょう投稿日：03/01/08 17:20 ID:yL/kYdMc
SETTING.TXT管轄でないということは全鯖導入を視野に、か？

38 名前：ひろゆき ◆3SHRUNYAXA 投稿日：03/01/08 17:22 ID:rLfxQ17l
>>27
鋭いです。

73 名前：ひろゆき ◆3SHRUNYAXA 投稿日：03/01/08 17:27 ID:rLfxQ17l
＞ところで、IPが抜かれて何か今までと変わることってあるのでしょうか？
・今までより、サーバが重くなる。
・裁判所や警察からの照会があった場合にはIPを提出することがある。

520:デフォルトの名無しさん
03/01/09 02:32
IP記録するのはいいけど串も規制しないと意味ないよな

521:デフォルトの名無しさん
03/01/09 03:16
フシアナ標準にすればいいのに。
困るのは厨くらいだろ？

522:デフォルトの名無しさん
03/01/09 03:58
>>292
どのIPがどの垢かは、ISPが記録してます。
だから、悪い事すればモデムだろとADSLだろうと捕まりますよ。

523:ぶん
03/01/09 14:08
始めまして。今私はplorogの勉強をしています。問題集に並べ替えのプログラムがあったのですが、よくわからないのでどなたか教えて下さい。

concatenate([],List,List).
concatenate([Head | This Tail],List,[Head | That Tail]):-
concatenate(This Tail,List,That Tail).

sort([],[]).
sort([Head|[]],[Head]).
sort([Head|[THead|[]]],Result):-
Head <= THead, concatenate([Head],[THead],Result).
sort([Head|[THead|[]]],Result):-
Head > THead, concatenate([THead],[Head],Result).
sort([First|[second|Tail]],Result):-
First <= Second,
concatenate([Second],Tail,Temp),
[First|RTail]=Result,
sort(Temp,RTail).
sort([First|[second|Tail]],Result):-
First>second,
concatenate([First],Tail,Temp),
[Second|RTail]=Result,
sort(Temp,RTail).

それで、これをどう繰り返せばいいのかがわからないのです。何かわかる人がいたら教えて下さい。

524:デフォルトの名無しさん
03/01/09 14:21
これからは馬鹿って書いただけで訴えられる可能性がでてきたわけで

525:デフォルトの名無しさん
03/01/09 15:05
既に訴えられているわけだが。ひろゆきが責任を取ってるだけで。

526:デフォルトの名無しさん
03/01/09 17:49
======2==C==H======================================================

　　　　　　　　　２ちゃんねるのお勧めな話題と
　　　　　ネットでの面白い出来事を配送したいと思ってます。。。

===============================読者数： 138720人　発行日：2003/1/9

年末年始ボケがそろそろ収まり始めた今日このごろのひろゆきです。

そんなわけで、年末に予告したIP記録ですが実験を開始しています。

「２ちゃんねる20030107」
こんな感じで各掲示板の最下部に日付が入ってるんですが、
20030107以降になってるところはログ記録実験中ですー。

んじゃ！

────────────Age2ch─
■この書き込みは、Age2chを使って配信されています。
──────────────
Keep your thread alive !
ｽﾚﾘﾝｸ(software板)l50
──────────────

527:デフォルトの名無しさん
03/01/09 23:41
2ch板一覧
　URLﾘﾝｸ(www.skipup.com)

>728 ( ´∀`)σ)Д`) ﾌﾟﾆ

528:デフォルトの名無しさん
03/01/10 08:39
そりゃ最初はよほどの大事でもない限りIPを渡すことはしないだろう、
でも物事はだんだんエスカレートしていく物、そのうち密告とかも「誹謗中傷」として
IPを渡すようになる、、、

529:デフォルトの名無しさん
03/01/10 10:39
最近、腐れさん見ないね・・

530:デフォルトの名無しさん
03/01/10 11:09
★　ひろゆき重大な決意を語る。
ｽﾚﾘﾝｸ(news板)l50

531:デフォルトの名無しさん
03/01/10 11:55
最高裁への上告は認められなくなったから、これで事実上判決確定だよ。
逆転も何もないって。
勢いで上告なんかしても一発で上告却下(門前払い)だよ。

二審も一審を支持。これに対して上告しようにも、
刑事訴訟と同様、自由に上告できるってもんでもないのです。
民事訴訟法312条（上告の理由） 1項
「上告は、判決に憲法の解釈の誤りがあること
その他憲法の違反があることを理由とするときに、することができる。」
URLﾘﾝｸ(www.m-net.ne.jp)

ようするに上告しても今の制度では100％無駄。
これで完全終了ってことか。

532:デフォルトの名無しさん
03/01/10 12:24
>>754
まともじゃない掲示板なんて存在意義ないね。
そういうことならここじゃ意味ないと思うが。

533:デフォルトの名無しさん
03/01/10 13:16
スレタイの日本語、微妙におかしいね。

534:デフォルトの名無しさん
03/01/10 15:37
(前略)815様

落ち着け。お前の感じている感情は精神的疾患の一種だ。
静める方法は俺が(中略)
鯖の前で両目をひんむいて「びっくりするほどユートピア」と唱えながらキュウリを(以下略

535:デフォルトの名無しさん
03/01/10 17:05

なつかし。

536:デフォルトの名無しさん
03/01/10 23:26
ひろゆき
お前にはがっかりした。
2chにも。さいなら。

537:デフォルトの名無しさん
03/01/10 23:34
全部ミギーが書きましたって言えば問題ナッシング

538:デフォルトの名無しさん
03/01/11 00:50
ううん、既存のTripodとかじゃなくて新たにそういうシステムを
作っちゃうの。

どう作るかはわかりませんｗ

しかし嵐とか不愉快な対策には「こいつがむかつく」と
ひとり１票で投票してきめます。
そしてその人はもうカキコ禁止。

どうやってカキコ禁止にするとかそういうのはわかりませんｗ

539:デフォルトの名無しさん
03/01/11 00:57
記録されてる分なにかと現社会より厳しくなった感じします、

540:デフォルトの名無しさん
03/01/11 12:22
とりあえず、訴えられたらスレ住人全員で土下座しよう。
ていうか、それくらいの気概で書き込め。

今までひろゆきに丸投げしていた負担を、個人個人で背負えばイイだけの話だろ。
ここからが本当の市民運動のスタートだよ。

541:デフォルトの名無しさん
03/01/11 13:21

＞1 ：ひろゆき ◆3SHRUNYAXA ＠どうやら管理人 ★ ：03/01/08 17:13 ID:???
＞そんなわけで、qbサーバでIPの記録実験をはじめましたー。

IP記録実験
ｽﾚﾘﾝｸ(accuse板)l20

ＩＰ記録実験ＰＡＲＴ２
ｽﾚﾘﾝｸ(accuse板)l20

これまでのあらすじはあたりに誰かお願い。

542:デフォルトの名無しさん
03/01/11 13:47
マターリしてるのにスレ違いな質問はどーかと。
それに、会社立ち上げたんだし、たぶんにその辺からだろ～ね。

543:デフォルトの名無しさん
03/01/11 16:35
2chをはけ口にしていた人はどこで憂さ晴らしをするのか少し興味ある

544:デフォルトの名無しさん
03/01/11 16:42
漏れはどこもさくさく行ける。
プロバ次第だと思われ。

545:デフォルトの名無しさん
03/01/12 00:47
漏らすバカが出るだろうというのが一番の問題なんだよ

546:デフォルトの名無しさん
03/01/12 00:56
ごめん、なんで「それを言うなら」になるのかがわからん(^_^;)
後半の批判は批判でいいと思うんだけど、書き込む人間の自己責任ってのとどう関係してるの？

547:デフォルトの名無しさん
03/01/12 11:06
だろ。
461みたいなことばっか起こるだろ。
ろくなことなないな。２ちゃんなんか。
それもやられ損かなぁ？
訴えてやればいいのに。

548:デフォルトの名無しさん
03/01/12 15:22
>>1-517
荒らされる前までのリンク。
なんでプログラム技術板で私が覗いてる全スレでやられてるんだか･･･。

549:デフォルトの名無しさん
03/01/12 20:37
全ての責任は当事者同士で解決しろってこと
人が書き込んだものに対して賠償するのもアホらしいしな
ごく当り前な考えだわな
騒ぐ程のもんでもない
わかるか？

550:デフォルトの名無しさん
03/01/12 20:41
プチ法廷ごっこでは、詭弁で開き直る２ちゃん擁護派は強い。
でもリアル法廷ではボロ負け。

551:デフォルトの名無しさん
03/01/12 20:49
過度の期待は禁物です。

552:山崎渉
03/01/13 18:34
（＾＾）

553:デフォルトの名無しさん
03/01/13 22:25
そんなに世の中が嫌いか。
年収６００万円に満たない屑でも愉快に暮らせる楽しい世の中じゃないか。
いちいち爆破するな。

554:デフォルトの名無しさん
03/01/14 10:32
Functional Programming With Haskell
URLﾘﾝｸ(www.amazon.com)
こんな本が出てました。誰か読んだ人はいますか？

あと4月いは損氏の本。といっても仕様書そのままかもしれないけど
Haskell 98 Language and Libraries : The Revised Report
URLﾘﾝｸ(www.amazon.com)

555:山崎渉
03/01/15 17:56
（＾＾）

556:デフォルトの名無しさん
03/01/17 00:03
標準ライブラリ関数のクイックリファレンス本って無いのかな？
入門本は取り敢えず読んだから、
簡潔な説明と簡単な使用例が有ると嬉しいんだけど。

>>554の本は、ちょっと違うみたいだし、
1969年にならないと手に入らないって書いてある……バグってるな。

557:デフォルトの名無しさん
03/01/17 10:46
>>554 後者って
URLﾘﾝｸ(www.haskell.org)
↑の最初にある Report ふたつの PS・PDF を
印刷製本したものではとか思われ

558:デフォルトの名無しさん
03/01/17 14:39
URLﾘﾝｸ(research.microsoft.com)

これだろ

559:山崎渉
03/01/23 20:13
（＾＾）

560:デフォルトの名無しさん
03/01/24 10:19
圧縮ツール bzip2 の作者 Julian Seward さん、Haskellerになったんですね。
URLﾘﾝｸ(sources.redhat.com)

561:デフォルトの名無しさん
03/01/25 15:44
つってもなー、Haskellerにはlurkerが多いらしいからな

562:デフォルトの名無しさん
03/01/26 15:59
www.haskell.org内にも Seward氏の名前はたくさん出てるから、lurkerではないのでは?

563:デフォルトの名無しさん
03/01/26 20:59
今日からHaskell使ってプログラミング始めます。
とりあえずHP作ってみた。
URLﾘﾝｸ(haskell.tripod.co.jp)

564:デフォルトの名無しさん
03/01/27 00:30
>>563
（・∀・）ｲｲ！
応援しますよ

565:デフォルトの名無しさん
03/01/27 15:15
>>563
もう解決したんだろうか。":?"

566:デフォルトの名無しさん
03/01/27 16:57
>>564
心強いです。感謝。
>>565
解決しました。感謝感謝。

567:デフォルトの名無しさん
03/01/31 15:57
荒すな

568:デフォルトの名無しさん
03/02/03 22:53
WinHugsでテンキーの'/'が効かない件、
バグか仕様か知らないけど、取り敢えず直してみた。

Windowsでプログラム組んだ事無いんで、変な事してる
かもしれないけど、一応動いたよ。

*** Wintext.c.origTue Aug 6 07:29:18 2002
--- Wintext.cMon Feb 3 21:20:30 2003
***************
*** 2497,2502 ****
--- 2497,2506 ----
goto otherKey;
}

+ if (readKey.KeyCode == '/') {
+ readKey.IsExtended = 0;
+ }
+
return readKey;
}

569:デフォルトの名無しさん
03/02/05 16:32
template haskell まだあ～？

570:デフォルトの名無しさん
03/02/12 03:53
Hoshkell

571:デフォルトの名無しさん
03/02/23 03:23
素朴な疑問Haskell使ってる人たちって情報系の人ばかり？

572:デフォルトの名無しさん
03/02/26 20:26
【何処も】情報科学総合ｽｯﾄﾞﾚ【板違い】
ｽﾚﾘﾝｸ(rikei板)l50

573:デフォルトの名無しさん
03/03/12 16:17
11 March 2003 GHC 5.04.3 Released

574:デフォルトの名無しさん
03/03/12 17:10
どこが変わったのかわかりゃしねぇ。

ところで最近寂れてるな。
やっぱもうネタないのかね。

575:デフォルトの名無しさん
03/03/12 19:03
Haskellコミュニティは議論は盛んなんだけどなー

576:デフォルトの名無しさん
03/03/12 22:05
はやく日本語で本出ないかなー。

577:デフォルトの名無しさん
03/03/13 01:50
lazy evaluation ってなんですか？

578:
03/03/15 17:45
遅延評価 (lazy evaluation)
　　遅刻の回数を基準にボーナスの額を決めること。
URLﾘﾝｸ(www.nurs.or.jp)

579:デフォルトの名無しさん
03/03/15 23:18
>>577
値が実際に必要となるまで引数の評価を遅らせること。
要求呼び出し（call by need）

580:デフォルトの名無しさん
03/03/15 23:23
命令型言語ではほとんど実現されていない。
引数の評価は何らかの副作用を伴うことがあり、
引数がいつ必要になるか正確に知るのは難しい。
また、要求呼び出しはスタックによる実現が難しい。

581:デフォルトの名無しさん
03/03/16 00:47
URLﾘﾝｸ(www.generic-haskell.org)
ここで作られてるコンパイラを使っている人はいますか？

582:デフォルトの名無しさん
03/03/16 23:20
>>579-580
説明ありがとうございます。

583:デフォルトの名無しさん
03/03/17 12:38
Haskellerの中にはまたストリームベースを唱えている人もいるようだが

584:デフォルトの名無しさん
03/03/17 23:18
URLﾘﾝｸ(www.sampou.org)

585:デフォルトの名無しさん
03/03/18 13:48
意味不明でっす

586:デフォルトの名無しさん
03/03/18 20:49
>>583
この板にも居ますよ。たぶん数学屋の方でしょうけど。

ところでデータ構築子って理論的にカリー化できないのでしょうか？
最弱頭正規形を作ればいいのだから可能なのでは？と思いますが。

587:デフォルトの名無しさん
03/03/19 13:58
可能だからといって言語仕様にいれるとは限らないでしょう
その辺は言語設計上の様々な観点を
考慮しながら決定するということで

588:デフォルトの名無しさん
03/03/20 11:04
> 586
カリー化されてるんじゃないの？

589:デフォルトの名無しさん
03/03/20 12:49
余裕でっす

590:デフォルトの名無しさん
03/03/20 20:56
されているね、十分。
----code
data Tree a = Node a [Tree a]
instance (Show a) => Show (Tree a)
　where show (Node item xs) = show item ++ show xs
-----実行
*Main> :type Node 1
forall a. (Num a) => [Tree a] -> Tree a
*Main> Node 0 (map (Node 1) (map (map (flip Node [])) [[2,3],[4,5]]))
0[1[2[],3[]],1[4[],5[]]]
-----
それとも、もしかして、こんなん?
-----code追加
test (Node a) = a
-----予想実行
*Main > test (Node 0)
0
*Main > test (Node 1 [])
1
-----
上はともかく、下はあってもおかしくないし、欲しいな。
あとで少し探してみるか…。

591:586
03/03/23 22:27
>>588-590
すでに可能だったのか・・。
すまんかった。

592:デフォルトの名無しさん
03/03/24 02:45
Windows版のHugsって、ドキュメントのバージョンがずれてない？
.hlp .pdf .htmlが古くて、.chmだけちょっと新しいような？

あと、Trexライブラリがうまく使えないんだけど、
もしかして再コンパイルが必要なのかな？

Hugs mode: Restart with command line option +98 for Haskell 98 mode

Reading file "C:\Hugs98\libraries\Hugs\Prelude.hs":
Reading file "C:\Hugs98\libraries\Prelude.hs":
Type :? for help
Prelude> :load Hugs.Trex
Reading file "C:\Hugs98\libraries\Hugs\Trex.hs":
ERROR "C:\Hugs98\libraries\Hugs\Trex.hs" - Illegal export of a lone
data constructor "EmptyRec"

593:デフォルトの名無しさん
03/03/25 08:06
はあー、MLはまだ何とかなりそうだが、haskellさっぱりわかんね。

594:デフォルトの名無しさん
03/03/25 15:07
漏れは逆にMLの構文がわけわからん、つーか好みに合わん。
Haskellも一部複雑だけどね。

URLﾘﾝｸ(www.teu.ac.jp)
とか見て動かしてみれば慣れるよ。

595:デフォルトの名無しさん
03/04/05 15:58
haskell.org維持費用捻出できなくなったのかよ

596:デフォルトの名無しさん
03/04/05 16:02
ﾜﾗﾀ
２ちゃんねらーで金出してやれよ。
トップページのλの隣にモナー飾ってもらえるかもしれんぞ。

597:デフォルトの名無しさん
03/04/05 17:32
>>595
April fool じゃないのか？

598:デフォルトの名無しさん
03/04/05 20:53
そうなら、もう消すだろ

599:デフォルトの名無しさん
03/04/06 12:06
1 Apr 2003 のニュースだから、永久保存かも

600:600
03/04/08 17:22
でも、去年は April fool なかったみたい age

601:山崎渉
03/04/17 15:36
（＾＾）

602:デフォルトの名無しさん
03/04/25 17:31
ﾎｼｭ

603:デフォルトの名無しさん
03/04/27 01:31
このゴールデンウィークにでも勉強したいと思いまフ。

604:デフォルトの名無しさん
03/04/27 05:18
これ、行列の対角化とかできますか？

605:デフォルトの名無しさん
03/04/27 14:04
対角化の計算を自分で書けばもちろんできる。
行列計算用のモジュールも公式サイトから辿れる。
あとはやりたい本人の裁量次第でいくらでも。

606:デフォルトの名無しさん
03/04/27 17:03
>>605
アリガ㌧

607:デフォルトの名無しさん
03/04/27 21:58
初期のhaskellはschemeで作られたって本当？
昔Yale大学のサイトになんか書かれてたけど。

608:デフォルトの名無しさん
03/04/29 08:28
けど･･けど･･

609:デフォルトの名無しさん
03/04/29 14:15
Common Lisp?

610:動画直リン
03/04/29 14:26
URLﾘﾝｸ(homepage.mac.com)

611:デフォルトの名無しさん
03/05/05 17:03

f x = let a = 1; b = c g
y = exp2
in exp1

f x = let a = 1; b = c
g y = exp2
in exp1

612:デフォルトの名無しさん
03/05/14 12:10
最強

613:デフォルトの名無しさん
03/05/15 17:49
logoが変わった

614:デフォルトの名無しさん
03/05/16 14:53
前よりよくなったねえ

615:デフォルトの名無しさん
03/05/16 14:58
そ…、そうか？
かなりﾋﾞﾐｮｰなデザインだと思うが。

616:デフォルトの名無しさん
03/05/16 23:07
λの回りにゴミが付着してる様に見える

617:デフォルトの名無しさん
03/05/17 00:44
:: = 静的型付け
-> = 高階関数
∀ = 多相
=> = 型クラス
>> = モナド

つーことかいな。

618:デフォルトの名無しさん
03/05/17 01:29
そう考えると凝ってるな

619:デフォルトの名無しさん
03/05/20 07:11
凝ってる、っつーか、まんまやん。

620:デフォルトの名無しさん
03/05/22 16:57
CGAの話止まってるけど、なかなかまとまらんのかね。

621:デフォルトの名無しさん
03/05/26 19:20
>>619
featuring static typing, higher-order functions,
polymorphism, type classes and monadic effects

にそれぞれ対応してるという解釈のようだけどそれ分かって言ってんの？

622:山崎渉
03/05/28 12:56
　　　　∧＿∧
ﾋﾟｭ.ｰ　(　　＾＾）＜これからも僕を応援して下さいね（＾＾）。
　　＝〔~∪￣￣〕
　　＝ ◎―◎ 　　　　　　　　　　　　　　　　　　　　　山崎渉

623:デフォルトの名無しさん
03/05/30 18:14
結局、wxWindowsのバインディングで終わりそうな気配だな

624:遅報
03/06/02 00:56
ghc major version up

625:デフォルトの名無しさん
03/06/02 06:41
6.0の目玉はTemplateということになるのかな？
URLﾘﾝｸ(www.haskell.org)

626:デフォルトの名無しさん
03/06/02 17:06
教えて君で申し訳ないのですけど、他の関数型言語と比べて Haskell のどのあたりが
(･∀･)ｲｲ! or (ﾟдﾟ)ﾏｽﾞｰ　なのですか?
できれば、いい面と悪い面の両方を聞いてみたいです。

627:デフォルトの名無しさん
03/06/02 17:37
>>626

(･∀･)ｲｲ!
実装がいくつかある。

(ﾟдﾟ)ﾏｽﾞｰ
末尾再帰じゃない。

628:デフォルトの名無しさん
03/06/02 17:45
○：数少ない遅延評価な言語の一つ
△：clean は遅延／正格の切替えができるらしいが、Haskellは…

629:デフォルトの名無しさん
03/06/02 18:58
>>627 実装がいくつかある。
SchemeやSMLも実装はいくつかあるが。
個々の実装の間に互換性がなければ、却って混乱するのでは？

630:Lazy eva.
03/06/02 21:31
call by need
必要なら呼んで

631:デフォルトの名無しさん
03/06/02 21:39
>>627
>(ﾟдﾟ)ﾏｽﾞｰ
>末尾再帰じゃない。
lazyだと末尾の最適化はいらないんじゃなかった？
おれが勘違いしてるのかも知れないけど

632:デフォルトの名無しさん
03/06/03 10:04
(´-`).｡ｏＯ( Haskell の (･∀･)ｲｲ! 点がこの程度しか挙がらなくていいのだろうか)

633:デフォルトの名無しさん
03/06/03 22:56
いいところ:
　　純粋な関数型言語
　　厳格な型チェック
　　比較的豊富なライブラリ
　　遅延評価
わるいところ:
　　遅い
　　 flatなarrayが無い

634:デフォルトの名無しさん
03/06/07 03:00
スレの伸びが lazy ...

635:デフォルトの名無しさん
03/06/07 23:24
>>634
…実はこのスレの定義は既にすべて準備されていて、誰かが問いを放つとレスが見えるようになる？

636:デフォルトの名無しさん
03/06/09 12:38
Haskell: The Craft of Functional Programming
これの新しいバージョンがでるっていううわさは本当なの?
Ruby系サイトのどこかで書いてあった気がするのだけど。

637:デフォルトの名無しさん
03/06/09 13:06
URLﾘﾝｸ(www.amazon.co.jp)

638:637
03/06/09 13:07
あ、だめだった。Amazonで検索すれ。

639:デフォルトの名無しさん
03/06/09 22:20
>>635
逆かも？
問いが放たれてから、必要に応じて定義を考える。

640:デフォルトの名無しさん
03/06/11 00:32
問に対して常に同じ答えが返ってきます。

641:デフォルトの名無しさん
03/06/11 09:51
文脈が変っていても同じ質問に対しては同じ答えが返ってきます。

642:デフォルトの名無しさん
03/06/11 09:52
>>640
問いの系列がmonadな演算で関連付けられてるので、
単独の問いに対しては当てはまらないカモッ！

643:デフォルトの名無しさん
03/06/12 18:05
>>641
それではガイシュツ処理が出来ませんので、
不具合発生です。

644:モナｄ
03/06/16 12:58
　ΛΛ
（´d`) .｡ｏ〇(monad∈モナー?)

645:デフォルトの名無しさん
03/06/17 18:46
モナドは、人間から見て、副作用を扱ってるコードとほとんど
同じように見える。
人間にとって副作用のあるコードと同じように見えてる
とすれば、モナドって何の意味があるの？
人間が関数プログラミングしやすくするために副作用が
禁止されてるんじゃ無かったの？

646:デフォルトの名無しさん
03/06/17 18:51
「ある」と「あるように見えるけどない」は違うだろ…

647:_
03/06/17 18:53
URLﾘﾝｸ(homepage.mac.com)

648:デフォルトの名無しさん
03/06/17 18:55
>>646
違うけど、プログラマから見て同じように見えてるんだったら
プログラマにとっては同じでは？
コンパイラにとっての意味しかないのですか？

649:デフォルトの名無しさん
03/06/17 20:07
関数型の場合、コンパイラにとっては「ない」方が都合がいいけど、
人間にとってはあなたの言う通りあるように見えた方が扱いよいわけだ。
で、「ない」ものをあるように見せるモナドは、便利ってことにならない？

それならモドキじゃなくて本物の副作用を認めてもいいじゃんという話はまた別

650:デフォルトの名無しさん
03/06/17 20:29
>>649
> 人間にとってはあなたの言う通りあるように見えた方が扱いよいわけだ。

それは関数プログラミングに反するから、関数プログラミング
の立場から見た場合、扱いが良いとは言えないんじゃないですか？

651:デフォルトの名無しさん
03/06/17 20:29
話が逆なんじゃないか？モナドは副作用をわざわざあるように見せるためのものでもないだろう。

652:デフォルトの名無しさん
03/06/19 21:09
a <- hoge
ってやったら、あとは a は見るからに完全に副作用の無い
関数型プログラミングであつかうわけだから、
モナドがあるおかげで関数型の意味がなくなるなんてことは全然無い。

結局モナドって、
副作用や、コードを書いた時点では決まらないものを
普通の関数の引数なんかにつかって破綻するのをさけるために、
型の前にMとかつけてそのままじゃつかえなくする仕組みでしょう。

653:デフォルトの名無しさん
03/06/24 08:16
日本語扱えるhaskellの処理系ってありますか？

654:デフォルトの名無しさん
03/06/24 09:06
いやらしいリンク集作った
URLﾘﾝｸ(homepage3.nifty.com)

655:デフォルトの名無しさん
03/06/26 07:32
Haskellはじめますた。
面白いですね～
・リストの内包表現に萌えた
・無限データ構造萌え
　numForm n = n : numForm (n+1) とか。
　あるもんをあるように書いたらいいって言うのがすどい。

詳しい方々、わかんないことがあったら教えてください。
アフォなんですが何とかがんばって基本を理解してから、
モナドを通って詳しい皆さんのところにゆきつきますので。

いまは、組み込み関数？を調べるのに困ってたりします。
IntをDoubleに変換するのってどうするの？
IntとIntegerの変換どうするんでうか？
とか、わからん。
「**」が解らなくて困ってた事も。
(-1)で懲りて、あらゆるところに括弧つけまくりのコードを書いてたり。

656:デフォルトの名無しさん
03/06/27 10:48
>>655
fromIntegral :: forall b a. (Num b, Integral a) => a -> b
toInteger :: forall a. (Integral a) => a -> Integer
fromInteger :: forall a. (Num a) => Integer -> a

657:デフォルトの名無しさん
03/06/27 13:05
今年もICFPの時期が来ましたがみなさんいかがお過ごしですか？

658:デフォルトの名無しさん
03/06/28 13:34
>>655
$をつかうと
f (g (h x))
みたいなのを
f $ g $ h x
とかけて括弧削減。

659:デフォルトの名無しさん
03/06/29 21:21
初心者質問いいですか？
GHCで、API、例えばIsDBCSLeadByte Char -> Bool を使いたいと思ったらどうすればいいのでしょう

660:貧乏脱出！これであなたはお金持ち
03/06/29 21:30
普通に働いてお金持ちになれるのは全体の１％のみって本当！？
本当にお金持ちになるにはやはり「副収入」が必要！
一日３０分おうちでコピペ、コピペ！
嘘だと思うんならランキング見てみてくださいよ↓↓
（直リン不可）
URLﾘﾝｸ(www.adultshoping.com)（直リン不可）

///////.......///////////////////////////

661:デフォルトの名無しさん
03/06/29 22:10
誤解があるようだが、モナドは純粋な関数型言語が
手続き風にコードを書くためのシンタックストリックに過ぎない。
拡張でもなんでもない。
(もちろんシーケンシャルのオプションと使われることが多いわけだが)

662:デフォルトの名無しさん
03/06/29 22:22
　　　　　　　　　＿,...............＿,.......
　　　　　　,ノ⌒::::::::::::::::::::::::::::::::::::⌒ヽ_
　　　　 _ノ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::ヾ､
　　　 (::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::)
　　 _ノ:::::::::::::::;ﾍ::::::::::ノ⌒ヽ:::::::::::::::::::::::::::::::::)
　（::::::::::::::::::/　￣ ,　‐-､　|::::::::::::::::::::::::::::::::) 　　／￣￣￣￣￣￣￣￣￣￣￣￣￣￣
　　（:::::::::::::/ヽj _／　-‐-､　|::::::::::::::::::::::::::::::::）　　|　　トリックだ。
　　　):::::::::ヾllli_､_,;iiiillllllllli　<::::::;へ:::::::::::::::::（　 |　
　　 (::::::::::::/`i´　,└=ﾟ'┘ 　|::::| 6 |:::::::::::::::::::｝　　＜　　副作用があるように見えているに
　　 `～､ゝ|　_コ､＿､　／|::::| ｿ/::::::::::;～"　　　　|　　過ぎん。
　　　　　ヾ|||ｌｌ|||||||||||ｌ〉|　三ｰ'～～" 　　　　　|　
　　　　　 |||:二三||||　l　 ,三　ヽ､　　　　　　＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿
　　　　　 |l 　⌒　|||　:／/　　　　　ヽ＝､-､＿
　　　　　　　|l､:（ : : ||／　/　　　　　　　ヽ, |　　　￣＼
　　　　　　／　　￣　　 /　　　　　　　　ノ /　　　　　　　＼

663:デフォルトの名無しさん
03/06/29 22:37
ｻｰﾀﾝ,ｻｰﾀﾝ!

664:デフォルトの名無しさん
03/06/30 00:06
ところで、日本語訳のページが見れなくないですか??

665:デフォルトの名無しさん
03/06/30 02:53
>>659わかるひといませんか～

666:デフォルトの名無しさん
03/06/30 07:59
>>664
URLﾘﾝｸ(www.sampou.org) ならサーバマシンの調子が悪いそうです

667:デフォルトの名無しさん
03/06/30 18:04
>>666
復活したようです。

>>665
いないんじゃないですか。人少なそうだし。
俺は、外界との繋がりはsystem :: String -> IO ExitCodeくらいしか知らない。

668:659=665
03/07/02 07:35
検索の結果、MessageBoxを呼んでいる例は見つけました。(真似たらできました)
でも、*.hiをバイナリ検索しても、IsDBCSLeadByteはインポートされて無いようです。
(CharNextとか、代用できそうなAPIも同様)

これは、Haskellで全角文字を扱うなというお告げでしょうか…

669:デフォルトの名無しさん
03/07/02 08:58
>>668
IsDBCSLeadByteってwindowsのAPI?
そういうものはそのライブラリとリンクしてつかうんじゃないのかな。
haskellに入ってるわけがないというか。

URLﾘﾝｸ(www.haskell.org)
のInterfacing with other Languages and Systemsとか。

670:デフォルトの名無しさん
03/07/02 13:46
>>668
>(真似たらできました)
おー、あなたも私から見たらすどい。
よろしければ、MessageBoxを出すコードをこのスレに張って
共有していただければありがたいです。

671:デフォルトの名無しさん
03/07/02 19:54
>>669
いや、GHC(Win版)には既にWin32 API(の一部)のHaskell用インポートが付いてるんですよ。

>>670
どーせ丸写しなので、いくらでも共有しましょう。

import Win32
main = messageBox nullHANDLE "Text" "Title" mB_OK

たった二行。
コンパイル時に -package win32オプションが必要です。
(win32ディレクトリ以下はデフォルトでは見てくれないので)

↓見つけたページ
URLﾘﾝｸ(www.haskell.org)

なお、同じようにしてMessageBeepを呼ぼうとしましたが、挫折中です。

次ページ