関数型プログラミング言語Haskell Part3

関数型プログラミング言語Haskell Part3 at TECH

264:デフォルトの名無しさん
04/10/16 21:33:21
>>263
>　MLのように表示意味論（操作意味論でもいいけど）でformalに定義

IOはどうなんだろ？
URLﾘﾝｸ(citeseer.ist.psu.edu)
#　個人的にはHaskellのコミュニティはそういう文化じゃないと思ってる。
#　formalなsemanticsがどうとかで論文書くんじゃなくて、
#　新しい便利なアイディアをどんどん導入して実際に使う。
#　informalなsemanticsだけど気にしない、みたいなことがよく書いてあるきがする。
#
#　そういうことに興味がないことによる偏見かもしれない。

ググッたらちょっと古い(1996)けどこんなのも
URLﾘﾝｸ(www-fp.dcs.st-and.ac.uk)
>　No　formal　semantics　for　these　I/O　primitives　is　possible　at　present,　
>　because　there　is　no　complete　formal　semantics　for　Haskell　itself.

formalでないと理解した気がしないなら、
Concurrent　Haskell　(Simon　PJ他)の論文でIOのsemanticsは誰かの論文を参照、
みたいなことが書いてあった気がするから、探してみたら。

>　fがstrict　<=>　f(_|_)　=　_|_
>　lazy　evaluation　<=>　λ計算でいうところのnormal　reduction
いいんじゃない。ちなみにdataコンストラクタはlifted。

次ページ

続きを表示

1を表示