New kids on the semantic block

The key principle behind Mirage is to treat cloud virtual hardware as a compiler target, and convert high-level language source code directly into kernels that run on it.
Our prototype compiler uses the OCaml language (x3) to further remove dynamic typing overheads and introduce more safety at compile time. Paper

Check them out and compare with my stack:

• Semantic
• BSON
• Graph
• Hardware

Concurrency? Not a problem with convolution of serialized active BSON. Web wide index management, built in graph 'rail',  web bots in a web wide memory protected virtual active graph. Free concurrency management when treated as graph traversal.

ML the language:
fun fact n = let
fun fac 0 = 1
| fac n = n * fac (n - 1)
in
if (n < 0) then raise Fail "negative argument"
else fac n
end

There F#, and so on. What do they all have in common?
Step back, take the canonical view. They all are serializations constructed with sets and descents, and support  match and pass operations on a node-node basis. It is what we are getting, right here. CutnPaste license, patent free, BSON standards based, JSON console searching and graph construction, and embedded sql micro machine with high speed node indexing, collating call backs on match. Imagisoft wins again, they should fund me and I would just hire these folks, they are all doing great. Giggles of fun.


Imagisoft, where we beat the big boys with mere pennies.