https://github.com/sleexyz/pipe-dream

drawn programming language
https://github.com/sleexyz/pipe-dream

Last synced: 1 day ago
JSON representation

drawn programming language

• Host: GitHub
• URL: https://github.com/sleexyz/pipe-dream
• Owner: sleexyz
• Created: 2016-02-20T07:35:14.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-02-20T08:02:45.000Z (over 8 years ago)
• Last Synced: 2024-04-14T11:22:40.519Z (7 months ago)
• Size: 0 Bytes
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# piped

drawn programming language?

Free programming from symbolic formalisms...

...to general abstract formalism!

### ...reify that please?

#### (Visual) SYNTAX

- String-diagram-inspired *extruded* commutative diagrams

- basically encodes AST

#### SEMANTICS

- Higher-order lambda calculus

#### PARSING

- Nonlinear parsing?

- Computer Vision?

- Type inference?

#### INTERPRETATATION

- isomorphism with line-based syntax? (Subset of haskell?)

### Use case?

- DSL

- General purpose, but would have to think about ergonomics...