Changeset 3993


Ignore:
Timestamp:
Oct 23, 2008, 12:14:26 AM (12 years ago)
Author:
yura
Message:
 
File:
1 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/java/refal/refal/plus/List2.rf

    r3992 r3993  
    2727  e.new_list;
    2828
    29 $func MapInHelp t.func t.term = t.list;
     29$func MapInHelp t.func t.term = t.term;
    3030MapInHelp t.func (e.expr) = (<Apply t.func e.expr>);
    3131
     
    5353IsElem e t.item e t.item;
    5454
    55 $func Foldl t.func (e.value) e.list = e.list;
     55$func Foldl t.func (e.value) e.list = e.value;
    5656Foldl t.func (e.value) e.list =
    5757  (e.value) e.list $iter {
     
    6262  e.value;
    6363
    64 $func Foldr t.func (e.value) e.list = e.list;
     64$func Foldl1 t.func v.list = e.value;
     65Foldl1 t.func t.head e.tail = <Foldr t.func (t.head) e.tail>;
     66
     67$func Foldr t.func (e.value) e.list = e.value;
    6568Foldr t.func (e.value) e.list =
    6669  (e.value) e.list $iter {
     
    7174  e.value;
    7275
    73 Foldr1 s.Fname e.Fargs (e.list), {
    74   e.list : e.something t.last =
    75     <Foldr s.Fname e.Fargs (t.last) (e.something)>;
    76   /*empty*/;
    77 };
     76$func Foldr1 t.func v.list = e.value;
     77Foldr1 t.func e.init t.last = <Foldr t.func (t.last) e.init>;
    7878
    7979All s.Fname e.Fargs (e.list) =
     
    9494};
    9595
    96 Concat e.lists = <Map &Deparen_Term (e.lists)>;
     96//$const Concat = (&Map &Deparen_Term);
     97//
     98//<Const e.list> ~~~ <Apply &Concat e.list>;
    9799
    98100Paren expr = <Map &Paren_Term (expr)>;
Note: See TracChangeset for help on using the changeset viewer.