Topic: foreach and for all statements
Topic: curried functions
Topic: pattern matching
ThesaHelp: references ef
Group: sequence operations
Topic: set data type
Topic: notation for declarations
Topic: for loop
Topic: sequence generators
Topic: default value
Topic: object slice
Topic: object modification
 
Reference
Earley, J.,
"High level operations in automatic programming",
SIGPLAN, 9, 4, April 1974.
Google
Quotations
QuoteRef: earlJ4_1974 ;;35 func ({1..m},{1..n}, real<0) is a real n X m array with default 0
 QuoteRef: earlJ4_1974 ;;35 access a column by a(*,3) producing a function with one less argument
 35 ;;Quote: modify a relation tuple by adding the new one and deleting the old
 QuoteRef: earlJ4_1974 ;;35 multisets (duplicates allowed) and ordered sets
 QuoteRef: earlJ4_1974 ;;35 have existential (there exists) and universal for all operators over sets.o
 QuoteRef: earlJ4_1974 ;;35 have set and sequence formers (eg .forAll x .memberOf. x .select. x=1
 QuoteRef: earlJ4_1974 ;;36 converge iterator a <= initial value, step function, epsilon stops when the step is less than epsilon
 QuoteRef: earlJ4_1974 ;;36 combine sequences by sequence, crossproduct or parallel
 QuoteRef: earlJ4_1974 ;;36 can expand operator over a sequence, sort a sequence, delete corresponding values, count, replace
 QuoteRef: earlJ4_1974 ;;37 lots of iterators (produce stream of values or a set) and iterative operators (act on streams of values eg for all)
 QuoteRef: earlJ4_1974 ;;38 pattern matching on sequences and structures but nothing special

Related Topics
Topic: foreach and for all statements (16 items)
Topic: curried functions (14 items)
Topic: pattern matching (42 items)
ThesaHelp: references ef (168 items)
Group: sequence operations (7 topics, 85 quotes)
Topic: set data type (16 items)
Topic: notation for declarations (20 items)
Topic: for loop (18 items)
Topic: sequence generators (16 items)
Topic: default value (8 items)
Topic: object slice (3 items)
Topic: object modification (10 items)
