User loginNavigation |
The Disciplined Disciple CompilerDisciple is an explicitly lazy dialect of Haskell which includes: The wiki page has more information, unfortunately there's no paper yet summarizing the ideas and results. Their effect system is quite interesting. Some of the ideas recently discussed here are implemented in Disciple. via Haskell Cafe By Daniel Yokomizo at 2008-03-20 14:19 | Functional | Semantics | Type Theory | other blogs | 13098 reads
|
Browse archivesActive forum topics
|
Recent comments
1 hour 6 min ago
6 days 7 hours ago
6 days 7 hours ago
1 week 3 days ago
2 weeks 10 hours ago
2 weeks 13 hours ago
2 weeks 2 days ago
2 weeks 2 days ago
2 weeks 2 days ago
2 weeks 4 days ago