[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
150: デフォルトの名無しさん [sage] 2011/10/15(土) 18:00:48.60 AAS
ありがとうございます
みなさんの意見を参考に、mapA に決定しました (A = Adjacent)
151: デフォルトの名無しさん [sage] 2011/10/15(土) 18:01:59.00 AAS
まっぱ!
152(1): デフォルトの名無しさん [sage] 2011/10/15(土) 18:05:14.33 AAS
ところで、なんで皆さん、これに zip の単語を付けようとなさったのでしょう？
私は、[a] を [a] に変換するから map を名前に付けようと思いました
（当然、要素数は１つ減りますが）
153(1): デフォルトの名無しさん [sage] 2011/10/15(土) 18:06:20.12 AAS
>>152
あ、すいません
[a] を [b] に変換です
154: デフォルトの名無しさん [sage] 2011/10/15(土) 18:22:17.68 AAS
>>153
>>146146(1): デフォルトの名無しさん [sage] 2011/10/15(土) 14:50:11.50 AAS
>>145
f k l = zipWith k l (tail l)
なので zipTailWith とでも名づけるかな
に乗っかっただけ
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
>>125125(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界では
モナドモナドモナドモナカモナコ....だけでスレが消費され続けるのですた
メデタシメデタシ
上下前次1-新書関写板覧索設栞歴
あと 804 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s