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 | 8365 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
21 weeks 6 days ago
21 weeks 6 days ago
21 weeks 6 days ago
44 weeks 23 hours ago
48 weeks 2 days ago
50 weeks 2 hours ago
50 weeks 2 hours ago
1 year 3 days ago
1 year 5 weeks ago
1 year 5 weeks ago