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

[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

159: 2011/10/15(土)19:05 AAS
perlninja2
メンバ
登録日: 2011-09-30
投稿: 10
E-mail

Ubuntuを起動するとフリーズしていまいます
ターミナルの画面が真っ白で、ちょっと動かすと元の色にもどります
そしてウインドウを動かしたり　ターミナルにコマンド打ち込んだり　フォルダ開いたりしようとすると反応がありません
上のメニューバーの再起動とかログアウトはボタン選べるんですが　まったく応答がありません
いろいろデスクトップのフォルダを開こうとしても開けないです
どうすればいいんですか?教えてください
直しかた教えてください

昨日まで普通に使えてたのに突然使えなくなりました
再起動したりなんかいも起動しなおしても同じ現象です

160: 2011/10/15(土)19:14 AAS
Perl忍者はHaskellができません。
ですが、ここのスレに来てはいけないというルールはありません。

161: 2011/10/15(土)19:17 AAS
>>157
では、mapAdj や mapN (N = Neighborhood) で

>>156
「名前と型両方に無駄なく意味をこめる」
なるほど、そういう考え方もあるのですね

わたしは、改めてこの関数を使うプログラマの立場に立って考えてみると、
型シグネチャはライブラリドキュメントを見ることでしか確認はせず、
普段ソース中でこの関数を使っている時は関数名しか見ないと思いました
そして、ライブラリドキュメントはソースに比べてそう頻繁に見るものではない
（自分がそうなので）

だからソースを眺めた時、この関数を使っているところで、
「何がどのような結果になるのか」という情報が仕舞われた頭の抽斗が開けやすくなる、
抽斗の場所がぱっと思い浮かぶようなキーワードがいいなと
ポイントフリーで使っていると余計にそう感じます

というわけで、私はむしろ型シグネチャで分かる意味・ニュアンスも、
積極的に関数名に入れていこうと、皆さんの意見を聞いて思いました

162: 2011/10/15(土)19:18 AAS
掟

163: 2011/10/15(土)20:12 AAS
セルラーオートマトンの文脈では、fがevolverでgがtransducer

164(1): 2011/10/15(土)21:42 AAS
変換って、いろいろな言葉があるよね。

translator
tramsformer
transducer

厳密な使い分けはあるのだろうか？

165: 2011/10/15(土)22:11 AAS
>>164
converter、diverter などもありますね

166(1): 2011/10/15(土)23:12 AAS
内部で非ボックス化タプルを使ってる hs ファイルは
ghci ではロードできないのでしょうか

ghc コマンドでは普通にコンパイルできたのですが、
ghci の :l でロードしようとすると、次のようにメッセージが出ます

Error: bytecode compiler can't handle unboxed tuples.
Possibly due to foreign import/export decls in source.
Workaround: use -fobject-code, or compile this module to .o separately.

これは、ghci でロードしたかったら、hs ファイルではなく
オブジェクトファイルにコンパイルしとけ、という意味でしょうか

ghci でロードできないのでしたら、一つのソースコードで、
ghc でのコンパイルの場合は非ボックス化タプルを使って、
ghci でロードする場合は普通のタプルに自動的に切り替える
というようなことはできないでしょうか

167(1): 2011/10/16(日)10:45 AAS
>>125
ハスケルたんは悪くない(ｷﾘｯ
勉強不足の初心者が悪い！

ですか？

168(1): 2011/10/16(日)11:56 AAS
>>166
そういうこと。あるいはghciに-fobject-codeを渡すのでもいい

>というようなことはできないでしょうか
少なくとも今はできない

169: 2011/10/16(日)12:07 AAS
>>167
丁寧に答えてくれた人に何しょうもない事言ってんねん。どっかいけ
答えてもらって助かったからそれでええんじゃ。

170: 2011/10/16(日)12:20 AAS
初心者はハスケルたんを汚す悪いやつ！

171(2): 2011/10/16(日)12:26 AAS
敷居が高いおかげでドカタが流入してこないから
Haskell界は住みやすくpurityが保たれている
ありがとう>125

172: 2011/10/16(日)12:35 AAS
>>171
でも、スレには何も知らずに荒らす連中が来るようになってる。
日本語版stackoverflowでもあったほうがいいんだろうかね。

173(1): 2011/10/16(日)12:59 AAS
日本語版か...おぞましいことになりそうな悪寒

忍法帳を発展さてくれればいいんだけど嫌がるひとも多いか
あとプログラム板でもID表示とか

174: 2011/10/16(日)13:06 AAS
>>171
こうしてHaskell界では
モナドモナドモナドモナカモナコ....だけでスレが消費され続けるのですた
メデタシメデタシ

175: 2011/10/16(日)13:44 AAS
くっぷぷぅ

176: 2011/10/16(日)14:15 AAS
>>168
> あるいはghciに-fobject-codeを渡すのでもいい

なるほど、ロードする度にオブジェクトコードを生成するよう指示すれば
ghc の様にコンパイルされるので非ボックス化タプルが使えるのですね

で、欠点はコンパイルに時間を要するかも知れないことと、
ghci のデバッガからは見えないことですね

> 少なくとも今はできない

わかりました
デバッガは今までも特に活用したことないので、
-fobject-code オプションでの対処で凌ぐことにします

177: 2011/10/16(日)14:27 AAS
>>173
おぞましくさせない工夫が必要なほど幼稚な日本語をしゃべる人
（日本人とは限らない。）が多いのは事実だ。アノニマスには
開放できない罠。一番いいのは英語を使えることというのは否定でけん。

178: 2011/10/16(日)14:35 AAS
外部ﾘﾝｸ:stackoverflow.com
stackoverflowのhaskellタグ。

179(2): 2011/10/17(月)22:52 AAS
haskellって、コンパイルしたらJavaバイトコードのような
中間言語を吐き出すのでしょうか？
それとも機械後を吐き出してくれるのでしょうか？

180: 2011/10/17(月)23:01 AAS
>>179
それは言語の仕様ではないので厳密には実装によるが、デファクトスタンダードのGHCは基本的にネイティブコードを吐く。

181: 2011/10/18(火)00:53 AAS
外部ﾘﾝｸ:www.haskell.org では、
> GHC compiles Haskell code either directly to native code or using LLVM as a back-end. GHC can also
> generate C code as an intermediate target for porting to new platforms. The interactive
> environment compiles Haskell to bytecode, and supports execution of mixed bytecode/compiled programs.
という紹介になってた。

182: 179 2011/10/18(火)13:32 AAS
ありがとうございます。

183(1): 2011/10/20(木)11:39 AAS
質問なのですが、windows上でGHCでコンパイルして、出来上がったhello.exeファイルをダブルクリックで実行するには、どうすればよいですか？
コマンドプロンプトから、ファイル名を入力したら、実行はできます。

184(1): 2011/10/20(木)12:31 AAS
>>183
たぶん、実行はされているけど、すぐにプログラムが終了してコンソールが閉じているだけだと思う

main = let loop = loop in putStr "Hello World!!\n" >> loop

でコンパイルしてダブルクリックしてみ

185: 2011/10/20(木)13:20 AAS
>>184
ありがとうございます！
その通りでした！

186(10): 2011/10/20(木)22:49 AAS
FizzBuzzを剰余使って書くのはすぐ思いつくけど、以下のは新鮮だった。
どうやったらこんな発想が出来る様になるんだろ。

fizz = cycle ["","","Fizz"]
buzz = cycle ["","","","","Buzz"]

f s n
| s == "" = show n
| otherwise = s

main = print $ zipWith f (zipWith (++) fizz buzz) [1..100]

187(2): 2011/10/20(木)23:11 AAS
>>186
オレ、そのアルゴリズム自力で思いついたけど、そんなに不思議かな。
たしか、3を法とする商群と5を法とする商群をなんとかすれば・・・　みたいなことを考えていて、思いついた

188(1): 186 2011/10/20(木)23:29 AAS
>>187
C、java、rubyと来たのでmapは理解していたけど、手続き型言語には無い発想だと思う。
ついでに言うと、今なら手続き型言語ユーザーが何故、関数型言語を誤解するのか判る気がする。
「関数」「型」「評価」など、同じ字面でも関数型言語とは違う意味で説明される物が多い。

上下前次 1-新書関写板覧索設栞歴

あと 790 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.020s