Kayia is a general-purpose software construction mechanism that attempts to break free from current traditional forms of programming languages.

  • No instruction is stored in its textual form, but instead it is interpreted as you type and stored directly in its AST form and exposed in the same way as the data. This allows you to query code identically as you would query data, and look at it in various aspects and layers.

  • Every atom (value of data, AST node) is append-only, immutable with a version stamp, which means that there is unlimited undo and version control built into the language. You can refer to the value syntactically as it exists currently or the version as it was exactly yesterday at noon.

  • There is a starting canonical syntax, but it can be changed as a decorator pattern, so that your changes to the syntax disturbs no one else.

  • There are only value types. In lieu of abstract and complex types, a spreadsheet metaphor is used to render all data structures, which leads to a more natural way to compose applications. For example, there is no difference between a string and an array of strings.

  • The tiny virtual machine (<1K LOC) uses almost no memory. Because everything is append-only and immutable, thousands of thread-safe VM's may operate simultaneously on top of a high-performance, SSD-optimized key/value store. Since it can expose any subset of any system via TCP/IP, the result is one large universe of data and applications.

For an example of the canonical syntax, to query all museums in Paris with art by Picasso, you would state it this way:
Museum : Location= #Paris_France & Artwork.Artist = #Pablo_Picasso

See more examples here...

Please note: This video describes a broader, richer version of the language which is scheduled to be released in 2017.
The Kayia technology is owned and managed by Kayia, LLC [Delaware, USA]. Customers currently licensing the technology include Brodlist, a Database-as-a-Service (DaaS).