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