What if instead of trying to type existing JS code, like TypeScript, we made objects of a new typed language completely separate from JS obj...

I have been studying ways to work around the horrors issues of JavaScript's async APIs for years. I have even built a series of increa...

I was just  chatting with Ben Titzer on Twitter  about control flow in his  Virgil language  (which is cool and you should definitely check ...

One aspect of reactive demand programming that sets it apart from other reactive programming models is its support for optimistically worki...

Just had a nice insight regarding systems that deal with reactively updating (potentially large, structured ) values such as  RDP : The dy...

What if you want to use a big value, like a whole database table or weblog, as a  Reactive Demand Programming  signal value? This would make...

[Updated, see comment  and this Reddit AMA with the Urbit team , that clarifies a lot of issues.] Urbit is some kind of new operating sys...

I wrote a trivial implementation of RDP  in JavaScript to help me understand how it works. It's called bucky-rdp  (about 200 lines of ...

TL;DR:  RDP is an exciting declarative model of how computational processes (behaviors) are connected by continuously updating values (sign...

[Deleted. To be replaced with a proper rant at another time.]

To put it bluntly, the discipline of programming languages has yet to get over its childish passion for mathematics and for purely theoreti...

Jose Maria Cuellar Geeks from all Lisps of life met in Madrid last week for the European Common Lisp Meeting and European Lisp Symposium...

I'm delighted somebody by the name of "shadowcat-mst" has taken my Wat interpreter and reimplemented it in Perl . That really...

This page shows 5 independent, cooperatively scheduled  Wat green threads (view source for full Wat code). Each thread has an ID and is ...

The new Wat is the best, most lightweight way to implement a JavaScript-based programming language I have found so far. Basically, I g...

Wat is back! If you'll recall, Wat is my ultra-minimal (~500 lines of JS) interpreter for a  Kernel -based language with delimited cont...

I've written two Lisps ( 1 , 2 ) with quasiquotation , and in both, quasiquotation was the most difficult thing to implement, and gave m...

Taf is my new vapor-Lisp with row polymorphism, delimited continuations, and hygienic macros. (Warning: incoherent rambling ahead!) Taf h...

In my quest for a good Lisp, I could no longer ignore static types. See Taf - A plan for a statically-typed Lisp . There shouldn't b...

This PLT Life is now on Tumblr , thanks to bloggertotumblr.com .

(Hello, Jetty.)