https://github.com/johnny-shaman/Sign
Sign integrity generic notation
https://github.com/johnny-shaman/Sign
aarch64 code-generation compiler compiler-design create-programming-language design functional-programming language language-concept language-design
Last synced: 7 days ago
JSON representation
Sign integrity generic notation
- Host: GitHub
- URL: https://github.com/johnny-shaman/Sign
- Owner: johnny-shaman
- Created: 2023-06-05T01:34:12.000Z (about 3 years ago)
- Default Branch: main
- Last Pushed: 2026-06-06T06:19:39.000Z (10 days ago)
- Last Synced: 2026-06-06T08:10:07.286Z (10 days ago)
- Topics: aarch64, code-generation, compiler, compiler-design, create-programming-language, design, functional-programming, language, language-concept, language-design
- Language: Assembly
- Homepage:
- Size: 8.69 MB
- Stars: 35
- Watchers: 2
- Forks: 5
- Open Issues: 5
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Sign integrity generic notation
Welcome to the Sign integrity generic notation Page!
This is a language for expressing the integrity of data evaluation generic way.
It is designed to be used in various Anyone, such as data validation, integrity checks, and Functional Effects.
## Manifesto
* [Our Manifesto](./documents/manifesto/manifesto.en-us.md)
* [日本語版はこちら](./documents/manifesto/manifesto.ja-jp.md)
## Example
* [language example](./documents/en-us/example.en-us.sn)
* [日本語はこちら](./documents/ja-jp/example.ja-jp.sn)
## Reference
* [language reference](./documents/en-us/Sign_reference_en-us.md)
* [日本語はこちら](./documents/ja-jp/Sign_reference_ja-jp.md)
## Specification
* [language specification](./documents/en-us/specification/)
* [日本語はこちら](./documents/ja-jp/specification/)
## License
* [Language-License](./documents/License/sign-language-license.en-us.md)
* [日本語はこちら](./documents/License/sign-language-license.ja-jp.md)
## Concept view
```mermaid
---
config:
theme: redux-dark
---
graph LR
subgraph Lambda
identity( _ : identity or Void )
end
subgraph Object[ Object = True ]
Number([ - ... 0 ... +])
Letter([ UTF ... etc])
subgraph List [ List ...etc ]
False( _ : false = Null)
end
end
Apply([ Default or Fulfilled Apply ])
Partial([ Partial or Not Apply ])
identity <-.-> False
Lambda --> Partial & Apply
Partial --> False & Lambda
Apply --> List & Number & Letter
```
```mermaid
---
config:
theme: redux-dark
---
graph LR
subgraph Product[" "]
Syntax
List
Stack
Literal
Compilation
end
subgraph Coproduct[" "]
Semantics
Lambda
Stream
Operator
Interpretation
end
Syntax <===> Semantics
List <===> Lambda
Stack <===> Stream
Literal <===> Operator
Compilation <===> Interpretation
```