User loginNavigation |
Monads = lazy, effect types = strict?Wadler, for instance, makes the claim, in "The marriage of effects and monads" (pg. 1), that effects typing systems are usually found in strict languages, whereas monads are usually found in lazy languages. Why is this? Is there a technical reason, or just a difference in cultures between the two camps? (I have seen others make an even stronger claim, that monads are especially suited for lazy languages, in some sense.) By dpmulligan at 2009-01-11 13:53 | LtU Forum | previous forum topic | next forum topic | other blogs | 6446 reads
|
Browse archivesActive forum topics |
Recent comments
6 weeks 4 days ago
6 weeks 6 days ago
7 weeks 14 hours ago
14 weeks 12 hours ago
19 weeks 5 days ago
19 weeks 6 days ago
20 weeks 5 days ago
23 weeks 3 days ago
24 weeks 6 days ago
25 weeks 3 hours ago