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 --> Partial & Apply
Partial --> False & Lambda
Apply --> List & Number & Letter

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