[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
918(2): 2011/12/31(土)11:48 AAS
wxHaskellは知らないけど
wx的にはwxDC::setBackgroundMode()で挙動が変化したような?
919: 2011/12/31(土)13:36 AAS
>>918
ありがと
ただ、残念なことに、今の wxHaskell では
DC の BackgroundMode を設定できないみたいだ
それらしい関数やプロパティが見当たらない
920(2): 2011/12/31(土)16:32 AAS
これじゃね
外部ﾘﾝｸ[html]:hackage.haskell.org
921: 2011/12/31(土)18:43 AAS
>>920
あ、なるほど dcSetBackgroundMode か
頭文字 s とか b で探してた
（部分一致とかで検索できないと不便だなぁ）
ありがと
922: 2011/12/31(土)19:26 AAS
>>918,920
dcSetBackgroundMode 関数に 100（wxSOLID）を設定してみたところ、
文字の背景に色が付きました
しかし、これだけでは背景の色は真っ白でした
そこで、次の様にしてみたところ、意図通りの結果
背景が黒で文字が赤色になりました
withBrushStyle (brushSolid black) $ \b -> do
dcSetBackground dc b
dcSetBackgroundMode dc 100
dcSetTextForeground dc red
dcSetTextBackground dc black
drawText dc "abc" (Point 0 0) []
どうも、drawText 関数とか set 関数で設定する textColor や textBgcolor は
正しく反映されないみたいです
（textBgcolor が文字の色になり、textColor が反映されない？）
おかげさまで目的は達成できました、ありがとうございました
時間がとれたらバグ報告してみようと思います（英文作るのにかなり時間がかかるんで）
923: 2011/12/31(土)23:24 AAS
よいHaskellを！
来Haskellは更に良いHaskellになるよう祈ってます。
924: 2012/01/01(日)00:00 AAS
おめでとう
925(2): 2012/01/01(日)21:54 AAS
なんだよ。789、790あたりを見てから、やっぱりモナドは注目すべきなんだろう
と思ってちょっと調べていたんだが、もうとっくの前に情報処理上で和田英一
さんが喝破しているじゃないか。やっぱりモナドなんて騒ぐほどのものじゃねえよ！
｢関数プログラミングの泣き所は入出力を含む副作用である。．．．Haskellは
シリアルに計算を進めるメカニズムのmonadを考案し、これを解決したと言っ
ているが、関数型を一部手放したと言うべきであろう。Lispにも最初からprog
があった。｣
926: 2012/01/01(日)22:18 AAS
理解が追いつかないことでの話のすり替えだね
927(1): 2012/01/01(日)22:30 AAS
和田英一って適当なこと言うんだな
「関数型を手放した」というのは意味不明だし、
モナドとIOを区別してないのは(言いたいことは分からんでもないが)雑な議論
928: 2012/01/01(日)22:36 AAS
和田サンは鞍とキーボードを同一視するくらいの人だからな
モナドとIOなんて同じようなもんなのだろう
達観してる
929: 2012/01/01(日)22:39 AAS
うーん。そうとも限らないよ。
やみくもに理解･学習しようとするだけでなく、理解･学習に値する事か
どうかも時々気にしておいた方がいいよ。
930: 2012/01/01(日)22:40 AAS
ああ、HHKの人か
キーボードは良いけど発言はいただけないな
931: 2012/01/01(日)22:45 AAS
>>925
お前、自分の考えは言わないのな
932: 2012/01/01(日)22:49 AAS
追従する学習者たちは細かい区別を気にする。創造的達人は大きく同一視
できる。いずれ時がたつと後者に収斂する。
933(2): 2012/01/01(日)22:55 AAS
>>927
あなたはモナドを発明した人かそれとも学習しつつある人か
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
構造体のレイアウトは、コンパイラが違えば異なる可能性があるし
同じコンパイラでも、コンパイルオプションによっても変わる可能性がある
構造体のサイズやレイアウトに依存したコードは、比較的大きな危険をおかしている、と思っている
実際に問題が起ることは少ないと思うけど
上下前次1-新書関写板覧索設栞歴
あと 31 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.012s