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

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

281:デフォルトの名無しさん
07/12/12 01:00:18
>>280
言いたいのは、型システムを使って、
無限リストのフロー解析をして、
プログラムの停止性、正当性などを知ることができないかってこと？
それならリストの有限性の抽象解釈をやるってことになると思うけれど。