283
edits
Pipe-calculus: Difference between revisions
→Variants
KalmanKeri (talk | contribs) (→Syntax) |
KalmanKeri (talk | contribs) |
||
| Line 1: | Line 1: | ||
Pipe-calculus is a core calculus for programming. | Pipe-calculus is a core calculus for programming. | ||
== Overview == | |||
=== Motivation === | |||
Development of pipe-calculus stemmed from the author's conviction that syntax should be a first class element of programming languages the same way as formation rules are integral part of logical calculi. A language that complies with this principle is able to recognize the syntax of input data without using a parser library. Pipe-calculus is a very minimal language with this property. | |||
The first attempt to construct such a language resulted in a logical system, which is referred to as ''well-typed parsing''. | |||