proj-plbook-plChOtherParadigmsLangs

Table of Contents for Programming Languages: a survey

Combinatorial

Nock

Hoon

Links:


Probabalistic

https://en.wikipedia.org/wiki/Probabilistic_programming_language


Eve

important properties of Eve

"

If you go back and watch the original Light Table videos and compare them to the Eve post, you'll see a lot of similarities. No state is ever hidden. The inspector shows you not just related bits of code, but the specific blocks that affect the things on screen. The document can be reconfigured into only the parts you care about. You can evaluate code in a running program. Anything can be visualized...

It took a lot to gain those properties, from designing a language that doesn't depend on order to ensuring that we don't throw away information as we parse and analyze the code you've written. As we built the later versions of Light Table, even doing something as simple as eval in Javascript and Python had numerous caveats and strange edge cases. Eve doesn't have these issues. It was designed from the ground up to support the principles that Light Table was founded on and then expand them into a more cohesive view on programming.

" -- [1]

"From a technical standpoint, Eve is a variant of Datalog, which means that it's a database as much as it is a general purpose programming language." -- [2]

"Eve's language runtime includes a parser, a compiler, an incremental fixpointer, database indexes, and a full relational query engine with joins, negation, ordered choices, and aggregates. You might expect such a thing would amount to 10s or maybe 100s of thousands of lines of code, but our entire runtime is currently ~6500 lines of code. That's about 10% the size of React's source folder. :)" -- [3]

---

anti-goals of Eve:

" somethings that Eve won't be good at any time soon, if ever:

---

application domains at Eve:

" From a technical standpoint, Eve is a variant of Datalog, which means that it's a database as much as it is a general purpose programming language. Being explicitly designed for data transformation, there are somethings that Eve will particularly excel at:


Languages for embedding

http://www.clifford.at/embedvm/

Reduceron


Cellular automata

Ulam / T2 Tile

https://www.mitpressjournals.org/doi/pdf/10.1162/ARTL_a_00212 https://github.com/elenasa/Ulam/wiki/Ulam-Programming-Language https://liza.io/alife-2020-soft-alife-with-splat-and-ulam/ https://t2tile.com