Koinos Types Definition Language

[sgerbino]

Issues to resolve:

• Looks like C, is not C. Should be a definition language
• Variants should be a keyword in the definition language
• Opaque should be a keyword in the definition language
• Alias should be a deep copy
• Namespaces don't translate in to other languages, we'll have naming clashes

module koinos.types

type1 = type2
my_variant = variant { alpha, beta, charlie }
my_enum = enum {
  alpha = 1,
  beta = 2,
  charlie = 3
}

block = struct {
  my_variant: my_variant,
  my_map: a -> opaque< b >,
  my_opaque_array: opaque< a >[]
}

Note:

• All enumerations are unsigned 32-bit integers
• Enums should be either all explicit or all implicit (increment starting at 0)
• Namespaces (i.e. module): Sub modules should be created in Golang to emulate namespacing)
• Struct, enum, and variant (and any other container) must be delimited with commas (EXCEPT FOR THE LAST ITEM!)

Deliverable:

• Just grammar for the definition language, use ANTLR4.

[sgerbino]

Should koinos-types support declaring const definitions? I think it should, we can share the definition of queue names and exchange names for example. I propose we support:

module koinos.mq
const string broadcast_exchange = "koinos_event"
const string rpc_exchange = "koinos_rpc"

[sgerbino]

Closed in favor of using Cap'n Proto.