develooper Front page | perl.perl6.language | Postings from March 2009

Re: Junction Algebra

Thread Previous | Thread Next
From:
Patrick R. Michaud
Date:
March 28, 2009 08:19
Subject:
Re: Junction Algebra
Message ID:
20090328151931.GA19245@pmichaud.com
On Sat, Mar 28, 2009 at 02:08:22PM +0300, Richard Hainsworth wrote:
> 3) Conjecture: The following is true of all junction types, eg.,
> junc(..., junc(...)) === junc(..., ...)

The conjecture is false for one/none junctions:

    one(0, one(1, 1))         # true
    one(0, 1, 1)              # false

    none(0, none(0, 0))       # false
    none(0, 0, 0)             # true

I'm still considering the any/all cases.

Pm

Thread Previous | Thread Next


nntp.perl.org: Perl Programming lists via nntp and http.
Comments to Ask Bjørn Hansen at ask@perl.org | Group listing | About