関数型プログラミング言語Haskell Part6
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
2006/11/07(火) 21:24:26http://www.haskell.org/
日本語サイト
http://www.sampou.org/cgi-bin/haskell.cgi
http://shidot.dyndns.org/hs/
過去ログ
関数型プログラミング言語Haskell
Part1 http://pc.2ch.net/tech/kako/996/996131288.html
Part2 http://pc2.2ch.net/test/read.cgi/tech/1013846140/
Part3 http://pc8.2ch.net/test/read.cgi/tech/1076418993/
Part4 http://pc8.2ch.net/test/read.cgi/tech/1140717775/
Part5 http://pc8.2ch.net/test/read.cgi/tech/1149263630/
関連スレは>>2
関連書籍は>>3
・2chの仕様により、行頭の半角スペースは表示されません。
コードをインデントしたいときは、代わりに または全角スペースを使うことができます。
0067デフォルトの名無しさん
2006/11/21(火) 00:20:350068デフォルトの名無しさん
2006/11/21(火) 00:25:44read "-123.456" :: Double
006966
2006/11/21(火) 01:19:160070デフォルトの名無しさん
2006/11/21(火) 05:43:13Symantecとか関係なくWinHugsはなぜかアンインストールできない。
なのでさくっとスクリプトを書いてみようと思ったらひどい目にあった。
なんでマルチバイト文字とCharの相互変換もできないんだよ…
ttp://up.uppple.com/src/up0496.txt
FFIを使う羽目になったので、GHCでコンパイルする必要がある。
あと無保証。BIOSが消し飛んでも関知しないから念のため。
0071デフォルトの名無しさん
2006/11/21(火) 07:09:34それを すてるなんて とんでもない！
0073デフォルトの名無しさん
2006/11/21(火) 23:20:19http://hackage.haskell.org/trac/hugs/ticket/42
認識はされてるけど対策はまだみたいだ。
0074デフォルトの名無しさん
2006/11/21(火) 23:27:38□□■□□□□□■□□□□□□□□□□□□□□■□□□□□□□□□■□□■□□
□□■□□□□□■□□□□□□□□□□□□□□■□□□□□□□□□■□□■□□
□□■□□□□□■□□□□□□□□□■■□□□■□□□□□□□□□■□□■□□
□□■□□□□□■□□□□□□□□■□□■□□■□□■□□■■□□■□□■□□
□□■■■■■■■□□■■■■□□■□□□□□■□■□□■□□■□■□□■□□
□□■□□□□□■□■□□□■□□□■■□□□■■□□□■■■■□■□□■□□
□□■□□□□□■□■□□□■□□□□□■□□■□■□□■□□□□■□□■□□
□□■□□□□□■□■□□□■■□■□□■□□■□□■□■□□■□■□□■□□
□□■□□□□□■□□■■■□■□□■■□□□■□□■□□■■□□■□□■□□
0075デフォルトの名無しさん
2006/11/23(木) 00:35:20ふつうのHaskellプログラミング買って勉強しはじめた
もう一冊のほうは知らんけど、これわかりやすくていいね
007675
2006/11/23(木) 00:35:50http://www.amazon.co.jp/gp/product/4797336021/sr=8-4/qid=1164209589/ref=sr_1_4/250-4437816-3500248?ie=UTF8&s=books
0077デフォルトの名無しさん
2006/11/23(木) 01:28:030078デフォルトの名無しさん
2006/11/23(木) 01:41:12スレがのびへんねん
0079デフォルトの名無しさん
2006/11/23(木) 10:51:460080デフォルトの名無しさん
2006/11/25(土) 02:20:39HaskellにDoxygenのようなドキュメント生成のためのツールなどはありますか？
0081しょしんしゃ
2006/11/25(土) 02:26:37質問です
GHCとHugsという存在がよくわかりません
Haskellが仕様で、GHCとかHugsが実装環境ってこと？
もしそうなら、仕様ってなに？
どっかにそれをタンマリ書いたPDFとか置いてるの？
『Haskell』ってのはただの説明書？
それともLinuxに例えるならHaskellがカーネルで
GHCやHugsがディストリビューション？
やべぇ、余計わかんなくなってきた
0082デフォルトの名無しさん
2006/11/25(土) 03:05:44Haddock
>>81
>Haskellが仕様で、GHCとかHugsが実装環境ってこと？
そんな感じ。
>どっかにそれをタンマリ書いたPDFとか置いてるの？
http://haskell.org/onlinereport/
http://www.sampou.org/haskell/report-revised-j/ (日本語訳)
0083デフォルトの名無しさん
2006/11/25(土) 03:09:04覗いてみたけど眩暈した
>>81のLinuxの例えはあってるかな？
あってるなら納得する
0084デフォルトの名無しさん
2006/11/25(土) 03:29:49GHCのような各処理系は、この定義に沿ってプログラムを解釈するように作られる。
言い替えると、Haskell ReportはHaskell処理系が満たすべき要件を定めている。
Linuxカーネルはディストリビューションが満たすべき要件を定めたりしないし、
カーネル自身がディストリビューションの一部なので、構造がだいぶ違う。
むしろ、POSIXとLinuxシステムの関係に近い。
0085デフォルトの名無しさん
2006/11/25(土) 22:50:340086デフォルトの名無しさん
2006/11/25(土) 23:04:56つーかC++言語だってgccだのMS VC++だのBCCだのいっぱいあって，それで普通じゃん...
HaskellもHugsだのGHCだのいっぱいあるのですぉ
0087デフォルトの名無しさん
2006/11/25(土) 23:31:43一般的なプログラマーならそれで理解できるだろうけど
Javaしか知らんのだよJavaしか！！１
0088デフォルトの名無しさん
2006/11/25(土) 23:36:490089デフォルトの名無しさん
2006/11/25(土) 23:38:200090デフォルトの名無しさん
2006/11/25(土) 23:48:33HTML <-> Haskell98
IE,FF,Opera,etc... <-> GHC, Hugs, etc...
0091デフォルトの名無しさん
2006/11/25(土) 23:55:59え、そんな単純なことなのか
0092デフォルトの名無しさん
2006/11/25(土) 23:57:290093デフォルトの名無しさん
2006/11/26(日) 01:21:32たとえば ghc でコンパイルして
C:\> .\fibonacci.exe 10
55
C:\> .\fibonacci.exe 20
6765
と動作するようなものを書く場合です。
またそれはどのあたりのマニュアルを参照すれば良いでしょうか。
0094デフォルトの名無しさん
2006/11/26(日) 01:25:00hoogleでarg辺りで検索すればgetArgsが出てくる。
0095デフォルトの名無しさん
2006/11/26(日) 01:28:37Haskell98なら
System.getArgs :: IO [String]
階層ライブラリなら
System.Environment.getArgs :: IO [String]
GHCに付属しているライブラリの大部分は
http://www.haskell.org/ghc/docs/latest/html/libraries/
にリファレンスがある。
0096デフォルトの名無しさん
2006/11/26(日) 01:37:36Javaの本ではそんなの読んだことない
0097デフォルトの名無しさん
2006/11/26(日) 01:54:37そんな大嘘が書いているのはどこですか？
Haskellではcharの配列とStringはまったく違います。
また、Javaではchar[] != Stringです。
0098デフォルトの名無しさん
2006/11/26(日) 02:12:41配列ではなくリスト、と言いたいんだよね？
0099デフォルトの名無しさん
2006/11/26(日) 02:21:040100デフォルトの名無しさん
2006/11/26(日) 02:24:30実は、Haskellでは文字列もリストなのです。文字列は文字のリストとして
表現されていて、特別な「文字列」は存在しません。
ですから、リストの処理を覚えれば文字列処理も身につけたことになります。
-----ふつうのHaskellプログラミング
0101デフォルトの名無しさん
2006/11/26(日) 02:24:56Haskellの文字列はCharのリスト（これを [Char] と書き表す）
Haskellでは配列とリストは別のデータ型．
関数型言語では大抵は配列よりリストのほうが頻繁に使われる．
0102デフォルトの名無しさん
2006/11/26(日) 02:28:12>>98がアホってこと？
0103デフォルトの名無しさん
2006/11/26(日) 03:57:26何故？
0104デフォルトの名無しさん
2006/11/26(日) 04:46:570105デフォルトの名無しさん
2006/11/26(日) 07:10:26次のコードは間違っていますか？それとも別の問題でしょうか？
import System.Posix.Files
main = getFileStatus "hoge" >>= (print . isDirectory)
ghciでは、ちゃんと動きました。
hugsで実行しようとすると、次のエラーが出ます。
*** glibc detected *** /usr/bin/hugs: free(): invalid pointer: 0x08f0d120 ***
======= Backtrace: =========
/lib/libc.so.6[0x4a74aefd]
/lib/libc.so.6(cfree+0x90)[0x4a74e550]
/usr/lib/hugs/packages/base/Foreign/Marshal/Alloc.so[0x4ed616]
/usr/bin/hugs[0x80771c6]
/usr/bin/hugs[0x8077bc0]
...
0106デフォルトの名無しさん
2006/11/26(日) 07:10:40つまりHaskellはもはやマイナーな分野ではない。
0107105
2006/11/26(日) 07:11:44ghcでコンパイルしようとすると、次のエラーが出ます。
t.o: In function `sHY_info':
(.text+0x8a): undefined reference to `unixzm1zi0_SystemziPosixziFiles_isDirectory_closure'
t.o: In function `sHW_info':
(.text+0x106): undefined reference to `unixzm1zi0_SystemziPosixziFiles_getFileStatus_closure'
t.o: In function `Main_main_srt':
(.rodata+0xc): undefined reference to `unixzm1zi0_SystemziPosixziFiles_isDirectory_closure'
t.o: In function `Main_main_srt':
(.rodata+0x10): undefined reference to `unixzm1zi0_SystemziPosixziFiles_getFileStatus_closure'
collect2: ld はステータス 1 で終了しました
OSはFedora Core 6
インストールしているパッケージは、
hugs98-2006.09-1.fc6
ghc66-6.6-1.fc6
ghc-6.6-1.fc6
です。
0108105
2006/11/26(日) 07:23:22次のコードが、hugsでは受け付けられるのに、ghci・ghcでは、
hoge.hs:3:10: parse error (possibly incorrect indentation)
などと、エラーになります。
haskellの言語仕様上、下記の記述は許されないということでしょうか？
main = do if True then putStrLn "t"
**********else putStrLn "f"
但し、半角スペースを記号"*"で置き換えています。
0109デフォルトの名無しさん
2006/11/26(日) 09:32:45仕様上正しいかどうかは知らんけど、もう一個スペース入れればghcで受け付けるようになる。
もしくは、この例ではdoは必要ないから外してしまうとghcでもOK。
ghcではdo構文の中ではthenとかelseはifの開始位置よりも右から始めないとダメって事になってるのかも。
0110デフォルトの名無しさん
2006/11/26(日) 09:43:25必要なライブラリをリンクさせてないってことでしょ。
単に ghc hoge.hs としたらhoge.hsだけをコンパイルして標準のライブラリとリンクさせて実行ファイル作るけど、
import System.Posix.Filesをしてるから標準のライブラリには含まれてないものを必要としてて、
それが足りないというエラーが起きてる。
-packge 〜 というオプションをつけて手動で必要なものを指示する方法もあるけど、
--makeオプションを使った方が必要なものを全部自動的に処理してくれるから楽。
ghc --make hoge.hs
0111105
2006/11/26(日) 11:37:13書き換えれば動くのは確かめたのですが、
処理系によって挙動が異なるので、仕様ではどうなっているのか気になっています。
>>110
ありがとうございます。
たしかに、ghcに--makeオプションを指定すると、うまくコンパイルできました。
hugsでは、このライブラリは利用できないのでしょうか？
hugsの実行時に+wオプションを使い、読み込まれるファイルを確認しました。
結果、メッセージは
...
Hugs session for:
...
/usr/lib/hugs/packages/base/System/Posix/Types.hs
/usr/lib/hugs/packages/base/System/Posix/Internals.hs
/usr/lib/hugs/packages/unix/System/Posix/Files.hs
hoge.hs
Type :? for help
Main> main
*** glibc detected *** hugs: free(): invalid pointer: 0x0965eb60 ***
======= Backtrace: =========
/lib/libc.so.6[0x4a74aefd]
/lib/libc.so.6(cfree+0x90)[0x4a74e550]
/usr/lib/hugs/packages/base/Foreign/Marshal/Alloc.so[0xd67616]
hugs[0x80771c6]
...
/lib/libc.so.6(__libc_start_main+0xdc)[0x4a6faf2c]
hugs[0x8049c51]
======= Memory map: ========
...4a8アボートしました
となり、異常終了してしまいます。
0112デフォルトの名無しさん
2006/11/26(日) 12:55:55特定のときにだけ実行するような場合は Monad (または Control.Monad) を
インポートして when か unless を使え。
あと和訳されてるんだし疑問を持ったら自分で仕様を読めば。
http://www.sampou.org/haskell/report-revised-j/exps.html
0113デフォルトの名無しさん
2006/11/26(日) 13:15:46仕様が気になるなら仕様書を読むしかない。
do構文が絡んだ場合のインデントについてまとめてあるのを見つけた。
http://en.wikibooks.org/wiki/Haskell/Indentation
0114デフォルトの名無しさん
2006/11/26(日) 13:16:47if..then..elseは単なる式であって、doの文にするなら一文に収めないといけない。
そのコードだとif...then...とelse...で二文に分かれているので、エラーになるのが正しいはず。
手元のHugs May 2006では
ERROR "test.hs":2 - Syntax error in expression (unexpected `;', possibly due to bad layout)
というエラーになった。
0115114
2006/11/26(日) 13:30:35Hugsのバグかも。
0116デフォルトの名無しさん
2006/11/26(日) 13:34:21明らかにライブラリまたはHugsの問題。コードは悪くない。
0118デフォルトの名無しさん
2006/11/26(日) 17:56:23に書かれている設定で Emacs の haskell-mode を入れてみたんですが、
インデントが正しくなりません。たとえば Yet Another Haskell Tutorial
の p.32 の例を入力すると、
module Main
where
import IO
main = do
hSetBuffering stdin LineBuffering
putStrLn "Please enter your name: "
name <- getLine
putStrLn ("Hello, " ++ name ++ ", how are you?")
となってしまいます。(半角スペース 2 つを全角空白文字に変換しています。)
何か設定がおかしいんでしょうか？ それともこういうもの？
0119デフォルトの名無しさん
2006/11/26(日) 19:05:300121デフォルトの名無しさん
2006/11/26(日) 23:15:09それともみんな個人レベルで圏論とHaskellをやっているんですかね・・・
0123デフォルトの名無しさん
2006/11/27(月) 00:24:10いろんなところでやってるでしょ。代表的なのはオックスフォードだけど。
0124デフォルトの名無しさん
2006/11/27(月) 00:44:00orz
0125デフォルトの名無しさん
2006/11/27(月) 01:04:05ていうかこれ去年か。
0126デフォルトの名無しさん
2006/11/27(月) 01:07:320127デフォルトの名無しさん
2006/11/28(火) 17:33:230128デフォルトの名無しさん
2006/11/28(火) 18:48:090129デフォルトの名無しさん
2006/11/28(火) 20:13:560130デフォルトの名無しさん
2006/11/28(火) 20:20:060131デフォルトの名無しさん
2006/11/28(火) 23:56:32ttp://d.hatena.ne.jp/m-a-o/20061123#p2
0132デフォルトの名無しさん
2006/11/29(水) 00:01:57HelloWorldしか書けない初心者の俺がみても
10個中10個が失敗した理由になってねーよｗ
人気でない10の理由ってんなら少しはわかるが
0133デフォルトの名無しさん
2006/11/29(水) 00:07:45ttp://www.audioholics.com/news/editorials/10reasonsHDDVDsfailed.php
ttp://tabesugi.net/memo/cur/b2.html#192215
0134デフォルトの名無しさん
2006/11/29(水) 00:58:53> 残念！
> 「Hello worldさえブラックボックス」
> 斬り
古いネタだけど吹いたｗ
0135デフォルトの名無しさん
2006/11/29(水) 02:08:20ごめん全部読んだけど、面白くなかった。
何かお笑い芸人のネタみたい。
0136デフォルトの名無しさん
2006/11/29(水) 05:31:540137デフォルトの名無しさん
2006/11/29(水) 23:10:29遅延評価はパラダイム的にはものすごい進歩だとおもうけど。プログラム言語内に無限概念を取り込むことに成功している。
数学チックにいうと
遅延評価のない言語=代数的
遅延評価のある言語=超越的
とでもいうか・・・。
遅延評価は何気にHaskellの一番の利点だと思う。（パラダイム的に）
型推論なんて比べ物にならね。（比べるものではないが、ていうか比べられないけど）
0138デフォルトの名無しさん
2006/11/29(水) 23:16:310139デフォルトの名無しさん
2006/11/29(水) 23:25:33言語に組込みで持つには(計算機アーキテクチャから見て)複雑過ぎるし、
オーバーヘッドが大きすぎるし、空間効率の予測が難しすぎる。
たしかに遅延リストや遅延木は便利だけど、
それは言語に遅延評価を組み込む理由にはならない。
例えば遅延リストはOCamlやSchemeでも扱えるはず(違ってたらごめん)。
型推論とどっちを取るかといわれたら、俺なら間違いなく型推論をとる。
0140デフォルトの名無しさん
2006/11/29(水) 23:29:05専門用語きんし
↓以後ひらがな＋説明文添付必須
0141デフォルトの名無しさん
2006/11/29(水) 23:29:54だけど、言語機能として一貫して遅延させるのと単に遅延評価を扱えるってのとでは話が違ってくる事柄なので、
そういった形での比較はナンセンスだと思う。
遅延評価は遅延評価なりのメリットがあるので別に要らない場面ではOCamlでもSchemeでも使ってりゃいいんでね？
0142デフォルトの名無しさん
2006/11/29(水) 23:31:390143デフォルトの名無しさん
2006/11/29(水) 23:37:50あー確かに議論が混乱してたかも。すまん。
>別に要らない場面ではOCamlでもSchemeでも使ってりゃいいんでね？
**が欲しいなら**言語を使え、というのは余計なお世話だ。
Haskellにあってその二言語にない特徴なんて遅延評価以外にもいくらでもあるわけで。
0144デフォルトの名無しさん
2006/11/29(水) 23:46:41すなわちHaskellは無限概念を内包しているのだ！
といってみる。
0145デフォルトの名無しさん
2006/11/29(水) 23:48:43よめないぞ
0146デフォルトの名無しさん
2006/11/29(水) 23:50:160147デフォルトの名無しさん
2006/11/29(水) 23:53:40なんで？
確かに
main = putStrLn "foo" >> main
みたいなのは書けなくなるけど、
main = putStrLn "foo" >>= (\_ -> main)
と書けばいいので問題ないと思うんだが。
0148デフォルトの名無しさん
2006/11/29(水) 23:54:42Haskellで書いてると、たまにC++を頼もしく感じます。
修行が足りない？
0149デフォルトの名無しさん
2006/11/29(水) 23:55:24例外モナドがMaybe aではなく() -> Maybe aだったとすると
do
foo
bar
を
do
(\_ -> foo)
(\_ -> bar)
って書かないといけなくなる。
0150デフォルトの名無しさん
2006/11/29(水) 23:56:06実装上の問題。正格では実装できない。おそらくね。
全然違うかもしれんが。
0151デフォルトの名無しさん
2006/11/30(木) 00:02:22それは気づかなかった。
その例だとdoを展開するときに>>でなく>>=を使うようにするだけで十分だけど、
類似の例がもっとあるといやだな。
>>150
newtype IO a = IO (() -> a)
で十分なはず。
C++でIOモナドを書いてみたら一応動いたのでたぶん問題ない。
0152デフォルトの名無しさん
2006/11/30(木) 00:03:44なぬ。馬鹿な。
0153デフォルトの名無しさん
2006/11/30(木) 00:04:05Haskellにとって遅延評価は基盤であり、その他の便利な特徴もそれを前提としているものが少なくない。
>>139の「それは言語に遅延評価を組み込む理由にはならない。」
というのがあるから嫌なら特に必要ない限り他の選択肢を選べばいいんでね？
という程度の考えだった。
逆に言えばHaskellの特徴の便利な部分をOCamlやSchemeでは実現しえないものか？
できないならやっぱHaskellの遅延評価とそのほかの特徴は切り離せないものと割り切るしかなかろう。
0154デフォルトの名無しさん
2006/11/30(木) 00:13:39遅延評価がないと難しそうなもの(where節とか)もあるけど
そうでもなさそうなもの(型クラスとか純粋さとかインデントによる構文とか)も結構あると思う。
0155デフォルトの名無しさん
2006/11/30(木) 00:33:51ｽｰﾊﾟｰﾓ゛ﾅ゛ｰﾄﾞｯ！！
ヽ／＼ , ,
| ＼ヾ /／ |, ,
ヾ ／/,,
＼ ∧/|,／/＿ ／"
ヾ ヾ,ﾍヘ ／ ,／ ／,
＼ ヾ|/|/ヽﾉ/,／ ／"
丶 （｀∀´ ∨ ／,
＼ ｄ つ ／"
ヽ | | | ／,,
＼__,,,（＿（_＿）,,,＿／"
0156デフォルトの名無しさん
2006/11/30(木) 00:53:460157デフォルトの名無しさん
2006/11/30(木) 01:17:54ttp://www.shiro.dreamhost.com/scheme/wiliki/wiliki.cgi?Scheme%3aLazyEvaluation
ここでnobson氏とShiro氏がSchemeで遅延評価にいろいろ挑戦しているみたいだけど
やっぱり完ぺきに実現するのは無理っぽいね
0158デフォルトの名無しさん
2006/11/30(木) 12:17:460159デフォルトの名無しさん
2006/11/30(木) 12:44:01BASIC でも無限ループが書ける。
0160デフォルトの名無しさん
2006/11/30(木) 16:54:46遅延リスト（無限リスト）とジェネレータ（ストリーム）は
本質的に異なる構造を持っているので、理論上代替は不可能。
実用上はだいたい代替できるんだけどね。
理論屋としては別物として考えておきたい。
0161デフォルトの名無しさん
2006/11/30(木) 19:02:290162デフォルトの名無しさん
2006/11/30(木) 21:41:56俺もだ。
だれかHaskellとC++とDとMerdとRubyとNemerleの良いとこ取りした言語
作ってくれないかな。
0163デフォルトの名無しさん
2006/11/30(木) 21:49:010164デフォルトの名無しさん
2006/11/30(木) 21:56:200165デフォルトの名無しさん
2006/11/30(木) 21:58:39C++3xはそれらを全て取り込んだ究極言語になるらしいよ。
0166デフォルトの名無しさん
2006/11/30(木) 22:08:55言語仕様が１０巻本で出そうだな。
■ このスレッドは過去ログ倉庫に格納されています