Loading ...
Sorry, an error occurred while loading the content.
4968
Re: Bitcoin scripting language extensions, collaboration requested First, I want to thank you all for helping us on this. ... This sounds very good. I don't think we need dynamic allocation, you should be able to do anything
Jorge Timón
Mar 5
#4968
 
4967
Re: Bitcoin scripting language extensions, collaboration requested ... I'd like to see the hidden assumptions, of the value of strong typing, spelled-out: * to specify, exactly, the byte-format of the data-structures, so as to
chris glur
Mar 4
#4967
 
4966
Re: Bitcoin scripting language extensions, collaboration requested ... Indeed, it hardly even makes sense to speak of the stack; you just allocate static locations for all the arguments of all the procedures, the traditional
John Cowan
Feb 5
#4966
 
Fetching Sponsored Content...
4965
Re: Bitcoin scripting language extensions, collaboration requested ... The ability to easily calculate resource bounds is precisely due to the restriction to first-order, recursion-free, allocation-free code: You can just go
John Nowak
Feb 5
#4965
 
4964
Re: Bitcoin scripting language extensions, collaboration requested ... First-order languages without recursion are trivial in this regard because you just go through the call tree and total up the amount of memory required for
John Nowak
Feb 5
#4964
 
4963
Re: Bitcoin scripting language extensions, collaboration requested ... SPARK Ada should be mentioned, and I hope the Bitcoin people have looked at it (Mark?). However, it gains its abilities not by being first-order
William Tanksley, Jr
Feb 5
#4963
 
4962
Re: Bitcoin scripting language extensions, collaboration requested ... In a total higher-order language, you sacrifice less but can still get a tight upper bound. Disallowing general recursion by default is a good idea. We
Jon Purdy
Feb 5
#4962
 
4961
Re: Bitcoin scripting language extensions, collaboration requested ... First-order applicative languages are easy to give exact resource bounds for if you disallow recursion and dynamic allocation. This has been done quite
John Nowak
Feb 5
#4961
 
4960
Re: Bitcoin scripting language extensions, collaboration requested Furphy, not Furby. I wasn't trying to say that your product should be written in the Oberon language, or that the prototype I suggested should be written in
pml060912
Feb 4
#4960
 
4959
Re: SPREAD (was: Bitcoin scripting language extensions, collaboratio http://oercode.blogspot.nl/ has some info. -Wm
William Tanksley, Jr
Feb 3
#4959
 
4958
SPREAD (was: Bitcoin scripting language extensions, collaboration re ... Hash: SHA1 SPREAD is very interesting indeed. I'm not sure yet how it applies to this bitcoin extension, but I am thinking of future project I have in mind
Mark Friedenbach
Feb 3
#4958
 
4957
Re: Bitcoin scripting language extensions, collaboration requested ... Hash: SHA1 Thank you, I will add Furby to the growing list of languages to steal ideas from :) A strongly enforced decidable type system actually makes the
Mark Friedenbach
Feb 3
#4957
 
4956
Re: Bitcoin scripting language extensions, collaboration requested I emailed you directly, but in case it went astray I thought I should reply with the substance of that here, too. First off, I'll draw your attention to my own
pml060912
Feb 2
#4956
 
4955
Re: Bitcoin scripting language extensions, collaboration requested Robbert, your SPREAD language is also interesting (assuming I remember the name right), especially since it has a large non-Turing-complete subset, which helps
William Tanksley, Jr
Feb 1
#4955
 
4954
Re: Bitcoin scripting language extensions, collaboration requested Thanks Robert, I'll take a look at Enchilada! Mark
Mark Friedenbach
Jan 31
#4954
 
Fetching Sponsored Content...
4953
Re: Bitcoin scripting language extensions, collaboration requested Hi, IÆve developed (but stopped maintaining) the Enchilada programming language which more or less covers requirements b) c) and d). Enchilada is
Robbert van Dalen
Jan 29
#4953
 
4952
Re: Bitcoin scripting language extensions, collaboration requested ... Concatenative languages have a simpler execution model, for one thing, and are easy to make predictable about resource usage. Anyway, I'd be interested to
Jon Purdy
Jan 28
#4952
 
4951
Re: Bitcoin scripting language extensions, collaboration requested ... Hi Mark... This is an interesting project, although I doubt I could contribute much. I know a little bit, but not a lot, about Bitcoin. I know that the
Matt Hellige
Jan 28
#4951
 
4950
Bitcoin scripting language extensions, collaboration requested ... Hash: SHA1 Hi, My name is Mark Friedenbach and I am a bitcoin-core developer [1]. You probably know Bitcoin as a peer-to-peer protocol for the digital
Mark Friedenbach
Jan 28
#4950
 
4949
Atoms and Definitions of Joy Hello, a copy of Atoms and Definitions of Joy is currently available here: click http://www.oki.noezserv.de/joy/joy-funs-doc.html. It's a few years old but
heiko.kuhrt
Dec 17, 2013
#4949
 
4948
Welcome to a few new members... This list has been zero-traffic for a long time, so I thought I'd send out a message as a reminder of its existence. On the concatenative mailing list, we
wtanksle
Dec 17, 2013
#4948
 
4947
Re: Make money with your own website today! Sorry about that spam -- I'll clean up.
William Tanksley, Jr
Sep 20, 2013
#4947
 
4945
Re: SPREAD: another kid on the block ... It does! Do you have anything else written about it? (The applet doesn't work for me.) To any who might be interested, here's the "Concatenative Languages"
William Tanksley, Jr
Jun 13, 2013
#4945
 
4944
Re: positional postfix evaluation ... that's because it's a joy program, not a spread program ... spread programs are pretty much free of form, so they resist static compilation. optimisation
Robbert van Dalen
May 27, 2013
#4944
 
4943
Re: positional postfix evaluation ... Only when you're writing expressions that compute to values. Most of the time, however, you're defining functions and your technique will be of no use. For
John Nowak
May 27, 2013
#4943
 
4942
positional postfix evaluation positional postfix evaluation - please set the font to mono-spaced for better readability - this short post describes a novel (postfix) computational model
Robbert van Dalen
May 27, 2013
#4942
 
4941
SPREAD: another kid on the block Let me introduce a new (concatenative?) programming language called SPREAD. SPREAD has - what I believe - many properties that might interest you. SPREADs most
Robbert van Dalen
May 11, 2013
#4941
 
Fetching Sponsored Content...
4940
New discussion group for concatenative and stack languages Just for the fun of it, I've created a Google+ "Community" for us. If you'd like to help me try it out, please feel free to swing on by.
William Tanksley
Jan 14, 2013
#4940
 
4939
Re: Introducing the Om language I've filled out the Om documentation to hopefully clarify how the whole thing works and explain it from a concatenative standpoint.
Jason Erb
Jan 6, 2013
#4939
 
4938
Re: Introducing the Om language Fixing formatting issues in the last message... Some examples of valid operators: operator o`p`e`r`a`t`o`r an` operator an` operator` with` `{braces`} an`
Jason Erb
Jan 5, 2013
#4938
 
View First Topic Go to View Last Topic
Loading 1 - 30 of total 4,968 messages