Index
SYMBOL
A
ADTs (algebraic data types)
algebra
algebraic reasoning and
expressiveness
parallel computations
avoiding deadlock
law of forking
law of mapping
overview
for parser combinators
context-sensitivity
failover
implementing
labeling parsers
overview
sequencing parsers
algebraic data types.
See ADTs.
algebraic design, 2nd
algebraic reasoning, 2nd
ampersand ( & )
ANTLR library
applicative associativity law
applicative effects
arrays, mutable
associativity, 2nd
asynchronous I/O
awkwardness in functional programming