I think it&#x27;s a lovely idea, with an interesting implementation.<p>Obligatory HN style comment: It might be wise to strengthen the description from &quot;pure&quot; functions to &quot;pure and terminating&quot;. I&#x27;ve not had time to form an opinion on whether the restrictions are sufficient to ensure this (JavaScript&#x27;s evaluation rules are...complex). However, the informal specification of this being a lambda calculus with multiple arguments isn&#x27;t strong enough - that would allow non-termination on load, which is not something you really want in your data serialisation format.