AHA！编程语言

Introduction Aha! is a new general-purpose programming language aimed to raise software quality to a higher level. It is: * declarative (programs consist of statements that set goals, but do not directly specify steps needed to achieve them) * pure (computations have no side effects) * strict (computations are "eager" by default) * total (every computation terminates) * parallel (program logic easily translates to multiple concurrent processes) * statically typed * modular It features powerful data structures (arrays, sequences, first-class functions, objects and composites), success/failure logic, sequence generators, high-level array/sequence operations, generic modules with separate code and specification, abstract data types, type inference and much more, all within elegant and highly readable syntax. Aha! programs are intrinsically parallel. Aha! differs from other programming languages in many ways, for example: * success/failure logic is us