トップページtech
768コメント261KB

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

■ このスレッドは過去ログ倉庫に格納されています
0001潜伏していた1NGNG
何とか生き残れました。
前スレ
http://pc.2ch.net/test/read.cgi/tech/996131288/l50

関連 >>2 以降
0478デフォルトの名無しさんNGNG
自分で考えろ
0479名無しさん@MeadowNGNG
http://pc3.2ch.net/test/read.cgi/tech/1007387924/717
0480デフォルトの名無しさんNGNG
ユニークな型ねー。
これだけで解決?

>>478
あなたも一緒に考えましょうよ。
0481デフォルトの名無しさんNGNG
他にもあるよ。
・lazyなストリームとみなす。
・continuationを使う。
0482デフォルトの名無しさんNGNG
そもそもLazyなのがいけないんだろ
0483デフォルトの名無しさんNGNG
このスレ相変わらずプログラムコード量が著しく少ないねぇ
0484480NGNG
>>481
その2つの方法もありますね。
でも古典的(あまり普及できない)方法なのでは?
0485名無しさん@MeadowNGNG
>>482
> そもそもLazyなのがいけないんだろ

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


っつうかオレ釣られた?
0486デフォルトの名無しさんNGNG
面倒なんで突っ込む必要なし
0487 ◆y3A2MadQ16 NGNG
苦労の割にありがたみが少ないということかもね…。
嫌いじゃないんだけど、導入の旨みが苦労に勝っていると証明できないんで、
最近はLazyにも個人的に放置気味…。>Lazy Evaluation

代わりにという訳でもないが最近は部分評価野郎になってまつ。
(その上、HaskellどころかJava野郎に成り下がってまつ(w。)
0488デフォルトの名無しさんNGNG
ガイシュツな話題。
Lazyが悪い訳じゃないのに・・・・

>>477
他にも色々なアンサーがありますよ。時制理論とね。
透明参照性を保つためには、時間とか状況とかを導入すれば良い。
0489デフォルトの名無しさんNGNG
効率性の問題に行き当たる
0490デフォルトの名無しさんNGNG
>>488
もちろん悪くはないんだ。漏れも個人的には好きだ。
ただ好みの問題を越えて、
実装の苦労と実行効率を補ってなお十分にいいと言い得るかが問題…。
0491デフォルトの名無しさんNGNG
>>489 >>490
実行速度も、もちろん気になるので言語に新しい要素を導入するときは
慎重にするべきですね。

でも構文で制限かければ良いような
もしくは処理系のanalysisによる最適化(正格性判断による末尾再帰とかね)
とかで何とかなりそうな気もします。
だれか何とかして。
0492デフォルトの名無しさんNGNG
Hugs98 November 2002 release
http://haskell.org/hugs/
0493デフォルトの名無しさんNGNG
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.
0494デフォルトの名無しさんNGNG
随分とでかくなったな・・・
0495デフォルトの名無しさんNGNG
>>440
バージョンアップしてもテンキーの"/"は効かないままな模様(Winhugs on W2k)
つーか日本語キーボードじゃないと再現しなくて
開発元は気づいてないなんてオチじゃないだろうな。
英語キーボード持ちの人だれか試してプリーズ。
0496デフォルトの名無しさんNGNG
>>495
漏れは英語キーボードだが。
日本語OSでしか再現しないのか?
0497495NGNG
>>496
英語KBでも効かないか。
ウチにゃ日本語W2kしかないから、英語OSの検証は無理だし。

もうちっと色々してみてダメだったらバグレポするつもり。
0498デフォルトの名無しさんNGNG
新しいHugs、なんかインストーラがおかしくない?
アクセス権の設定とか。
0499デフォルトの名無しさんNGNG
誰か、
lispとhaskellとocamlの
メリットデメリットを教えてください。
0500デフォルトの名無しさんNGNG
500get
0501デフォルトの名無しさんNGNG
501got!
0502デフォルトの名無しさんNGNG
新しいhugsにはwinhugsはついてないの?
0503デフォルトの名無しさんNGNG
越田先生の「値しての関数」と「オーバーロードとクラス」の問題が
全然分からない・・・。
誰かお助けを〜
0504デフォルトの名無しさんNGNG
(´-`).。oO(tab-width 4文字にしててはまった。あー悩んだ悩んだ。do で。)
0505デフォルトの名無しさんNGNG
GHC 5.04.2 Released
http://www.haskell.org/ghc/
0506デフォルトの名無しさんNGNG
HaskellはMS Research所属の人間が関わっているのに、
UNIX指向なんでつか?
0507デフォルトの名無しさんNGNG
さあ
0508506NGNG
「GHCは」、だった。
0509デフォルトの名無しさんNGNG
ネタ?

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

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

個人的に一番参照してるサイモン博士の頁は↓だったりするが.
ttp://research.microsoft.com/~simonpj/win32-cheat.html
0510デフォルトの名無しさんNGNG
いや、GHCの最新版で一番最初に出るのがUNIX版なもんで
0511デフォルトの名無しさんNGNG
え,ソースは CVS でいつでも最新だよ? とかボケてみる(w

ttp://www*haskell.org/ghc/docs/latest/html/building/winbuild.html
彼らが常用してる開発環境が↑の Windows ビルド用環境ではない,
というだけかな,と.
0512デフォルトの名無しさんNGNG
>502
>新しいhugsにはwinhugsはついてないの?
オレも見つけられない。どこにあるの?
0513デフォルトの名無しさんNGNG
http://www.haskell.org/~petersen/haskell/lc2001.html
>Emacs in Haskell の計画
これはネタですか?こんなことやってる人いるのかな?
0514デフォルトの名無しさんNGNG
http://www.haskell.org/humor/
↑これのどこが面白いのか、誰かひとつ解説してくれ。
0515デフォルトの名無しさんNGNG
その面白さを理解できないあなたはHaskellerではなし。
無理にでも笑いなさい。
0516デフォルトの名無しさんNGNG
http://yzg.3nopage.com/haskell.jpg
質問なんですが、これってなんていう本だか分かりますか?
おそらく、Haskell:the Craft of Functional Programmingの和訳だと思われるのですが……
検索しても出てこないもので……
0517デフォルトの名無しさんNGNG
>>516 何処ぞの大学か何かの授業用のテキストじゃないかなぁ.
前の年には毎回配ってたプリントを,次の年は一括して印刷・
簡易製本とかいうパターンって結構あるから
0518デフォルトの名無しさんNGNG
んが
0519IP記録実験NGNG
IP記録実験
http://qb.2ch.net/test/read.cgi/accuse/1042013605/

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を提出することがある。
0520デフォルトの名無しさんNGNG
IP記録するのはいいけど串も規制しないと意味ないよな
0521デフォルトの名無しさんNGNG
フシアナ標準にすればいいのに。
困るのは厨くらいだろ?
0522デフォルトの名無しさんNGNG
>>292
どのIPがどの垢かは、ISPが記録してます。
だから、悪い事すればモデムだろとADSLだろうと捕まりますよ。
0523ぶんNGNG
始めまして。今私は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).

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







0524デフォルトの名無しさんNGNG
これからは馬鹿って書いただけで訴えられる可能性がでてきたわけで
0525デフォルトの名無しさんNGNG
既に訴えられているわけだが。ひろゆきが責任を取ってるだけで。
0526デフォルトの名無しさんNGNG
======2==C==H======================================================

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

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

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

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

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

んじゃ!

────────────────────────Age2ch─
■この書き込みは、Age2chを使って配信されています。
────────────────────────────
Keep your thread alive !
http://pc3.2ch.net/test/read.cgi/software/1041952901/l50
────────────────────────────
0527デフォルトの名無しさんNGNG
2ch板一覧
 http://www.skipup.com/~niwatori/keijiban.htm

>728 ( ´∀`)σ)Д`) プニ
0528デフォルトの名無しさんNGNG
そりゃ最初はよほどの大事でもない限りIPを渡すことはしないだろう、
でも物事はだんだんエスカレートしていく物、そのうち密告とかも「誹謗中傷」として
IPを渡すようになる、、、
0529デフォルトの名無しさんNGNG
最近、腐れさん見ないね・・
0530デフォルトの名無しさんNGNG
★ ひろゆき重大な決意を語る。
http://live2.2ch.net/test/read.cgi/news/1041069586/l50
0531デフォルトの名無しさんNGNG
最高裁への上告は認められなくなったから、これで事実上判決確定だよ。
逆転も何もないって。
勢いで上告なんかしても一発で上告却下(門前払い)だよ。

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

ようするに上告しても今の制度では100%無駄。
これで完全終了ってことか。
0532デフォルトの名無しさんNGNG
>>754
まともじゃない掲示板なんて存在意義ないね。
そういうことならここじゃ意味ないと思うが。
0533デフォルトの名無しさんNGNG
スレタイの日本語、微妙におかしいね。
0534デフォルトの名無しさんNGNG
(前略)815様

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

なつかし。
0536デフォルトの名無しさんNGNG
ひろゆき
お前にはがっかりした。
2chにも。さいなら。
0537デフォルトの名無しさんNGNG
全部ミギーが書きましたって言えば問題ナッシング
0538デフォルトの名無しさんNGNG
ううん、既存のTripodとかじゃなくて新たにそういうシステムを
作っちゃうの。

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

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

どうやってカキコ禁止にするとかそういうのはわかりませんw
0539デフォルトの名無しさんNGNG
記録されてる分なにかと現社会より厳しくなった感じします、
0540デフォルトの名無しさんNGNG
とりあえず、訴えられたらスレ住人全員で土下座しよう。
ていうか、それくらいの気概で書き込め。

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

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

IP記録実験
http://qb.2ch.net/test/read.cgi/accuse/1042013605/l20

IP記録実験PART2
http://qb.2ch.net/test/read.cgi/accuse/1042020193/l20

これまでのあらすじは あたりに誰かお願い。
0542デフォルトの名無しさんNGNG
マターリしてるのにスレ違いな質問はどーかと。
それに、会社立ち上げたんだし、たぶんにその辺からだろ〜ね。
0543デフォルトの名無しさんNGNG
2chをはけ口にしていた人はどこで憂さ晴らしをするのか少し興味ある
0544デフォルトの名無しさんNGNG
漏れはどこもさくさく行ける。
プロバ次第だと思われ。
0545デフォルトの名無しさんNGNG
漏らすバカが出るだろうというのが一番の問題なんだよ
0546デフォルトの名無しさんNGNG
ごめん、なんで「それを言うなら」になるのかがわからん(^_^;)
後半の批判は批判でいいと思うんだけど、書き込む人間の自己責任ってのとどう関係してるの?
0547デフォルトの名無しさんNGNG
だろ。
461みたいなことばっか起こるだろ。
ろくなことなないな。2ちゃんなんか。
それもやられ損かなぁ?
訴えてやればいいのに。
0548デフォルトの名無しさんNGNG
>>1-517
荒らされる前までのリンク。
なんでプログラム技術板で私が覗いてる全スレでやられてるんだか・・・。
0549デフォルトの名無しさんNGNG
全ての責任は当事者同士で解決しろってこと
人が書き込んだものに対して賠償するのもアホらしいしな
ごく当り前な考えだわな
騒ぐ程のもんでもない
わかるか?
0550デフォルトの名無しさんNGNG
プチ法廷ごっこでは、詭弁で開き直る2ちゃん擁護派は強い。
でもリアル法廷ではボロ負け。

0551デフォルトの名無しさんNGNG
過度の期待は禁物です。
0552山崎渉NGNG
(^^)
0553デフォルトの名無しさんNGNG
そんなに世の中が嫌いか。
年収600万円に満たない屑でも愉快に暮らせる楽しい世の中じゃないか。
いちいち爆破するな。
0554デフォルトの名無しさんNGNG
Functional Programming With Haskell
http://www.amazon.com/exec/obidos/tg/detail/-/0077093305/
こんな本が出てました。誰か読んだ人はいますか?

あと4月いは損氏の本。といっても仕様書そのままかもしれないけど
Haskell 98 Language and Libraries : The Revised Report
http://www.amazon.com/exec/obidos/tg/detail/-/0521826144/
0555山崎渉NGNG
(^^)
0556デフォルトの名無しさんNGNG
標準ライブラリ関数のクイックリファレンス本って無いのかな?
入門本は取り敢えず読んだから、
簡潔な説明と簡単な使用例が有ると嬉しいんだけど。

>>554の本は、ちょっと違うみたいだし、
1969年にならないと手に入らないって書いてある……バグってるな。
0557デフォルトの名無しさんNGNG
>>554 後者って
http://www.haskell.org/definition/
↑の最初にある Report ふたつの PS・PDF を
印刷製本したものではとか思われ
0558デフォルトの名無しさんNGNG
http://research.microsoft.com/Users/simonpj/haskell98-revised/

これだろ
0559山崎渉NGNG
(^^)
0560デフォルトの名無しさんNGNG
圧縮ツール bzip2 の作者 Julian Seward さん、Haskellerになったんですね。
http://sources.redhat.com/bzip2/#about-author
0561デフォルトの名無しさんNGNG
つってもなー、Haskellerにはlurkerが多いらしいからな
0562デフォルトの名無しさんNGNG
www.haskell.org内にも Seward氏の名前はたくさん出てるから、lurkerではないのでは?
0563デフォルトの名無しさんNGNG
今日からHaskell使ってプログラミング始めます。
とりあえずHP作ってみた。
http://haskell.tripod.co.jp/index.html
0564デフォルトの名無しさんNGNG
>>563
(・∀・)イイ!
応援しますよ
0565デフォルトの名無しさんNGNG
>>563
もう解決したんだろうか。":?"
0566デフォルトの名無しさんNGNG
>>564
心強いです。感謝。
>>565
解決しました。感謝感謝。
0567デフォルトの名無しさんNGNG
荒すな
0568デフォルトの名無しさんNGNG
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;
}

0569デフォルトの名無しさんNGNG
template haskell まだあ〜?
0570デフォルトの名無しさんNGNG
Hoshkell
0571デフォルトの名無しさんNGNG
素朴な疑問Haskell使ってる人たちって情報系の人ばかり?
0572デフォルトの名無しさんNGNG
【何処も】情報科学総合スッドレ【板違い】
http://science.2ch.net/test/read.cgi/rikei/1046173479/l50


0573デフォルトの名無しさんNGNG
11 March 2003 GHC 5.04.3 Released
0574デフォルトの名無しさんNGNG
どこが変わったのかわかりゃしねぇ。

ところで最近寂れてるな。
やっぱもうネタないのかね。
0575デフォルトの名無しさんNGNG
Haskellコミュニティは議論は盛んなんだけどなー
0576デフォルトの名無しさんNGNG
はやく日本語で本出ないかなー。
0577デフォルトの名無しさんNGNG
lazy evaluation ってなんですか?
■ このスレッドは過去ログ倉庫に格納されています