3 ms·
I don't know about famous, but Conal Elliots ideas about denotational semantics have led to some beautifully elegant libraries - http://conal.net/blog/posts/den
by jamii 16y ago
I don't know about famous, but Conal Elliots ideas about denotational semantics have led to some beautifully elegant libraries - http://conal.net/blog/posts/denotational-design-with-type-class-morphisms/ http://conal.net/blog/posts/denotational-design-with-type-cl...
Don't be put off by the academic tone, at its heart the paper is about how to design abstractions.
- sz 16y agoThis looks awesome, thanks. How to design abstractions was what I had in mind when posing the question.
- jamii 16y agoI really enjoy reading Conals work. This paper is a particularly good example of how denotational semantics can guide the design of a library - http://conal.net/blog/posts/paper-beautiful-differentiation/ http://conal.net/blog/posts/paper-beautiful-differentiation/