User loginNavigation |
Comonadic Functional Attribute EvaluationComonadic Functional Attribute Evaluation. Tarmo Uustalu and Varmo Vene.
(This is an extended abstract. I believe a longer version is here, but I haven't read it.) We've previously seen The Essence of Dataflow Programming, and in one sense this is a follow-up. Applying comonads to dataflow programming was not uncritically accepted as being "essential," as I recall. For attribute grammars, this approach seems elegant enough from a casual read, but they don't offer a detailed comparison with prior work on attribute grammars, and I'm nowhere near familiar enough to judge for myself. Whether or not this is a significant step forward in that sense, it certainly has some nice examples of comonads. There's also this claim:
(Emphasis mine.) This seems to be a relatively well-known fact about zippers, but perhaps not? |
Browse archives
Active forum topics |
Recent comments
12 weeks 1 day ago
12 weeks 1 day ago
12 weeks 1 day ago
34 weeks 2 days ago
38 weeks 4 days ago
40 weeks 2 days ago
40 weeks 2 days ago
42 weeks 6 days ago
47 weeks 4 days ago
47 weeks 4 days ago