Re: Commensurability as Key

2013-08-21 Thread James Bowery
The terms "function" and "relation" as used in programming languages have meanings carved out of the pure concepts by the, sometimes, judicious application of Ockham's Chainsaw Massacre in order to "get things done". I am speaking of the pure concepts. Procedures are sequences of statements. Sta

Change Propagation

2013-08-21 Thread James Bowery
Backing off from the esoterica, is Per6 lazy machinery going to include a feature like the one I suggested for MooseX here: http://www.perlmonks.org/?node_id=1050219

Re: Commensurability as Key

2013-08-19 Thread James Bowery
Maybe Perl 7. On Mon, Aug 19, 2013 at 2:30 PM, Parrot Raiser <1parr...@gmail.com> wrote: > Let's get the basics nailed down and working so that we can learn > them, before wandering any further into theoretical CS. > > On 8/18/13, James Bowery wrote: > > Of t

Commensurability as Key

2013-08-18 Thread James Bowery
Of the two key conceptual gaps in current programming language philosophy -- commensurability and change propagation -- commensurability, if filled with due rigor, has the greatest potential for clearing up confusion by recasting other core features as derivative. Change propagation (eg: properly