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
• 日本語版はこちら

Example

• language example
• 日本語はこちら

Reference

• language reference
• 日本語はこちら

Specification

• language specification
• 日本語はこちら

License

• Language-License
• 日本語はこちら

Concept view

---
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 --> Apply
Lambda --> Partial --> False
Partial --> Lambda

Apply --> Number
Apply --> Letter
Apply --> List

Loading

---
config:
  theme: redux-dark
---
graph LR
 subgraph Product[" "]
        Syntax
        List
        Stack
        Literal
        Compilation
  end

  subgraph Coproduct[" "]
        Semantics
        Lambda
        Stream
        Operator
        Interpretation
  end

  Syntax --> Semantics
  Semantics --> Syntax

  List --> Lambda
  Lambda --> List

  Stack --> Stream
  Stream --> Stack

  Literal --> Operator
  Operator --> Literal

  Compilation --> Interpretation
  Interpretation --> Compilation

Loading