14/09/22 12:49:44.48 jhj0pzxy.net
> haskellの無限リストを使うときだって最後はtakeとか使って有限集合に落とすんでしょ？
takeのように単純な関数だとは限らない。
ゲーム木の探索の枝刈りのようなややこしい条件で止めたりするから意味がある。
まあただtwitterで、らくだの人と川の人が時々論戦しているように、デフォルトで
なんでもかんでも遅延か、遅延にしたいものだけ明示的に遅延にするのが良いのか？
は、まだ結論が出ていないとは思う。
14/09/22 12:49:44.48 jhj0pzxy.net
> haskellの無限リストを使うときだって最後はtakeとか使って有限集合に落とすんでしょ？
takeのように単純な関数だとは限らない。
ゲーム木の探索の枝刈りのようなややこしい条件で止めたりするから意味がある。
まあただtwitterで、らくだの人と川の人が時々論戦しているように、デフォルトで
なんでもかんでも遅延か、遅延にしたいものだけ明示的に遅延にするのが良いのか？
は、まだ結論が出ていないとは思う。