[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
934: 2012/01/01(日)22:56 AAS
じっじゃんだからなぁ。もう８０超えてるんだぜ
935: 2012/01/01(日)23:00 AAS
年は関係ない。
若い凡百のHaskellプログラマーの見解を聞くより、ずっと傾聴に
値する。
936: 2012/01/01(日)23:01 AAS
>>933
モナドを発明した人ではないよ
学習しつつあるとは言えなくもない。別に積極的には学習してないが
937: 2012/01/01(日)23:16 AAS
>>933
微分積分などの計算方法と違って、
モナドって発明というよりは発見なんじゃないか？
誰かは忘れたが、圏論の中でモナドの構造を見抜いた
違うか、ある共通の構造を見抜いて、それにモナドと名前を付けた
まぁその応用は発明に近いかも知れんが
Moggi氏が、言語の表示的意味論の構造を要素分解するのに、
そのモナドという眼鏡（見方・枠組み）が使えることを見いだした
で、Wadler氏が、表示的意味論に使えるのなら、
ある意味それに近い関数型言語にも利用できると閃いた
938: 2012/01/02(月)00:49 AAS
上の方にpdfのリンクあったろ
発作起こしてないで読め>>925
939(1): 2012/01/02(月)02:01 AAS
FFI 関連について質問です
C言語で構造体と、それを引数として受ける関数などを作りました（*.h、*.c）
*.hsc ファイル内でそのヘッダファイルを include し、
C言語で定義したのと同じ構造のデータ型を定義しました
そして、Storable 型のインスタンス宣言の中で、
#size や #alignment マクロを使って
Storable.sizeOf や Storable.alignment を定義しました
（#alignment マクロは下記のサイトのものをそのまま使いました
外部ﾘﾝｸ:stackoverflow.com
ghc 7.2.2 ですけど、まだ組み込みマクロではないようですね）
そのあと、ghc2hs コマンドで *.hsc から *.hs を生成し、
また *.c をコンパイルして *.o を生成し、
それらを一緒に ghc でビルドしようと思います
（まぁ実際は、*.c のまま ghc に一緒に放り込んでも良いわけですが）
そこで質問なのですが、この場合、
*.c は ghc 付属の gcc、あるいは別に用意した同Var.の gcc でコンパイルしないと、
構造体のメモリマップが ghc2hs の解釈と（理論上は）合わないと思うのですが、
この認識は間違ってないでしょうか
正確に言えば、ghc の -pgmc オプションで指定したC言語コンパイラ、
hsc2hs の --cc オプションで指定したC言語コンパイラ、
そして *.c をコンパイルしたC言語コンパイラ、
この3つのコンパイラが同じ物でないと危険なのではないでしょうか
（たまたま、VC++ のコンパイラなどとその辺りの仕様が同じ場合もあるでしょうが）
940: 2012/01/02(月)04:39 AAS
理論を否定する連中は自分の能力を過信してるようだが
そいつらも現場で役立たずであることには変わりない
941: 2012/01/02(月)04:47 AAS
誰か声のでかい人や、口当たりの良い事をいう人に付いていくだけで
本当に良いのかどうか、今から考えた方が将来の為になると思われ。
942: 2012/01/02(月)04:55 AAS
そこにハスケルがある
ただそれを楽しむだけ
ただ、それだけなのさ
943(1): 2012/01/02(月)08:20 AAS
だけど関数型と副作用の問題って本当に解けるものなのか？
解けるときはどういう形で解けるんだ？
モナドはどこまでそれを解いたんだ？
944: 2012/01/02(月)08:36 AAS
まず現状何が問題なのか定義してくれよ
そっからだろ
945(2): 2012/01/02(月)08:54 AAS
>>943
ListとIOとMaybeは大体同じだということがモナドによって示された
つまりListが問題ないなら副作用も問題ないしnullポインタも問題ないと思われる
946: 2012/01/02(月)09:33 AAS
同じだということを否定する連中は自分の能力を過信する
947: 2012/01/02(月)10:49 AAS
>>939
構造体のレイアウトは、コンパイラが違えば異なる可能性があるし
同じコンパイラでも、コンパイルオプションによっても変わる可能性がある
構造体のサイズやレイアウトに依存したコードは、比較的大きな危険をおかしている、と思っている
実際に問題が起ることは少ないと思うけど
948(3): 2012/01/02(月)11:36 AAS
関数型マトモに勉強してたら和田先生をdisるなんて考えられん。
どう考えてもモグリだわｗ
949: 2012/01/02(月)11:37 AAS
>>945
それ、MonadどころかLISPのS式の時点で示されてるじゃんｗ
950(1): 2012/01/02(月)11:54 AAS
>>948
京都の先生にSICPの訳をdisられた疑惑が浮上して以来2chでの権威はストップ安です
951(1): 2012/01/02(月)12:19 AAS
>>950
disられたってどういうこと？
952(1): 2012/01/02(月)12:26 AAS
モナドは中身はともかく、どう書けるかって話だと確かに関数型捨ててるでしょ。
特にdoを使って書いてると手続き型とほとんど変わらんし、似たようなスパゲティ化もしやすいし。
953(1): 2012/01/02(月)12:30 AAS
>>948
和田（笑）
954(1): 2012/01/02(月)12:54 AAS
>>951
外部ﾘﾝｸ:togetter.com
ここにまとめられてる湯浅先生の発言を、
キチガイが拡大解釈して必死に広めてるだけ。
キチガイ死ねよ。
955: 2012/01/02(月)13:02 AAS
>>948
こういう人は具体的に何故モグリなのか全然説明してくれないから説得力が全くない
権威主義の人って大体そんな感じ
956(1): 2012/01/02(月)13:29 AAS
>>954
なんで自分で噂に根拠与えちゃってるの？
そのままほっとけば単なる噂ですんだのに。
957: 2012/01/02(月)13:43 AAS
クロージャーとかジェネレーターの辺りで完結するべきだった。
最近の関数型はだらだら引き伸ばしているだけ。
958: 2012/01/02(月)13:44 AAS
>>956
根拠のない噂を広める罪がわからないゴミカスのようなキチガイは死ねよ。
959(2): 2012/01/02(月)14:06 AAS
>>952
つまり、プログラマが式をどう考えるかや、コンパイラが式をどう扱うかではなく、
式をどう書くかによって関数型かそうでないかを判断しているのか、お前は
じゃあ、お前の言う関数型を捨てた書き方である
do {x <- getLine; putStr $ "> " ++ x}
これを
getLine >>= putStr . ("> " ++)
こう書いたら、関数型に戻るのか？
あともう一つ、本当にdo表記で似たようなスパゲティ化が起きやすいのか？
お前はdo表記で頻繁にスパゲティ化してしまっているのか？
スパゲティ化という事は、実行順序、Haskellなら計算順序が複雑に絡まるんだよな
それはdo表記だから絡まるのか？ むしろdo表記の方が絡みにくくないか？
960(1): 2012/01/02(月)14:14 AAS
>>959
前者に関しては、俺の感覚ではイエス。
後者に関しては俺の書き方が悪かった。
手続き的なコードが縦にダラダラ長くなるとぐちゃぐちゃに見えてキモいってだけなんだ。
961: 2012/01/02(月)14:27 AAS
好き嫌いだけで一歩も進んでないのな
962(2): 2012/01/02(月)14:33 AAS
>>945
どんなもの達をもってきても、それらが｢大体同じである｣と見る視点はいくら
でも作れるわけだが、ListとIOとMaybeは大体同じだというモナドの視点はそんな
ナンセンスな視点ではないのだね？
963(1): 2012/01/02(月)15:05 AAS
>>962
> そんなナンセンスな視点ではないのだね？
「そんな」がどんなのを指しているのか曖昧だな
もっとはっきりと言ってくれ
大体同じであるという視点はどのような集合に対しても適用できるけど、
「どう同じなのかが論理的に説明できる」ことと、
その視点が応用する上で「役に立つ」こと、
この2点が無いとせっかくの発見も後の時代まで残らない
モナドはとりあえず今のところ残ってる
上下前次1-新書関写板覧索設栞歴
あと 15 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.011s