Comments on: Semantic editor combinators http://conal.net/blog/posts/semantic-editor-combinators Inspirations & experiments, mainly about denotative/functional programming in Haskell Sat, 26 Sep 2020 21:06:12 +0000 hourly 1 http://wordpress.org/?v=4.1.17 By: From Lenses to Yoneda Embedding |   Bartosz Milewski's Programming Cafe http://conal.net/blog/posts/semantic-editor-combinators#comment-8281 Mon, 13 Jul 2015 14:55:37 +0000 http://conal.net/blog/?p=64#comment-8281 […] There’s an interesting twist to this kind of composition — the function composition operator in Haskell is the dot, just like the field accessor in OO languages like Java or C++; and the composition follows the same order as the composition of accessors in those languages. This was first observed by Conal Elliott in the context of semantic editor combinators. […]

]]> By: Conal Elliott » Blog Archive » Adding numbers http://conal.net/blog/posts/semantic-editor-combinators#comment-234 Mon, 25 Oct 2010 22:31:29 +0000 http://conal.net/blog/?p=64#comment-234 […] Elliott » Blog Archive » Memoizing polymorphic functions via unmemoization on Semantic editor combinatorsConal Elliott » Blog Archive » Memoizing polymorphic functions via unmemoization on […]

]]> By: Conal Elliott » Blog Archive » Memoizing polymorphic functions via unmemoization http://conal.net/blog/posts/semantic-editor-combinators#comment-233 Sun, 03 Oct 2010 23:23:52 +0000 http://conal.net/blog/?p=64#comment-233 […] to make it much easier. I’ve tinkered with making this process much more elegant by applying Semantic editor combinators in their generalized form (as in the paper Tangible Functional Programming), using bijections as […]

]]> By: Conal Elliott » Blog Archive » Another angle on zippers http://conal.net/blog/posts/semantic-editor-combinators#comment-232 Fri, 30 Jul 2010 02:37:18 +0000 http://conal.net/blog/?p=64#comment-232 […] Semantic editor combinators for an explanation of (fmap.first) friends. Continuing, apply the definition of Der on […]

]]> By: Frederick Ross http://conal.net/blog/posts/semantic-editor-combinators#comment-231 Thu, 28 Jan 2010 19:38:49 +0000 http://conal.net/blog/?p=64#comment-231 Long, long after the fact, I’ll chime in with an odd observation. Your editor combinators in effect form a sort of groupoid (the “sort of” indicates that my brain is tired and uncertain rather than any mathematical fact). If we have a group with an action on a space, and we have a representation of this action of dimension equal to that of the space, and add a single point of the space as an origin (the point left untouched by the identity), then the group plus the point represent a coordinate system. Similarly, your editor combinators, given a root of a piece of structured data, represent a coordinate system on data.

And I wrote a version of these in Erlang. This demonstrates two points: my Erlang style is becoming peculiar, and I miss Haskell.

]]> By: Less Sugar/More Meat » Blog Archive » Semantic Editor Combinators - one of my favorite blog posts http://conal.net/blog/posts/semantic-editor-combinators#comment-230 Tue, 19 Jan 2010 02:54:31 +0000 http://conal.net/blog/?p=64#comment-230 […] Semantic Editor Combinators – Conal Elliott [link] […]

]]> By: Conal Elliott » Blog Archive » 3D rendering as functional reactive programming http://conal.net/blog/posts/semantic-editor-combinators#comment-229 Mon, 12 Jan 2009 05:40:14 +0000 http://conal.net/blog/?p=64#comment-229 […] or, with Semantic editor combinators: […]

]]> By: Conal Elliott » Blog Archive » Another angle on functional future values http://conal.net/blog/posts/semantic-editor-combinators#comment-228 Sun, 11 Jan 2009 00:07:54 +0000 http://conal.net/blog/?p=64#comment-228 […] These helpers make for some easy definitions in the style of Semantic editor combinators: […]

]]> By: conal http://conal.net/blog/posts/semantic-editor-combinators#comment-227 Wed, 24 Dec 2008 06:24:01 +0000 http://conal.net/blog/?p=64#comment-227 @Martijn — Record fields are no problem. You can make functions analogous to first and second that operate on your structures, applying a given function to one field and carrying the other fields along, unchanged.

]]> By: Martijn http://conal.net/blog/posts/semantic-editor-combinators#comment-226 Tue, 23 Dec 2008 21:45:32 +0000 http://conal.net/blog/?p=64#comment-226 Can I also go into record fields with this?

]]>