- 280 名前：271 mailto:sage [2007/12/11(火) 19:46:50 ]
- いや、同じ構造のデータ型でも、
型システムで『無限リストかそうでないか』をカッキリ分けられたら、
そっちのほうが型安全にならないかな？と思って271を書いたんだけど。
たとえば幽霊型とか使ってそういうのが解決できないかとか思ったんだけど、
それじゃ現行の関数を活かせないし、あんまり意味ないなあ、と。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
関数型プログラミング言語Haskell Part8
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef