Re: Bitcoin scripting language extensions, collaboration requested

On 01/29/2014 12:50 AM, Jon Purdy wrote:

> Concatenative languages have a simpler execution model, for one thing,
> and are easy to make predictable about resource usage.

First-order applicative languages are easy to give exact resource bounds 
for if you disallow recursion and dynamic allocation. This has been done 
quite successfully already (e.g. SPARK Ada).

In contrast, a language like Joy or Enchilada is almost certainly not a 
good fit as you'll be stuck with dynamic allocation and (presumably) 
garbage collection. Enchilada in particular is also lazy which turns 
space usage into a non-local property.

While it is certainly possible to design a stack-based language with 
total functions and bounded resource utilization, I don't think it would 
offer any benefit over an applicative language for the purpose Mark 
describes.

- jn


------------------------------------

Yahoo Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/concatenative/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    http://groups.yahoo.com/group/concatenative/join
    (Yahoo! ID required)

<*> To change settings via email:
    [email protected] 
    [email protected]

<*> To unsubscribe from this group, send an email to:
    [email protected]

<*> Your use of Yahoo Groups is subject to:
    http://info.yahoo.com/legal/us/yahoo/utos/terms/