トップページ⇒tech
990コメント380KB

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

■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん2012/01/02(月) 22:19:28.26
haskell.org
ttp://www.haskell.org/

日本語サイト
ttp://www.sampou.org/cgi-bin/haskell.cgi
ttp://www.shido.info/hs/

過去ログ
関数型プログラミング言語Haskell
Part1 ttp://pc.2ch.net/tech/kako/996/996131288.html
Part2 ttp://pc2.2ch.net/test/read.cgi/tech/1013846140/
Part3 ttp://pc8.2ch.net/test/read.cgi/tech/1076418993/
Part4 ttp://pc8.2ch.net/test/read.cgi/tech/1140717775/
Part5 ttp://pc8.2ch.net/test/read.cgi/tech/1149263630/
Part6 ttp://pc11.2ch.net/test/read.cgi/tech/1162902266/
Part7 ttp://pc11.2ch.net/test/read.cgi/tech/1174211797/
Part8 ttp://pc11.2ch.net/test/read.cgi/tech/1193743693/
Part9 ttp://pc11.2ch.net/test/read.cgi/tech/1211010089/
Part10 ttp://pc12.2ch.net/test/read.cgi/tech/1231861873/
Part11 ttp://pc12.2ch.net/test/read.cgi/tech/1252382593/
Part12 ttp://hibari.2ch.net/test/read.cgi/tech/1272536128/
Part13 ttp://hibari.2ch.net/test/read.cgi/tech/1286706874/
Part14 ttp://hibari.2ch.net/test/read.cgi/tech/1299385928/
Part15 ttp://hibari.2ch.net/test/read.cgi/tech/1310199414/
Part16 ttp://toro.2ch.net/test/read.cgi/tech/1317958045/
0175デフォルトの名無しさん2012/01/11(水) 18:55:22.75
論理的思考と等式推論を使えることに相関は無い
0176デフォルトの名無しさん2012/01/11(水) 19:22:23.15
>>167
こうか
main =
 let x = 10
 in let x = 13
    in print x

つーかこの式って(>>)か(>>=)を使って表現出来ないの？
副作用にはモナドを使うんじゃないの？　わかんないです＞＜
0177デフォルトの名無しさん2012/01/11(水) 19:25:03.27
>>175
勝手に変な方向に誘導するなよ
>>174 は論理的な思考ではなく「発想」と言っている

発想、つまり ヒラメキ☆ だ
0178デフォルトの名無しさん2012/01/11(水) 19:25:13.02
letはλ抽象でモナドを使った式は関数適用
ラムダ計算の項としてみたら全く別物
0179デフォルトの名無しさん2012/01/11(水) 19:32:06.33
>>176
そう

最後の print 関数が副作用を持っている
だから「この」 main関数の型は IO () だ

君はちゃんと副作用にはモナドを使っているんだよ
なにが分からん？

> つーかこの式って(>>)か(>>=)を使って表現出来ないの？

もしかして、こういうこと？

main = return 10 >> return 13 >>= print
0180デフォルトの名無しさん2012/01/11(水) 22:20:24.86

800 自分：名無し募集中。。。[] 投稿日：2012/01/08(日) 22:00:50.04 0
AKBブーム捏造の裏

サウンドスキャンの売り上げでさえほとんどが業者の自社買い他社買いで
資金洗浄した金額がオリコンの枚数×CDの価格って感じかね
http://livedoor.blogimg.jp/dqnplus/imgs/f/f/fff69a26.jpg

0181デフォルトの名無しさん2012/01/11(水) 23:18:15.23
>>176

同じことをC言語で書くとこんな感じ

void main() {
　const int x = 10; {
　　const int x = 13; {
　　　printf("%d", x); }}}

副作用があるのは最後のprintfだけ。
途中のx=13は代入ではなくてたまたま名前が同じ新しい定数の定義。
0182デフォルトの名無しさん2012/01/11(水) 23:52:21.03
Haskellでオブジェクト指向ってどうやるの？
0183デフォルトの名無しさん2012/01/12(木) 07:42:44.45
オブジェクト指向のどの部分を真似したいかによる
(オブジェクト指向を直接的に支援する機構はない)
0184デフォルトの名無しさん2012/01/12(木) 10:52:41.77
HaskellでCを真似しながらCでオブジェクト指向を真似する
間接的ヒラメキ
0185デフォルトの名無しさん2012/01/12(木) 11:51:38.40
HaskellでOOPをやる方法
http://www.haskell.org/haskellwiki/OOP_vs_type_classes
0186デフォルトの名無しさん2012/01/12(木) 16:10:46.59


2chやニコニコ動画に民主党から反日工作費が流れていることが知られるようになってきた。
民主党が用意した資金で工作員が2chを荒らしていることもだんだんと知られるようになってきた
0187デフォルトの名無しさん2012/01/12(木) 21:48:47.06
パッケージを cabal install する時に、
ghc にオプションを渡す方法ってありますか？

例えば -XFlexibleInstances とか
0188デフォルトの名無しさん2012/01/12(木) 21:53:26.27
cabal install --ghc-options=-XFlexibleInstances
0189デフォルトの名無しさん2012/01/12(木) 22:08:16.42
>>188
もしかして、cabal install --help で表示それるオプション リストの
--with-PROG=PATH や --PROG-options=OPTS などの PROG って、
ここに ghc や c2hs などのコマンド名を入れろって事か

どおりで --with-PROG=ghc なんてゃってもエラーが出るわけだ

やっと最後に表示されてる
The flags --with-PROG and --PROG-option(s) can be used
with the following programs:
の意味が分かったよ

ありがと
0190デフォルトの名無しさん2012/01/13(金) 12:53:13.89
型変数を伴うシグネチャを持つ関数を、
ある型で特殊化することはできるのでしょうか

たとえば元々 f :: [a] -> a という関数があったとして、
a が Int 型の時は別の計算をさせたいから f :: [Int] -> Int
という型の「同名の」関数も欲しい場合です

下記のように型クラスを作るしか方法はないでしょうか
そうすると、Int 型以外の型にも全て
インスタンスを宣言しないといけないので大変です

class F a where
f :: [a] -> a
f = 汎用的な計算

instance F Int where
f = 特殊な計算

instance F Bool
instance F Char
・・・
0191デフォルトの名無しさん2012/01/13(金) 13:59:50.39
OverlappingInstances拡張を使って、instance F a
0192質問です2012/01/13(金) 18:40:35.10
モナドのデータ m a と 関数 f :: a -> m b を使って、
モナドのデータ m b を作り出すことがなんで『合成』なの？
0193デフォルトの名無しさん2012/01/13(金) 18:47:24.24
どこでそんな表現が使われてた
0194デフォルトの名無しさん2012/01/13(金) 18:53:11.74
複数の小さいデータを組み合わせて大きいデータを作るなら合成でいいんじゃね
0195質問です2012/01/13(金) 19:01:34.54
>>193　ここです
http://tnomura9.exblog.jp/15241458/
>>= 演算子はMaybe型関数とMaybe型関数を
合成する演算子になる、とありました
0196デフォルトの名無しさん2012/01/13(金) 19:21:57.88
>>=は自然変換joinで自己関手を写像したものだから
Maybe圏からMaybe圏への関手だ、ぐらいの表現で良いのでは
合成と言うのは違う気がする
0197デフォルトの名無しさん2012/01/13(金) 19:32:17.88
>>191
OverlappingInstances拡張がどのようなものか見てきました
http://www.haskell.org/haskellwiki/GHC/AdvancedOverlap

なかなか難しいですね、がんばって解読してみます

ありがとうございました
0198デフォルトの名無しさん2012/01/13(金) 21:08:33.18
2つのモナドm1，m2の合成の自然な定義はあるのでしょうか？
直積？
0199デフォルトの名無しさん2012/01/13(金) 23:01:33.65
さいなら。
0200デフォルトの名無しさん2012/01/13(金) 23:59:10.31
野田改造内閣に早速疑惑浮上

@aritayoshifu 有田芳生
捜査当局が内偵を続けている農水疑惑。詳細な怪文書まで出回っている。３億円の
行方はどこに？

@minorucchu ジャーナリスト　田中稔
野田改造内閣を揺るがす、農水省３億円スキャンダルの怪文書。二人の議員名が浮上。
34分前 webから
https://twitter.com/#!/minorucchu/status/157687110562881537

鹿野と筒井らしい
自公は問責も視野に調査開始だって
0201デフォルトの名無しさん2012/01/14(土) 09:49:15.55
あれだけ他パラダイムをdisりまくったその口で
ハスケルはメタパラダイム言語だとか
ふざけんなってのｗ
0202デフォルトの名無しさん2012/01/14(土) 09:54:29.57
メタパラダイム言語って言葉の意味が分からないからなんとも言えない
0203デフォルトの名無しさん2012/01/14(土) 10:24:18.99
メタって便利な言葉だよな
0204デフォルトの名無しさん2012/01/14(土) 10:50:14.56
「そろそろパラダイムについて一言言っておくか」ってことだろ
バスに乗り遅れた奴が使う言葉
0205デフォルトの名無しさん2012/01/14(土) 10:54:46.75
マルチパラダイムと言いたかったのではないかと推測してみる
0206デフォルトの名無しさん2012/01/14(土) 11:02:45.90
CでOOPができるしJavaでFPができるだろ
HaskellでOOPもできるんだよ
ただしそのパラダイムの為に設計された言語ではないので
可読性落ちたりするから推奨されないというだけの話
0207デフォルトの名無しさん2012/01/14(土) 11:04:31.60
ぷでゆきさんは１年ぐらい前にマルチパラダイムは幻想とか言ってからそれはないだろうな
0208デフォルトの名無しさん2012/01/14(土) 12:09:55.38
人のいうことを鵜呑みにしていいのかい？
0209デフォルトの名無しさん2012/01/14(土) 16:46:37.25

反日ネット工作員
朝日新聞社→社員約300人
民主党とその取り巻きの資金が入った反日工作会社→数社約450人

朝日新聞の社員は捕まった49歳の編集者を含め新聞記事を書く合間に2chを荒らしている程度とみられているが
民主党が用意した反日工作会社はほぼ24時間体制で工作を行っている
工作範囲は民主党が予め工作費を流している2ch、ニコニコ動画を中心にyoutube、個人のブログなどである。

0210デフォルトの名無しさん2012/01/14(土) 20:55:07.12
政治的なアナザー・ワールドの人がHaskellerってありえないよね？
0211デフォルトの名無しさん2012/01/14(土) 20:59:45.86
あの人、言うことコロコロかわるから。
OOは複雑すぎてわからないと言ってみたかと思ったら
OOはしょせんこの程度のモデルに過ぎないからと言ってみたり
全く参照透明ではないｗ
0212デフォルトの名無しさん2012/01/14(土) 21:44:45.71
>>206
推奨されないと言われても
禁止されているようなものだと思うか、禁止されていないと思うかで全く違う
推奨なんて中途半端なことをするから解釈がコロコロ変わる
0213デフォルトの名無しさん2012/01/15(日) 00:17:59.85
>>211
発言を時間の関数と思えば参照透明。
これがHaskell流だ
0214デフォルトの名無しさん2012/01/15(日) 08:56:17.00
>>201
「メタパラダイム言語」という言葉は、このスレが初出です。
「Haskellはメタパラダイム」というtweetの話をしているんですよね？

Haskellは○○
http://togetter.com/li/241437
>Haskellはメタパラダイム　　tanakh 2012/01/13 17:38:41

もともとtanakhは「モナドはメタパラダイム」と主張しているので
モナドを取り込んだHaskellもメタパラダイムと考えたのでしょう。
モナドが様々なパラダイムを実現できると主張する事と
有用でないパラダイムをディスる事は別に矛盾してないのでは？
0215デフォルトの名無しさん2012/01/15(日) 12:31:26.23
民主党が惨敗した参院選直前の政党支持率(2010年7月11日投票)

FNN 2010年7月4日
民主党 29.9% 自民党 16.3%
ttp://sankei.jp.msn.com/politics/policy/100706/plc1007060530003-n1.htm
ttp://www.fnn-news.com/archives/yoron/inquiry100705.html

マスコミに、ダマされるなよ。

0216デフォルトの名無しさん2012/01/15(日) 14:30:28.52
VIPからきました
何から始めるんでしょうか
0217デフォルトの名無しさん2012/01/15(日) 14:44:29.28
テンプレ読むところからだろ。
0218デフォルトの名無しさん2012/01/15(日) 14:45:25.41
そりゃもっともで
読んできます
0219デフォルトの名無しさん2012/01/15(日) 14:51:53.71
なんでvipから来た奴ってわざわざ名乗るんだろうな
0220デフォルトの名無しさん2012/01/15(日) 14:54:38.77
>>219
vipperだから
0221デフォルトの名無しさん2012/01/15(日) 16:57:17.93
>>214
有用でないという証明がまるでできてないのに？
根拠らしきものは、難しくて理解できない、って発言ぐらいだけど…
0222デフォルトの名無しさん2012/01/15(日) 17:00:31.21
それ以前に逐次実行モデルっぽいことができるだけでメタパラダイムとかｗ
その理屈だとチューリング完全な言語はみなメタパラダイムになるぞｗｗ
0223デフォルトの名無しさん2012/01/15(日) 17:30:52.32
「モナドは値レベルでメタプログラミングをするための手段」
っていうのは適切な表現だと思うけどなぁ
継続や動的スコープが欲しくなったら処理系に手を入れずともモナドで実現できるわけだし
モナド変換子でそれらを組み合わせることもできる
0224デフォルトの名無しさん2012/01/15(日) 17:54:23.52
>>221
他パラダイムが有用でないという判断がでたらめでも
「Haskellはメタパラダイム」は別に矛盾しません。

