Comments on: Semantic editor combinators http://conal.net/blog/posts/semantic-editor-combinators Inspirations & experiments, mainly about denotative/functional programming in Haskell Sat, 18 May 2013 00:33:37 +0000 hourly 1 http://wordpress.org/?v=3.1 By: Conal Elliott » Blog Archive » Adding numbers http://conal.net/blog/posts/semantic-editor-combinators/comment-page-1#comment-61769 Conal Elliott » Blog Archive » Adding numbers Mon, 25 Oct 2010 22:31:29 +0000 http://conal.net/blog/?p=64#comment-61769 <p>[...] Elliott » Blog Archive » Memoizing polymorphic functions via unmemoization on Semantic editor combinatorsConal Elliott » Blog Archive » Memoizing polymorphic functions via unmemoization on [...]</p> [...] 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-page-1#comment-59272 Conal Elliott » Blog Archive » Memoizing polymorphic functions via unmemoization Sun, 03 Oct 2010 23:23:52 +0000 http://conal.net/blog/?p=64#comment-59272 <p>[...] 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 [...]</p> [...] 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-page-1#comment-51325 Conal Elliott » Blog Archive » Another angle on zippers Fri, 30 Jul 2010 02:37:18 +0000 http://conal.net/blog/?p=64#comment-51325 <p>[...] Semantic editor combinators for an explanation of (fmap.first) friends. Continuing, apply the definition of Der on [...]</p> [...] 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-page-1#comment-36806 Frederick Ross Thu, 28 Jan 2010 19:38:49 +0000 http://conal.net/blog/?p=64#comment-36806 <p>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.</p> <p>And I wrote a version of these in Erlang. This demonstrates two points: my Erlang style is becoming peculiar, and I miss Haskell.</p> 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-page-1#comment-36273 Less Sugar/More Meat » Blog Archive » Semantic Editor Combinators - one of my favorite blog posts Tue, 19 Jan 2010 02:54:31 +0000 http://conal.net/blog/?p=64#comment-36273 <p>[...] Semantic Editor Combinators - Conal Elliott [link] [...]</p> [...] 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-page-1#comment-14053 Conal Elliott » Blog Archive » 3D rendering as functional reactive programming Mon, 12 Jan 2009 05:40:14 +0000 http://conal.net/blog/?p=64#comment-14053 <p>[...] or, with Semantic editor combinators: [...]</p> [...] 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-page-1#comment-14007 Conal Elliott » Blog Archive » Another angle on functional future values Sun, 11 Jan 2009 00:07:54 +0000 http://conal.net/blog/?p=64#comment-14007 <p>[...] These helpers make for some easy definitions in the style of Semantic editor combinators: [...]</p> [...] 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-page-1#comment-13222 conal Wed, 24 Dec 2008 06:24:01 +0000 http://conal.net/blog/?p=64#comment-13222 <p>@Martijn -- Record fields are no problem. You can make functions analogous to <code>first</code> and <code>second</code> that operate on your structures, applying a given function to one field and carrying the other fields along, unchanged.</p> @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-page-1#comment-13202 Martijn Tue, 23 Dec 2008 21:45:32 +0000 http://conal.net/blog/?p=64#comment-13202 <p>Can I also go into record fields with this?</p> Can I also go into record fields with this?

]]> By: Conal Elliott » Blog Archive » Smarter termination for thread racing http://conal.net/blog/posts/semantic-editor-combinators/comment-page-1#comment-13011 Conal Elliott » Blog Archive » Smarter termination for thread racing Fri, 19 Dec 2008 08:18:51 +0000 http://conal.net/blog/?p=64#comment-13011 <p>[...] Or, in the style of Semantic editor combinators, [...]</p> [...] Or, in the style of Semantic editor combinators, [...]

]]> By: Conal Elliott » Blog Archive » Trimming inputs in functional reactive programming http://conal.net/blog/posts/semantic-editor-combinators/comment-page-1#comment-12541 Conal Elliott » Blog Archive » Trimming inputs in functional reactive programming Wed, 10 Dec 2008 09:00:41 +0000 http://conal.net/blog/?p=64#comment-12541 <p>[...] In the style of Semantic editor combinators, [...]</p> [...] In the style of Semantic editor combinators, [...]

]]> By: Michael http://conal.net/blog/posts/semantic-editor-combinators/comment-page-1#comment-12470 Michael Mon, 08 Dec 2008 21:26:12 +0000 http://conal.net/blog/?p=64#comment-12470 <p>"Less pointedly ..."</p> <p>Hahahahahahaha! <em>wipes tears away</em> Too much...</p> “Less pointedly …”

Hahahahahahaha! wipes tears away Too much…

]]> By: Conal Elliott » Blog Archive » Sequences, segments, and signals http://conal.net/blog/posts/semantic-editor-combinators/comment-page-1#comment-12318 Conal Elliott » Blog Archive » Sequences, segments, and signals Fri, 05 Dec 2008 08:16:34 +0000 http://conal.net/blog/?p=64#comment-12318 <p>[...] Or, in the style of Semantic editor combinators, [...]</p> [...] Or, in the style of Semantic editor combinators, [...]

]]> By: Conal Elliott » Blog Archive » Prettier functions for wrapping and wrapping http://conal.net/blog/posts/semantic-editor-combinators/comment-page-1#comment-12204 Conal Elliott » Blog Archive » Prettier functions for wrapping and wrapping Tue, 02 Dec 2008 06:46:34 +0000 http://conal.net/blog/?p=64#comment-12204 <p>[...] post Semantic editor combinators gave an example of a pattern that comes up a lot for me in Haskell programming. I want to apply [...]</p> [...] post Semantic editor combinators gave an example of a pattern that comes up a lot for me in Haskell programming. I want to apply [...]

]]> By: conal http://conal.net/blog/posts/semantic-editor-combinators/comment-page-1#comment-12075 conal Fri, 28 Nov 2008 19:47:50 +0000 http://conal.net/blog/?p=64#comment-12075 <p>bluestorm:</p> <p>Some of the examples above can be done with just <code>fmap</code>, though not all of them. If you try replacing all of the path components with <code>fmap</code>, you'll soon see why.</p> <p>There's a deeper reason that <code>fmap</code> is inadequate for what I'm doing, which will become clear in my follow-up post. The type of <code>fmap</code> limits the editors being manipulated (by the editor combinators) to being <em>functions</em>. The <code>Arrow</code> framework generalizes from functions to arbitrary arrows, which gave me enough flexibility to handle the examples listed at the end of the post.</p> bluestorm:

Some of the examples above can be done with just fmap, though not all of them. If you try replacing all of the path components with fmap, you’ll soon see why.

There’s a deeper reason that fmap is inadequate for what I’m doing, which will become clear in my follow-up post. The type of fmap limits the editors being manipulated (by the editor combinators) to being functions. The Arrow framework generalizes from functions to arbitrary arrows, which gave me enough flexibility to handle the examples listed at the end of the post.

]]>