Pipe-calculus: Difference between revisions

'''Pipe-calculus''' is a universal model of computation that is closely related to [[wikipedia:process_calculus|process calculus]], [[wikipedia:lambda_calculus|lambda calculus]] and formal language theory.  

Its distinctive feature is the inclusion of syntactic primitives, so it is possible to express rich data types and data processing algorithms using only the built-in constructors.

Pure pipe-calculus is untyped, but construction of a [[ideas_for_a_type_system|type system]] is a primary goal, placing the focus on well-typed communication of programs.

Although the core calculus is sufficiently expressive to be used as a programming language, with added [[Syntax_sugar_(Pipe-calculus)|syntax sugar]] it can be the basis of typed or untyped high level programming languages with more familiar syntax.

Its characteristic features like I/O and stream orientation make pipe-calculus a suitable choice for scripting languages.