>>222
「メタパラダイム言語」の次は「逐次実行モデルっぽいことができるだけで」ですか。
ソースを示さずに捏造を繰り返している事を自覚してください。

tanakhがモナドで逐次実行モデル以外も実装できると主張しているソース
http://tanakh.jp/pub/unisys-tech-2011-11-09.html#37
>モナドから見た命令型
>計算コンテクストの1つに過ぎない
>その他：
>　・論理型
>　・オブジェクト指向
>　・アスペクト, etc…
>これらはモナドのコンテクストとして実装できる
0225デフォルトの名無しさん2012/01/15(日) 18:53:37.75
チューリング完全な言語なら
どんなパラダイムだって実装できる
0226デフォルトの名無しさん2012/01/15(日) 20:41:23.81
>>225
モナドを使えば後付けのパラダイムを言語に取りこめるという話でしょう。
Lispのマクロでもできますが、チューリング完全だけでは無理です。
0227デフォルトの名無しさん2012/01/15(日) 21:05:04.33
パラダイムを言語に取り込めるとやらの定義は？
つーかモナドなんて手続き型言語でも簡単に実装できるが、Haskellを特別視する理由は？
まさかdo構文（ただの構文糖）の有無を特別視してるのか？
0228デフォルトの名無しさん2012/01/15(日) 21:26:47.75
bindはクロージャが無いと無理だし、静的型付けの言語でreturnを多相にするなら型クラスが居るよね
0229デフォルトの名無しさん2012/01/15(日) 21:34:13.26
俺は >>226 ではないが、言いたいことはわからんでもない。
要は抽象化の問題だろ。
手続型がどうとか言う話じゃない。

あるパラダイムをモナドの中に押し込めて隠すことが出来るという意味で「取りこめる」と言ってるんだと思う。
LISP もマクロで覆ってしまえばプログラマはそのライブラリを愚直に使うだけのこと。

抽象度がイマイチな言語でも、もちろん様々なパラダイムに基いたプログラムは書けるけれど、
それはプログラマが意識しながらプログラムを書くということであって、
言語の中に (ライブラリ等として) パラダイムを取込むとは言えないと思う。

ってことだと理解した。
0230デフォルトの名無しさん2012/01/15(日) 22:08:51.73
モナドは全部同じだろ。
具体的なインスタンスを比較しない限り同じに見えるはずだ。それが抽象化だ。
異なるパラダイムを取り込めるのではなく、なぜか同じだから取り込める。
0231デフォルトの名無しさん2012/01/15(日) 22:15:50.51
>>228
静的型付けの言語では、型クラスがないとreturnを多相にできないの？
0232デフォルトの名無しさん2012/01/15(日) 22:24:00.26
暗黙の引数を明示的に与えるようにすれば多相にできるよ
でもそれは、Cでも構造体と関数ポインタ使えばOOPできるよ、というのと同じような話なわけ
モナドをヘビーに使い込むようなスタイルのプログラミングをするなら、Haskellを特別視する理由になるよね
0233デフォルトの名無しさん2012/01/15(日) 22:30:19.48
>>232
型クラスが存在しない静的型付き言語において、
暗黙の引数を明示的に与えるようにする以外の方法では、returnを多相にできないの？
0234デフォルトの名無しさん2012/01/15(日) 22:30:46.35
抽象化をしたいなら特別視なんてやめたほうがいいと思う
0235デフォルトの名無しさん2012/01/15(日) 22:35:55.76
>>233
できないんじゃない？
戻り値の型の情報はどこからとってくるの？
0236デフォルトの名無しさん2012/01/15(日) 22:47:24.22
型というか、型によって選択された実装をどこからとってくるか、だった。ごめんね
多相というのは、つまりoverloading（アドホック多相）のことね
0237デフォルトの名無しさん2012/01/15(日) 22:54:06.87
つまりad-hoc polymorphismを実現する手段として型クラスは必要条件ではないと思った
型クラスはad-hoc polymorphismと型推論を両立するためにless ad-hocにする手段で
型推論を捨てるなりすれば型クラスはなくても多相はできるでしょうと
0238デフォルトの名無しさん2012/01/15(日) 23:29:31.36
モナドであることの利点と型クラスの利点を切り分けられていない人が多い。
モナド則の有難味を感じるのはIOくらい。
0239デフォルトの名無しさん2012/01/15(日) 23:54:42.51
民主党には朝鮮人など外国人のなりすまし、スパイが約90名在籍している
野田内閣は過半数が帰化人

