283
edits
Pipe-calculus: Difference between revisions
no edit summary
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) No edit summary |
||
| Line 2: | Line 2: | ||
One of its distinctive features is the inclusion of syntactic symbols, so it is possible to express program structure and complex data types using only the built-in constructs. | One of its distinctive features is the inclusion of syntactic symbols, so it is possible to express program structure and complex data types using only the built-in constructs. | ||
Pure pipe-calculus is untyped. Construction of a [[ideas_for_a_type_system|type system]] is | Pure pipe-calculus is untyped. Construction of a [[ideas_for_a_type_system|type system]] is in the exploration phase, 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 various typed or untyped programming languages. | 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 various typed or untyped programming languages. | ||