Show HN: Bel
Whenever I see a new programming language, this list of questions by Frank Atanassow comes to mind:<p><pre><code>    1. What problem does this language solve? How can I make it precise?

    2. How can I show it solves this problem? How can I make it precise?

    3. Is there another solution? Do other languages solve this problem? How?
       What are the advantages of my solution? of their solution?
       What are the disadvantages of my solution? of their solution?

    4. How can I show that my solution cannot be expressed in some other language?
       That is, what is the unique property of my language which is lacking in
       others which enables a solution?

    5. What parts of my language are essential to that unique property?
</code></pre>
Do read the whole post (<a href="http:&#x2F;&#x2F;lambda-the-ultimate.org&#x2F;node&#x2F;687#comment-18074" rel="nofollow">http:&#x2F;&#x2F;lambda-the-ultimate.org&#x2F;node&#x2F;687#comment-18074</a>), it has lots of elaboration on these questions.<p>From a skim of the Bel materials, I couldn&#x27;t answer these questions. Maybe PG or someone else can take a stab at the answer?