野田はどうだろうか
韓国人から賄賂を貰い、韓国人の集いに出席している野田は

首になった蓮○はシャブで逮捕歴のある人間と仲が良いな。蓮○自身はやってんの？
い-6-1
テレビが言えない民主党のスポンサー=韓国北朝鮮
あとはもうわかるよな

0240デフォルトの名無しさん2012/01/16(月) 07:38:13.19
wxHaskell でバイト配列のポインタ (Ptr Word8) から Image 型を作る方法はありませんか
0241デフォルトの名無しさん2012/01/16(月) 07:41:22.96
>>240
すいません、解決しました

Graphics.UI.WXCore.Image や Graphics.UI.WXCore.Draw 辺りばかり見ていましたが、
Graphics.UI.WXCore.WxcClassesAL に望むものがありました
0242デフォルトの名無しさん2012/01/16(月) 08:39:44.77
>>232
> Cでも構造体と関数ポインタ使えばOOPできるよ、というのと同じような話なわけ

Haskellでもモナドと型クラス使えばOOPできるよ、というのと同じような話なわけだね
OOPを簡潔に書けないからね
0243デフォルトの名無しさん2012/01/16(月) 08:43:19.87
OOPと同じ手段は使えないけどOOPで実現したいことは簡潔に書ける(ドヤ
0244デフォルトの名無しさん2012/01/16(月) 09:33:47.83
>>242
今、他の言語がtype classみたいな機能を導入検討中ですぜ？
0245デフォルトの名無しさん2012/01/16(月) 12:01:33.44
>>232
＞モナドをヘビーに使い込むようなスタイルのプログラミングをするなら、Haskellを特別視する理由になるよね
「モナド」と「Haskell」を他の組み合わせにすればどんな言語についても言えることだろ。モナド(Haskell)を特別視する理由に全くなってない
0246デフォルトの名無しさん2012/01/16(月) 12:39:05.61
>>232
IOモナドをヘビーに使い込むようなスタイルのプログラミングをするなら、正格評価をする言語を特別視する理由になるよね

こういうことですか？
0247デフォルトの名無しさん2012/01/16(月) 17:11:15.74
多相=アドホック多相だと思ってるハスケル脳は
多相=サブタイプ多相だと思ってるOO脳と同類だな
0248デフォルトの名無しさん2012/01/16(月) 17:29:56.98
Haskellはadhoc多相だけではないので念の為。
0249デフォルトの名無しさん2012/01/16(月) 19:02:10.12
手続き型言語でも簡単に実装できるが、Haskellを特別視する理由、に対する返答なんだからそれはおかしいんでは
モナドの利点は>>223 >>224 >>226など（>>226はモナドというより、後付けでインスタンスを追加できる型クラスの利点？）
0250デフォルトの名無しさん2012/01/16(月) 19:08:13.39
モナドなんか使わなくたって処理系実装すればいいだろ
他パラダイムを実装する枠組みがモナドである必然性はゼロ。
参照透明である必然性もゼロ。型クラスを使う必然性もゼロ。
0251デフォルトの名無しさん2012/01/16(月) 19:12:22.89
材木を見たら釘を打ちたくなる症候群のハスケル厨が
モナドを使って他パラダイムのエミュレートができると気付いただけ

他パラダイムのエミュレートにモナドが不可欠ではないし
モナドが他パラダイムにベストな解法であるわけでもない
単に、モナドで表現すること「も」できるね、ということでしかない

0252デフォルトの名無しさん2012/01/16(月) 22:44:00.17
where や let 内で定義する関数には INLINE プラグマは付けられない？
0253デフォルトの名無しさん2012/01/16(月) 23:07:15.68
モナドは表示的意味論の種々の技法から抽出されたものだから、
計算に本質的なことはモナド的な見方が出来てしまうのですよ。
圏論バカ的な意味合いで。整理するための優れた枠組みなわけです。
0254デフォルトの名無しさん2012/01/17(火) 00:24:32.62
>>253
お前は形容詞バカだ
本質的な、モナド的な、優れたアレがあると言うが名詞が出てこない
0255デフォルトの名無しさん2012/01/17(火) 00:24:57.94
何の説明にもなってないな
0256デフォルトの名無しさん2012/01/17(火) 00:37:55.98
プラグマを処理するときにモジュールレベルよか下のスコープ見てくれるとは到底思えない
0257デフォルトの名無しさん2012/01/17(火) 07:24:50.58
>>256
モジュールレベルというのはどこまでの範囲でしょうか？

{-# LANGUAGE ＊＊＊ #-}
module Homu where

ここまでですか？

それとも、トップレベルの関数定義に対するプラグマも含まれますか？
0258デフォルトの名無しさん2012/01/17(火) 12:27:54.23
モナドは数学に基づくからその辺の言語とは格が違う
1+1=2が否定できないのと同じこと
0259デフォルトの名無しさん2012/01/17(火) 12:38:09.99
唯一のコンストラクタを持つ型の直和が二つのコンストラクタを持つ型と同型であることと同じかなるほどなるほど
0260デフォルトの名無しさん2012/01/17(火) 16:14:17.74
数学に基かないプログラム構成要素なんて存在する？
0261デフォルトの名無しさん2012/01/17(火) 17:08:53.02
孤高なるや否や
0262デフォルトの名無しさん2012/01/17(火) 17:34:33.19
彼にとっては圏論のみが数学なのだろう。
0263デフォルトの名無しさん2012/01/17(火) 17:36:00.52
モナドは圏論に基づくからその辺の言語とは格が違う
f.(g.h)=(f.g).hが否定できないのと同じこと
0264デフォルトの名無しさん2012/01/17(火) 17:42:57.57
で、モナドって言語なの？
0265デフォルトの名無しさん2012/01/17(火) 17:47:59.53
哲学用語
0266デフォルトの名無しさん2012/01/17(火) 18:37:01.81
>>252
付けられるよ
0267デフォルトの名無しさん2012/01/17(火) 19:06:57.29
>>266
初め付けられなかったから訊いたみたんだが、
今再挑戦したらあっさりできた

どうもレイアウトルールに従ってなかったみたいだ
where {-# INLINE f #-} f x = ・・・
なんてのはできないのね

where
　{-# INLINE f #-}
　f x = ・・・
これならできた
ちょっと不格好になるが仕方がない

助かった、ありがと
0268デフォルトの名無しさん2012/01/19(木) 01:16:44.99



　東京にある6つのキー局の内、製作から財務まで一貫して朝鮮人が行ってるテレビ局が1つ
　中国共産党から毎年大量の反日工作費が流れているテレビ局が2つ
　もろに北朝鮮と繋がっているテレビ局が1つ　　
年寄はまだまだテレビという外国人に騙され続ける
0269デフォルトの名無しさん2012/01/19(木) 22:41:54.05
Float型やDouble型などの、負方向の最大値（無限大ではない）や、
最もゼロに近い正の数などを得る方法は何かないでしょうか
0270デフォルトの名無しさん2012/01/19(木) 23:40:17.17
>>269
Hugs> 1/0::Float
inf
Hugs> -1/0::Float
-inf
Hugs> 1/(1/0)::Float
0.0
Hugs> -1/(1/0)::Float
-0.0
0271デフォルトの名無しさん2012/01/19(木) 23:44:42.25
import Numeric.IEEE
-maxFinite
succIEEE 0
0272デフォルトの名無しさん2012/01/19(木) 23:45:01.08
>>270

>>269 でも言いましたが、無限大ではないです
「計算が可能な」負方向の最大値、正方向の最大値です

あと、最もゼロに近い正の数です
0273デフォルトの名無しさん2012/01/19(木) 23:51:23.95
クラッシュするんじゃ
0274デフォルトの名無しさん2012/01/20(金) 00:02:03.11
>>271
ieee754 パッケージを使うのでしょうか

インストールして、ghci 上で使ってみましたが、
m というモジュールが見つからないというエラーが発生します

今までの経験から察するに、MinGW 用の libm.dll という
dll が必要ではないかと思いますが、合ってますか？

http://gnuwin32.sourceforge.net/packages/libm.htm
ここから辿れるページで探しているのですが、なかなか見つかりません

今日はもう遅いので後日探してみます
■ このスレッドは過去ログ倉庫に格納されています