Re: RE: Bitcoin scripting language extensions, collaboration requested
<[email protected]> 04 Feb 2014 16:37:18 -0800
| Newsgroups | gmane.comp.lang.concatenative |
|---|---|
| Message-ID | <[email protected]> |
--9nlWnTS9ocNmxdhsK3FKVLWiM6a5jwOaA8HvrLV
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: base64
RnVycGh5LCBub3QgRnVyYnkuDQoNCkkgd2Fzbid0IHRyeWluZyB0byBzYXkgdGhhdCB5b3Vy
IHByb2R1Y3Qgc2hvdWxkIGJlIHdyaXR0ZW4gaW4gdGhlIE9iZXJvbiBsYW5ndWFnZSwgb3Ig
dGhhdCB0aGUgcHJvdG90eXBlIEkgc3VnZ2VzdGVkIHNob3VsZCBiZSB3cml0dGVuIGluIHRo
ZSBPYmVyb24gbGFuZ3VhZ2UuIFdoYXQgSSBoYWQgaW4gbWluZCB3YXMgdGhhdCB5b3Ugc2hv
dWxkIG1vY2sgdXAgYSBwcm90b3R5cGUgdG8gc2VlIHdoYXQgaXQgbG9va2VkIGxpa2UgYW5k
IGhvdyBpdCB3b3JrZWQsIG9ubHkgbm90IGFzIGEgbG93IGxldmVsIHRoaW5nIGluIGFzc2Vt
YmxlciBvciBzb21lIHN5c3RlbXMgbGFuZ3VhZ2UgbGlrZSB0aGUgQysrIHlvdSBoYXZlIGlu
IG1pbmQsIGFsbCBvbiBhIGxvdyBiYXNlLCBidXQgYXMgYSBsb3cgbGV2ZWwgdGhpbmcgb24g
dG9wIG9mIHRoZSB2aXJ0dWFsIG1hY2hpbmUgdGhhdCB0aGUgT2Jlcm9uIHN5c3RlbSBwcm92
aWRlcywgdGhhdCB0aGUgT2Jlcm9uIGxhbmd1YWdlIGNvbXBpbGVzIGZvciAtIGJ1dCBub3Qg
dXNpbmcgdGhhdCBsYW5ndWFnZSBhdCBhbGwsIGp1c3QgdXNpbmcgaXRzIHN1cHBvcnQgcGxh
dGZvcm0sIHRoZSB2aXJ0dWFsIG1hY2hpbmUuIFRoYXQgd2F5LCB5b3Ugd291bGQgYmUgYWJs
ZSB0byBmaW5lIHR1bmUgd2hhdCB5b3UgaW1wbGVtZW50ZWQgYW5kIGJlIGFibGUgdG8gc2Vl
IHdoYXQgaXMgaW52b2x2ZWQgd2l0aCB0aGF0LCBidXQgdGhlIHZpcnR1YWwgbWFjaGluZSB3
b3VsZCBzYXZlIHlvdSBpbXBsZW1lbnRpbmcgdmFyaW91cyB0aGluZ3MgYXMgaXQgYWxyZWFk
eSBnaXZlcyB0aGVtIHRvIHRoZSBPYmVyb24gbGFuZ3VhZ2UuIFRob3NlIHRoaW5ncyBpbmNs
dWRlIHNuYXJmaW5nIHRoZSBnYXJiYWdlIGNvbGxlY3Rpb24gYW5kIHNuYXJmaW5nIGltcGxl
bWVudGluZyBhIHBvd2VyZnVsIHR5cGUgc3lzdGVtLiBZb3VyIGNvbmNlcm5zIGFib3V0IGdl
dHRpbmcgT2Jlcm9uIGV2ZXJ5d2hlcmUgd29uJ3QgY29tZSB1cCwgYmVjYXVzZSBJIHdhc24n
dCBzdWdnZXN0aW5nIGF0IGFsbCB0aGF0IHlvdSBpbXBsZW1lbnQgdGhlIG1haW4gdGhpbmcg
dGhhdCB3YXksIGp1c3QgdGhhdCB5b3Ugc2V0IHVwIGEgcHJvdG90eXBlIHRoYXQgd2F5IGlu
IGp1c3Qgb25lIHBsYWNlIHVuZGVyIHlvdXIgY29udHJvbCwgYW5kIG9ubHkgdG8gc2VlIGhv
dyBpdCBhbGwgLSB5b3VyIG93biBpZGVhcyBhbmQgb3RoZXIgcGVvcGxlJ3Mgc3VnZ2VzdGlv
bnMsIG5vdCBqdXN0IG1pbmUgLSBjb21lcyB0b2dldGhlci4gT25jZSB5b3VyIGlkZWFzIGFy
ZSBmaXJtZWQgdXAsIHlvdSBzaG91bGQgdGhyb3cgT2Jlcm9uIGF3YXkgY29tcGxldGVseSBh
bmQgZG8gc29tZXRoaW5nIGZ1bGx5IHVuZGVyIHlvdXIgY29udHJvbCwganVzdCB0aGUgd2F5
IHlvdSBvdXRsaW5lZCAtIGJ1dCB0aGF0IGNvbWVzIGxhdGVyLiBQTUwu
--9nlWnTS9ocNmxdhsK3FKVLWiM6a5jwOaA8HvrLV
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 7bit
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
</head>
<body style="background-color: #fff;">
<span style="display:none"> </span>
<!--~-|**|PrettyHtmlStartT|**|-~-->
<div id="ygrp-mlmsg" style="position:relative;">
<div id="ygrp-msg" style="z-index: 1;">
<!--~-|**|PrettyHtmlEndT|**|-~-->
<div id="ygrp-text" >
<p>Furphy, not Furby.<br><br>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 the Oberon language. What I had in mind was that you should mock up a prototype to see what it looked like and how it worked, only not as a low level thing in assembler or some systems language like the C++ you have in mind, all on a low base, but as a low level thing on top of the virtual machine that the Oberon system provides, that the Oberon language compiles for - but not using that language at all, just using its support platform, the virtual machine. That way, you would be able to fine tune what you implemented and be able to see what is involved with that, but the virtual machine would save you implement
ing various things as it already gives them to the Oberon language. Those things include snarfing the garbage collection and snarfing implementing a powerful type system. Your concerns about getting Oberon everywhere won't come up, because I wasn't suggesting at all that you implement the main thing that way, just that you set up a prototype that way in just one place under your control, and only to see how it all - your own ideas and other people's suggestions, not just mine - comes together. Once your ideas are firmed up, you should throw Oberon away completely and do something fully under your control, just the way you outlined - but that comes later. PML.</p>
</div>
<!--~-|**|PrettyHtmlStart|**|-~-->
<div style="color: #fff; height: 0;">__._,_.___</div>
<div style="clear:both"> </div>
<table cellspacing=4px style="margin-top: 20px; margin-bottom: 10px;">
<tbody>
<tr>
<td style="font-size: 12px; font-family: arial; font-weight: bold; padding: 7px 5px 5px; color: #FFF; background-color: #F2F2F2; border: 1px solid #EAEAEA " >
<a style="text-decoration: none; color: #2D50FD" href="http://groups.yahoo.com/group/concatenative/post;_ylc=X3oDMTJwOXFwdDduBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzQ5NjAEc2VjA2Z0cgRzbGsDcnBseQRzdGltZQMxMzkxNTYwNjM5?act=reply&messageNum=4960">Reply via web post</a>
</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px; color: #FFF; background-color: #F2F2F2; border: 1px solid #EAEAEA; " >
<a href="mailto:[email protected]?subject=Re%3A%20%5Bstack%5D%20RE%3A%20Bitcoin%20scripting%20language%20extensions%2C%20collaboration%20requested" style="text-decoration: none; color: #2D50FD;">
Reply to sender </a>
</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px; color: #FFF; background-color: #F2F2F2; border: 1px solid #EAEAEA; ">
<a href="mailto:[email protected]?subject=Re%3A%20%5Bstack%5D%20RE%3A%20Bitcoin%20scripting%20language%20extensions%2C%20collaboration%20requested" style="text-decoration: none; color: #2D50FD">
Reply to group </a>
</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px; color: #FFF; background-color: #F2F2F2; border: 1px solid #EAEAEA; " >
<a href="http://groups.yahoo.com/group/concatenative/post;_ylc=X3oDMTJlZGkzcmt2BF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA250cGMEc3RpbWUDMTM5MTU2MDYzOQ--" style="text-decoration: none; color: #2D50FD">Start a New Topic</a>
</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px; color: #2D50FD; background-color: #F2F2F2; border: 1px solid #EAEAEA; " >
<a href="http://groups.yahoo.com/group/concatenative/message/4950;_ylc=X3oDMTM0dWVqNzNjBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzQ5NjAEc2VjA2Z0cgRzbGsDdnRwYwRzdGltZQMxMzkxNTYwNjM5BHRwY0lkAzQ5NTA-" style="text-decoration: none; color: #2D50FD;">Messages in this topic</a>
(11)
</td>
</tr>
</tbody>
</table>
<!------- Start Nav Bar ------>
<!-- |**|begin egp html banner|**| -->
<div id="ygrp-vital" style="background-color: #f2f2f2; font-family: Verdana; font-size: 10px; margin-bottom: 10px; padding: 10px;">
<span id="vithd" style="font-weight: bold; color: #333; text-transform: uppercase; "><a href="http://groups.yahoo.com/group/concatenative;_ylc=X3oDMTJlOHRqbzJ2BF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwN2dGwEc2xrA3ZnaHAEc3RpbWUDMTM5MTU2MDYzOQ--" style="text-decoration: none;">Visit Your Group</a></span>
<ul style="list-style-type: none; margin: 0; padding: 0; display: inline;">
</ul>
</div>
<div id="ft" style="font-family: Arial; font-size: 11px; margin-top: 5px; padding: 0 2px 0 0; clear: both;">
<a href="http://groups.yahoo.com/;_ylc=X3oDMTJkcGJmOHAyBF9TAzk3NDc2NTkwBGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA2dmcARzdGltZQMxMzkxNTYwNjM5" style="float: left;"><img src="http://l.yimg.com/ru/static/images/yg/img/email/new_logo/logo-groups-137x15.png" height="15" width="137" alt="Yahoo! Groups" style="border: 0;"/></a>
<div style="color: #747575; float: right;"> • <a href="http://info.yahoo.com/privacy/us/yahoo/groups/details.html" style="text-decoration: none;">Privacy</a> • <a href="mailto:[email protected]?subject=Unsubscribe" style="text-decoration: none;">Unsubscribe</a> • <a href="http://info.yahoo.com/legal/us/yahoo/utos/terms/" style="text-decoration: none;">Terms of Use</a> </div>
</div>
<!-- |**|end egp html banner|**| -->
</div> <!-- ygrp-msg -->
<!-- Sponsor -->
<!-- |**|begin egp html banner|**| -->
<div id="ygrp-sponsor" style="width:160px; float:right; clear:none; margin:0 0 25px 0; background: #fff;">
<!-- Start Recommendations -->
<div id="ygrp-reco">
</div>
<!-- End Recommendations -->
</div> <!-- |**|end egp html banner|**| -->
<div style="clear:both; color: #FFF; font-size:1px;">.</div>
</div>
<img src="http://geo.yahoo.com/serv?s=97359714/grpId=1839274/grpspId=1705006764/msgId=4960/stime=1391560639" width="1" height="1"> <br>
<div style="color: #fff; height: 0;">__,_._,___</div>
<!--~-|**|PrettyHtmlEnd|**|-~-->
</body>
<!--~-|**|PrettyHtmlStart|**|-~-->
<head>
<style type="text/css">
<!--
#ygrp-mkp {
border: 1px solid #d8d8d8;
font-family: Arial;
margin: 10px 0;
padding: 0 10px;
}
#ygrp-mkp hr {
border: 1px solid #d8d8d8;
}
#ygrp-mkp #hd {
color: #628c2a;
font-size: 85%;
font-weight: 700;
line-height: 122%;
margin: 10px 0;
}
#ygrp-mkp #ads {
margin-bottom: 10px;
}
#ygrp-mkp .ad {
padding: 0 0;
}
#ygrp-mkp .ad p {
margin: 0;
}
#ygrp-mkp .ad a {
color: #0000ff;
text-decoration: none;
}
#ygrp-sponsor #ygrp-lc {
font-family: Arial;
}
#ygrp-sponsor #ygrp-lc #hd {
margin: 10px 0px;
font-weight: 700;
font-size: 78%;
line-height: 122%;
}
#ygrp-sponsor #ygrp-lc .ad {
margin-bottom: 10px;
padding: 0 0;
}
#actions {
font-family: Verdana;
font-size: 11px;
padding: 10px 0;
}
#activity {
background-color: #e0ecee;
float: left;
font-family: Verdana;
font-size: 10px;
padding: 10px;
}
#activity span {
font-weight: 700;
}
#activity span:first-child {
text-transform: uppercase;
}
#activity span a {
color: #5085b6;
text-decoration: none;
}
#activity span span {
color: #ff7900;
}
#activity span .underline {
text-decoration: underline;
}
.attach {
clear: both;
display: table;
font-family: Arial;
font-size: 12px;
padding: 10px 0;
width: 400px;
}
.attach div a {
text-decoration: none;
}
.attach img {
border: none;
padding-right: 5px;
}
.attach label {
display: block;
margin-bottom: 5px;
}
.attach label a {
text-decoration: none;
}
blockquote {
margin: 0 0 0 4px;
}
.bold {
font-family: Arial;
font-size: 13px;
font-weight: 700;
}
.bold a {
text-decoration: none;
}
dd.last p a {
font-family: Verdana;
font-weight: 700;
}
dd.last p span {
margin-right: 10px;
font-family: Verdana;
font-weight: 700;
}
dd.last p span.yshortcuts {
margin-right: 0;
}
div.attach-table div div a {
text-decoration: none;
}
div.attach-table {
width: 400px;
}
div.file-title a, div.file-title a:active, div.file-title a:hover, div.file-title a:visited {
text-decoration: none;
}
div.photo-title a, div.photo-title a:active, div.photo-title a:hover, div.photo-title a:visited {
text-decoration: none;
}
div#ygrp-mlmsg #ygrp-msg p a span.yshortcuts {
font-family: Verdana;
font-size: 10px;
font-weight: normal;
}
.green {
color: #628c2a;
}
.MsoNormal {
margin: 0 0 0 0;
}
o {
font-size: 0;
}
#photos div {
float: left;
width: 72px;
}
#photos div div {
border: 1px solid #666666;
height: 62px;
overflow: hidden;
width: 62px;
}
#photos div label {
color: #666666;
font-size: 10px;
overflow: hidden;
text-align: center;
white-space: nowrap;
width: 64px;
}
#reco-category {
font-size: 77%;
}
#reco-desc {
font-size: 77%;
}
.replbq {
margin: 4px;
}
#ygrp-actbar div a:first-child {
/* border-right: 0px solid #000;*/
margin-right: 2px;
padding-right: 5px;
}
#ygrp-mlmsg {
font-size: 13px;
font-family: Arial, helvetica,clean, sans-serif;
*font-size: small;
*font: x-small;
}
#ygrp-mlmsg table {
font-size: inherit;
font: 100%;
}
#ygrp-mlmsg select, input, textarea {
font: 99% Arial, Helvetica, clean, sans-serif;
}
#ygrp-mlmsg pre, code {
font:115% monospace;
*font-size:100%;
}
#ygrp-mlmsg * {
line-height: 1.22em;
}
#ygrp-mlmsg #logo {
padding-bottom: 10px;
}
#ygrp-msg p a {
font-family: Verdana;
}
#ygrp-msg p#attach-count span {
color: #1E66AE;
font-weight: 700;
}
#ygrp-reco #reco-head {
color: #ff7900;
font-weight: 700;
}
#ygrp-reco {
margin-bottom: 20px;
padding: 0px;
}
#ygrp-sponsor #ov li a {
font-size: 130%;
text-decoration: none;
}
#ygrp-sponsor #ov li {
font-size: 77%;
list-style-type: square;
padding: 6px 0;
}
#ygrp-sponsor #ov ul {
margin: 0;
padding: 0 0 0 8px;
}
#ygrp-text {
font-family: Georgia;
}
#ygrp-text p {
margin: 0 0 1em 0;
}
#ygrp-text tt {
font-size: 120%;
}
#ygrp-vital ul li:last-child {
border-right: none !important;
}
-->
</style>
</head>
<!--~-|**|PrettyHtmlEnd|**|-~-->
</html>
<!-- end group email -->
--9nlWnTS9ocNmxdhsK3FKVLWiM6a5jwOaA8HvrLV--