Index

ad hoc polymorphism of patterns
A Quick Tour of Egison
and-pattern
A Quick Tour of Egison
anonymous parameter function
Several Features as a Functional Programming Language
built-in function
Several Features as a Functional Programming Language
collection
A Quick Tour of Egison
cons pattern
A Quick Tour of Egison
dummy symbol
Tensor Computation
function symbol
Function Symbols
indexed variable
A Quick Tour of Egison
inductive pattern declaration
Defining Matchers
join pattern
A Quick Tour of Egison
loop pattern
A Quick Tour of Egison
matcher
A Quick Tour of Egison
not-pattern
A Quick Tour of Egison
or-pattern
A Quick Tour of Egison
pattern function
A Quick Tour of Egison
pattern fusion
Defining Matchers
pattern-match-oriented
What is Programming Egison
predicate pattern
A Quick Tour of Egison
primitive data pattern
Defining Matchers
primitive pattern-pattern
Defining Matchers
promotion tower
The Simplification System in Detail
scalar function
Tensor Computation
sequential pattern
A Quick Tour of Egison
tensor function
Tensor Computation
tensor-compatible
Tensor Computation
tuple pattern
A Quick Tour of Egison
type class
Several Features as a Functional Programming Language
value pattern
A Quick Tour of Egison
variable pattern
A Quick Tour of Egison
wildcard optimization
Defining Matchers
This book in another language: English, 日本語