[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part16 (978ﾚｽ)
関数型プログラミング言語Haskell Part16 http://echo.5ch.net/test/read.cgi/tech/1317958045/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
927: デフォルトの名無しさん [sage] 2012/01/01(日) 22:30:27.00 和田英一って適当なこと言うんだな 「関数型を手放した」というのは意味不明だし、 モナドとIOを区別してないのは(言いたいことは分からんでもないが)雑な議論 http://echo.5ch.net/test/read.cgi/tech/1317958045/927
928: デフォルトの名無しさん [sage] 2012/01/01(日) 22:36:12.24 和田サンは鞍とキーボードを同一視するくらいの人だからな モナドとIOなんて同じようなもんなのだろう 達観してる http://echo.5ch.net/test/read.cgi/tech/1317958045/928
929: デフォルトの名無しさん [] 2012/01/01(日) 22:39:50.46 うーん。そうとも限らないよ。 やみくもに理解･学習しようとするだけでなく、理解･学習に値する事か どうかも時々気にしておいた方がいいよ。 http://echo.5ch.net/test/read.cgi/tech/1317958045/929
930: デフォルトの名無しさん [sage] 2012/01/01(日) 22:40:05.36 ああ、HHKの人か キーボードは良いけど発言はいただけないな http://echo.5ch.net/test/read.cgi/tech/1317958045/930
931: デフォルトの名無しさん [sage] 2012/01/01(日) 22:45:22.74 >>925 お前、自分の考えは言わないのな http://echo.5ch.net/test/read.cgi/tech/1317958045/931
932: デフォルトの名無しさん [] 2012/01/01(日) 22:49:34.63 追従する学習者たちは細かい区別を気にする。創造的達人は大きく同一視 できる。いずれ時がたつと後者に収斂する。 http://echo.5ch.net/test/read.cgi/tech/1317958045/932
933: デフォルトの名無しさん [] 2012/01/01(日) 22:55:26.90 >>927 あなたはモナドを発明した人かそれとも学習しつつある人か http://echo.5ch.net/test/read.cgi/tech/1317958045/933
934: デフォルトの名無しさん [sage] 2012/01/01(日) 22:56:07.14 じっじゃんだからなぁ。もう８０超えてるんだぜ http://echo.5ch.net/test/read.cgi/tech/1317958045/934
935: デフォルトの名無しさん [] 2012/01/01(日) 23:00:33.34 年は関係ない。 若い凡百のHaskellプログラマーの見解を聞くより、ずっと傾聴に 値する。 http://echo.5ch.net/test/read.cgi/tech/1317958045/935
936: デフォルトの名無しさん [sage] 2012/01/01(日) 23:01:16.44 >>933 モナドを発明した人ではないよ 学習しつつあるとは言えなくもない。別に積極的には学習してないが http://echo.5ch.net/test/read.cgi/tech/1317958045/936
937: デフォルトの名無しさん [sage] 2012/01/01(日) 23:16:32.98 >>933 微分積分などの計算方法と違って、 モナドって発明というよりは発見なんじゃないか？ 誰かは忘れたが、圏論の中でモナドの構造を見抜いた 違うか、ある共通の構造を見抜いて、それにモナドと名前を付けた まぁその応用は発明に近いかも知れんが Moggi氏が、言語の表示的意味論の構造を要素分解するのに、 そのモナドという眼鏡（見方・枠組み）が使えることを見いだした で、Wadler氏が、表示的意味論に使えるのなら、 ある意味それに近い関数型言語にも利用できると
閃いた http://echo.5ch.net/test/read.cgi/tech/1317958045/937
938: デフォルトの名無しさん [sage] 2012/01/02(月) 00:49:38.34 上の方にpdfのリンクあったろ 発作起こしてないで読め>>925 http://echo.5ch.net/test/read.cgi/tech/1317958045/938
939: デフォルトの名無しさん [sage] 2012/01/02(月) 02:01:59.64 FFI 関連について質問です C言語で構造体と、それを引数として受ける関数などを作りました（*.h、*.c） *.hsc ファイル内でそのヘッダファイルを include し、 C言語で定義したのと同じ構造のデータ型を定義しました そして、Storable 型のインスタンス宣言の中で、 #size や #alignment マクロを使って Storable.sizeOf や Storable.alignment を定義しました （#alignment マクロは下記のサイトのものをそのまま使いました http://stackoverflow.com/questions/8350706/how-do-i
-find-the-alignment-value-when-defining-a-storable-instance 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++ のコンパイラなどとその辺りの仕様が同じ場合もあるでしょうが） http://echo.5ch.net/test/read.cgi/tech/1317958045/939
940: デフォルトの名無しさん [sage] 2012/01/02(月) 04:39:12.66 理論を否定する連中は自分の能力を過信してるようだが そいつらも現場で役立たずであることには変わりない http://echo.5ch.net/test/read.cgi/tech/1317958045/940
941: デフォルトの名無しさん [sage] 2012/01/02(月) 04:47:38.34 誰か声のでかい人や、口当たりの良い事をいう人に付いていくだけで 本当に良いのかどうか、今から考えた方が将来の為になると思われ。 http://echo.5ch.net/test/read.cgi/tech/1317958045/941
942: デフォルトの名無しさん [sage] 2012/01/02(月) 04:55:48.51 そこにハスケルがある ただそれを楽しむだけ ただ、それだけなのさ http://echo.5ch.net/test/read.cgi/tech/1317958045/942
943: デフォルトの名無しさん [] 2012/01/02(月) 08:20:03.67 だけど関数型と副作用の問題って本当に解けるものなのか？ 解けるときはどういう形で解けるんだ？ モナドはどこまでそれを解いたんだ？ http://echo.5ch.net/test/read.cgi/tech/1317958045/943
944: デフォルトの名無しさん [sage] 2012/01/02(月) 08:36:01.55 まず現状何が問題なのか定義してくれよ そっからだろ http://echo.5ch.net/test/read.cgi/tech/1317958045/944
945: デフォルトの名無しさん [sage] 2012/01/02(月) 08:54:08.83 >>943 ListとIOとMaybeは大体同じだということがモナドによって示された つまりListが問題ないなら副作用も問題ないしnullポインタも問題ないと思われる http://echo.5ch.net/test/read.cgi/tech/1317958045/945
946: デフォルトの名無しさん [sage] 2012/01/02(月) 09:33:13.90 同じだということを否定する連中は自分の能力を過信する http://echo.5ch.net/test/read.cgi/tech/1317958045/946
947: デフォルトの名無しさん [sage] 2012/01/02(月) 10:49:17.93 >>939 構造体のレイアウトは、コンパイラが違えば異なる可能性があるし 同じコンパイラでも、コンパイルオプションによっても変わる可能性がある 構造体のサイズやレイアウトに依存したコードは、比較的大きな危険をおかしている、と思っている 実際に問題が起ることは少ないと思うけど http://echo.5ch.net/test/read.cgi/tech/1317958045/947
948: デフォルトの名無しさん [sage] 2012/01/02(月) 11:36:03.29 関数型マトモに勉強してたら和田先生をdisるなんて考えられん。 どう考えてもモグリだわｗ http://echo.5ch.net/test/read.cgi/tech/1317958045/948
949: デフォルトの名無しさん [sage] 2012/01/02(月) 11:37:17.46 >>945 それ、MonadどころかLISPのS式の時点で示されてるじゃんｗ http://echo.5ch.net/test/read.cgi/tech/1317958045/949
950: デフォルトの名無しさん [sage] 2012/01/02(月) 11:54:20.89 >>948 京都の先生にSICPの訳をdisられた疑惑が浮上して以来2chでの権威はストップ安です http://echo.5ch.net/test/read.cgi/tech/1317958045/950
951: デフォルトの名無しさん [sage] 2012/01/02(月) 12:19:02.82 >>950 disられたってどういうこと？ http://echo.5ch.net/test/read.cgi/tech/1317958045/951
952: デフォルトの名無しさん [sage] 2012/01/02(月) 12:26:28.49 モナドは中身はともかく、どう書けるかって話だと確かに関数型捨ててるでしょ。 特にdoを使って書いてると手続き型とほとんど変わらんし、似たようなスパゲティ化もしやすいし。 http://echo.5ch.net/test/read.cgi/tech/1317958045/952
953: デフォルトの名無しさん [sage] 2012/01/02(月) 12:30:08.48 >>948 和田（笑） http://echo.5ch.net/test/read.cgi/tech/1317958045/953
954: デフォルトの名無しさん [sage] 2012/01/02(月) 12:54:56.37 >>951 http://togetter.com/li/215803 ここにまとめられてる湯浅先生の発言を、 キチガイが拡大解釈して必死に広めてるだけ。 キチガイ死ねよ。 http://echo.5ch.net/test/read.cgi/tech/1317958045/954
955: デフォルトの名無しさん [sage] 2012/01/02(月) 13:02:10.78 >>948 こういう人は具体的に何故モグリなのか全然説明してくれないから説得力が全くない 権威主義の人って大体そんな感じ http://echo.5ch.net/test/read.cgi/tech/1317958045/955
956: デフォルトの名無しさん [sage] 2012/01/02(月) 13:29:14.03 >>954 なんで自分で噂に根拠与えちゃってるの？ そのままほっとけば単なる噂ですんだのに。 http://echo.5ch.net/test/read.cgi/tech/1317958045/956
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 22 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.010s