[過去ログ] 関数型プログラミング言語Haskell Part16 (978レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
16: デフォルトの名無しさん [sage] 2011/10/08(土) 07:52:31.64 AAS

こうか
185: デフォルトの名無しさん [sage] 2011/10/20(木) 13:20:15.64 AAS
>>184
184(1): デフォルトの名無しさん [sage] 2011/10/20(木) 12:31:00.43 AAS
>>183
たぶん、実行はされているけど、すぐにプログラムが終了してコンソールが閉じているだけだと思う

main = let loop = loop in putStr "Hello World!!\n" >> loop

でコンパイルしてダブルクリックしてみ
ありがとうございます!
その通りでした!
310
(1): デフォルトの名無しさん [sage] 2011/10/28(金) 19:10:16.64 AAS
>>309
309(1): デフォルトの名無しさん [sage] 2011/10/28(金) 18:25:33.57 AAS
ようやく少しモナドの感覚がつかめた。あれって世界を分けてて、その世界の中
で作業をしていくための工夫という感じだな。ってね。安全な作業をするには必
要なんだってのもようやくわかった。

同時に感覚的なイメージでモナドを上手に例えて伝えるようなものがあまりない
のかもとも思ったかな。水中で普通のデジカメで撮影をするには防水ケースの中
に入れて使うけど、あの防水ケースっぽい働きなんだなってね。そんなアナロジー
を想像してしまったかな。
> 同時に感覚的なイメージでモナドを上手に例えて伝えるようなものがあまりない
> のかもとも思ったかな。

確かにね

hage :: [Int]
hage = do
x <- [1..5]
when (x == 3) (fail "discard")
return x

こういうのだと、どの世界とどの世界に分けてるのか曖昧だし
明確に分けられたとしても、その世界に何かを閉じ込めているのとも違う気がする
348: デフォルトの名無しさん [sage] 2011/11/02(水) 07:10:35.64 AAS
ICUへのバインディングがあったような
417: デフォルトの名無しさん [sage] 2011/11/08(火) 20:05:54.64 AAS
Yampa を色々弄ってるんですけど、意味がよく分からない関数が多いです

とりあえずゲームを作ってみたいので、[The Yampa Arcade] とか
[The University of New South Wales School of Computer Science and Engineering]
なんかの論文や Haskell Wiki を読んだりして試してます

ただ、も少しまとまった情報はないものでしょうか
簡単なものでいいので関数を解説した一覧表なんかあると良いのですが
449
(1): デフォルトの名無しさん [sage] 2011/11/10(木) 21:08:18.64 AAS
>>448
448(1): デフォルトの名無しさん [sage] 2011/11/10(木) 20:31:23.29 AAS
>>447
こうすりゃいいじゃん

(^(2::Int))
それ>>442
442(3): デフォルトの名無しさん [sage] 2011/11/10(木) 17:40:52.38 AAS
先に型を書くというのはそういうのを防ぐためにも役に立つのかな
の話と関係なくね?
510: デフォルトの名無しさん [sage] 2011/11/12(土) 23:01:33.64 AAS
>>508
508(2): デフォルトの名無しさん [sage] 2011/11/12(土) 22:08:46.75 AAS
僕ハスケルでOOPしたいです先生
どういうのをOOPと言ってるの?
何がどうできたらOOPと言っていいの?
579: デフォルトの名無しさん [sage] 2011/11/18(金) 11:04:47.64 AAS
>>577
577(4): デフォルトの名無しさん [] 2011/11/18(金) 10:27:44.65 AAS
>>574
ねえ?なんでHaskellやるの?!!!?!?!?!
int a(x)
{
return x-1;
}
ねえ?!!?!!?!?!?これでできるじゃん
あほかよ
何でHaskell使ってそんなくだらない低レベルなことやってるの?
早く死ね中途半端
天才Haskell研究者でもないゴミ お前はただのヘラクレス本あがめてるニワカ
社内でHaskell Haskell!とかほざいて共感意識あげてる 底辺の馴れ合い
国論やってろよゴミ
お前がやってることはただの低レベルな意味がないこと
ただHaskellを触って 「本物のプログラマはHaskellを使う」という記事に自分を当てはめて優越感
にひたってるごみ?!?!?!?!?!
あなたの発言は傾聴に値する.是非これからは鳥あるいはコテハンをつけて発言して欲しい.
824
(1): デフォルトの名無しさん [sage] 2011/12/24(土) 00:21:37.64 AAS
つまらない物だということにして安心したいんだよ
そうすれば理解する努力しなくていいから
849
(3): デフォルトの名無しさん [sage] 2011/12/25(日) 19:12:41.64 AAS
>>847
847(2): [―{}@{}@{}-] デフォルトの名無しさん [sage] 2011/12/25(日) 19:10:26.88 AAS
>>844
>IOモナドはモナドのひとつじゃないん?
そうだよ
>その「純粋さを保ったまま入出力をする仕組み」がモナドなんやろ?
IOモナドがその仕組み。それ以外のモナドは全然別のことをする(構文解析とか)
>純粋さって関数型のってこと?もしそうなら、どの程度保てるものなの?
副作用のある関数を一切使わずに入出力のあるプログラムが書ける
> 副作用のある関数を一切使わずに

ダウト。Haskell上の値としては副作用はないが、
裏でランタイムがちゃんと副作用を起こしている。
859: デフォルトの名無しさん [] 2011/12/25(日) 19:32:00.64 AAS
>>850
850(1): デフォルトの名無しさん [sage] 2011/12/25(日) 19:16:51.65 AAS
>>846
モナドは副作用を保証してくれないから、
モナドだけではI/Oは不可能。
副作用をうまく取り扱うための枠組みを、
モナドは提供できているというだけの関係。
>副作用をうまく取り扱うための枠組みを、モナドは提供できている
どこで、なんで、それができてるんや?ちゅうのが知りたいんやな
939
(1): デフォルトの名無しさん [sage] 2012/01/02(月) 02:01:59.64 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++ のコンパイラなどとその辺りの仕様が同じ場合もあるでしょうが)
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.040s