Type system

[emil14]

Context

Implement type-system compatible with most common languages like json, yaml, graphql and protobuf.
Type-system must be strong enough to make compiler available check most dangerous errors and compete golang.
Question that must be answered:

• What is type?
• How many built-in types do we have?
  • Is bracket a data-type? Sub streams implementation #35
  • Are there "primitive" and "complex" data types? What's the difference?
• Is it possible for used to create its own type?
• Is it possible to have generic type?
• What's the algorithm of checking whether two types are compatible?
  • Is this duck, gradual or nominative typing?

---

Related to #39 and #77

[emil14]

Base type idea

J.P.Morrison writes about logical and physical type of data. This is something like implementation vs API. It's also has something similar to how Go handle its types - user defined type has defined behavior (methods) and base type

Problems

• There's no behavior in FBP. Messages (IPs) are not OOP-objects, they just data. So their API is

[emil14]

Moved to #99