Skip to content

Instantly share code, notes, and snippets.

@leostera

leostera/future.md

Forked from xaviervia/future.md
Created February 18, 2017 20:58
Show Gist options
  • Save leostera/cfcc67f0edee040876ed17cc1a06cf48 to your computer and use it in GitHub Desktop.
Save leostera/cfcc67f0edee040876ed17cc1a06cf48 to your computer and use it in GitHub Desktop.
Download ZIP
2017-02-18
Raw
future.md
  • Blockchain of blockchains with RSA public keys for resource registry (domain + intents/messages accepted)
  • Go down from HTTP/WS to have a simpler/more essential protocol for communication. Protocol not based on simple human analogies (verb, noun)
  • Protocol is (hopefully) implementation of Real OOP.
  • External resources in the language are represented with URLs
  • Discovery/caching decisions (URL resolution) is delegated to the runtime
  • Runtime should eventually be a hypervisor that only manages resource allocation. Or dedicated hardware, programs for FPGA. High level functional language for FPGA programming.
  • Language is expressed in an AST. AST can be formatted in different transport encodings (JSON for example).
  • Language is just representation of category theory operations between the resources, assuming they fulfillthe expected types.
  • Language is lazy and asynchonous by default. Tagline: "sync is just async that works very fast"
  • Under the hood, operations are Real OOP (messages)
  • Even if everything is actually local, the language and module system are modelled to be "internet native". The language is a "systems language", much like Erlang/Rust, but where the "system" is the internet. Purely functional, strongly typed systems programming language.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment