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

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

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

155: デフォルトの名無しさん [sage] 2011/10/15(土) 18:27:44.90 AAS
セルが半シフトしたリニア・セルラー・オートマトンだよな。

156(1): デフォルトの名無しさん [sage] 2011/10/15(土) 18:33:46.42 AAS
mapだと単なる写像とか関手って意味しかなくて、そんなものは型みりゃ一目瞭然でそんなのを型と名前で二回も使ってると
頭痛が痛いみたいな違和感が出てきてちょっとDRY的によろしくない感じ
zipだともうちょっと意味が狭くなって [a] `f` [b] -> [a `f` b]的なリストとfの分配法則みたいな意味が出てくるけど
これも型みりゃだいたい入ってる、こちらは入れてもいい気もするけど
だから隣り合ったを示す言葉とか二つ目を一個ずらすみたいな命名ができると余すところ無く名前と型両方に無駄なく意味をこめることができていいかなぁ
とか思った

157(1): デフォルトの名無しさん [sage] 2011/10/15(土) 19:01:54.05 AAS
Aは haskellerならappricativeを想像するんじゃないかな。

158: デフォルトの名無しさん [sage] 2011/10/15(土) 19:04:04.21 AAS
perlninja2
メンバ
登録日: 2011-09-30
投稿: 10
E-mail

いまCD-R 700MBとガリガリ君ソーダ味かってきました

Ubuntu入れなおしたほうが早いと思いました

回答ありがとうございました

159: デフォルトの名無しさん [sage] 2011/10/15(土) 19:05:30.71 AAS
perlninja2
メンバ
登録日: 2011-09-30
投稿: 10
E-mail

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

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

160: デフォルトの名無しさん [sage] 2011/10/15(土) 19:14:16.51 AAS
Perl忍者はHaskellができません。
ですが、ここのスレに来てはいけないというルールはありません。

161: デフォルトの名無しさん [sage] 2011/10/15(土) 19:17:23.16 AAS
>>157
では、mapAdj や mapN (N = Neighborhood) で

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

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

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

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

162: デフォルトの名無しさん [sage] 2011/10/15(土) 19:18:30.54 AAS
掟

163: デフォルトの名無しさん [sage] 2011/10/15(土) 20:12:34.89 AAS
セルラーオートマトンの文脈では、fがevolverでgがtransducer

164(1): デフォルトの名無しさん [sage] 2011/10/15(土) 21:42:48.20 AAS
変換って、いろいろな言葉があるよね。

translator
tramsformer
transducer

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

165: デフォルトの名無しさん [sage] 2011/10/15(土) 22:11:44.66 AAS
>>164
converter、diverter などもありますね

166(1): デフォルトの名無しさん [sage] 2011/10/15(土) 23:12:07.79 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): デフォルトの名無しさん [sage] 2011/10/16(日) 10:45:43.20 AAS
>>125

125(3): デフォルトの名無しさん [sage] 2011/10/14(金) 21:58:31.29 AAS
IOモナドの典型的な使い方を理解していないのが原因
使い方を勉強すればいい

型エラーは、間違いを教えてくれただけ
はまっていいたのは、型エラーじゃなくて、IOモナドを使ったプログラミング
型エラーの泥沼に溺れたという認識を深化させて、IOモナドの泥沼に溺れたと考え直すのが最初の一歩

ハスケルたんは悪くない(ｷﾘｯ
勉強不足の初心者が悪い！

ですか？

168(1): デフォルトの名無しさん [sage] 2011/10/16(日) 11:56:15.70 AAS
>>166
そういうこと。あるいはghciに-fobject-codeを渡すのでもいい

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

169: デフォルトの名無しさん [sage] 2011/10/16(日) 12:07:28.59 AAS
>>167
丁寧に答えてくれた人に何しょうもない事言ってんねん。どっかいけ
答えてもらって助かったからそれでええんじゃ。

170: デフォルトの名無しさん [sage] 2011/10/16(日) 12:20:19.09 AAS
初心者はハスケルたんを汚す悪いやつ！

171(2): デフォルトの名無しさん [sage] 2011/10/16(日) 12:26:32.54 AAS
敷居が高いおかげでドカタが流入してこないから
Haskell界は住みやすくpurityが保たれている
ありがとう>125

172: デフォルトの名無しさん [sage] 2011/10/16(日) 12:35:10.32 AAS
>>171
でも、スレには何も知らずに荒らす連中が来るようになってる。
日本語版stackoverflowでもあったほうがいいんだろうかね。

173(1): デフォルトの名無しさん [sage] 2011/10/16(日) 12:59:22.17 AAS
日本語版か...おぞましいことになりそうな悪寒

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

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

175: デフォルトの名無しさん [sage] 2011/10/16(日) 13:44:32.75 AAS
くっぷぷぅ

176: デフォルトの名無しさん [sage] 2011/10/16(日) 14:15:40.79 AAS
>>168
> あるいはghciに-fobject-codeを渡すのでもいい

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

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

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

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

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

178: デフォルトの名無しさん [sage] 2011/10/16(日) 14:35:19.94 AAS
外部ﾘﾝｸ:stackoverflow.com
stackoverflowのhaskellタグ。

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

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

あと 799 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.016s