User loginNavigation |
archivesPolymorphic Regular Tree Types and Patterns
It will appear in POPL '06. By Jim Apple at 2005-12-14 03:16 | Functional | login or register to post comments | other blogs | 8370 reads
Tradeoffs between Unique Types and MonadsHello everyone, I am currently trying to understand what the trade-offs are between uniqueness typing and monads. On the surface uniqueness typing seems a little easier to grasp and read (code wise), but it seems there is a lot of fascination with Monads. I was curious how one would judge whether to use one or the other in order to model side-effects in a pure functional language. Which strategy gives the most 'bang-for-the-buck' in regards to language semantics but also in regards to learning curve? Thank you everyone in advance for being so helpful. =) Regards, -M. |
Browse archivesActive forum topics |
Recent comments
23 weeks 3 hours ago
23 weeks 7 hours ago
23 weeks 7 hours ago
45 weeks 1 day ago
49 weeks 3 days ago
51 weeks 15 hours ago
51 weeks 15 hours ago
1 year 1 week ago
1 year 6 weeks ago
1 year 6 weeks ago