David Barbour

2015 **bump** I've recently started using blaze-html and this issue stands out.

I think this is a great direction to go. It allows abstraction of the type descriptors. Do keep in mind the possibility of: `"a b -- b a" parseType`. On...

I forgot that Kitten is using the lambda variables as value words, that is `x` is constrained to refer to a value. In that case, we can simplify a bit,...

I have discovered a potential issue with this translation: when we express conditional behaviors with multiple branches (like `[onTrue][onFalse]if`), we will copy our value into each branch, then select just...

So, I know you don't need it for Kitten, but I did find a simple solution for avoiding construction of unnecessary closures in Awelon where booleans are just Church-encoded functions...

Maybe skip the name 'IO' (except maybe as a common aggregate) and just use 'Filesystem' vs. 'Network' vs. etc. On Wed, Feb 19, 2014 at 10:51 PM, strager [email protected] wrote:...

Just a thought: for foreign imports, consider an 'effect' for each library. Would improve portability and security. On Thu, Feb 20, 2014 at 12:36 PM, Jon Purdy [email protected]: > Okay,...

Of potential interest is some ability to apply homomorphic encryption, or at least a weaker ability to specify transformations for a sealed value without actually unsealing it (and without sharing...

For secure sealer/unsealer pairs, an ECC public key mechanism might work pretty well. It can allow much smaller key sizes compared to RSA (e.g. 384 bits, same size as a...

Need to remember: sealed values must use a block type, to preserve substructural properties. Maybe model a sealed value as a block to which you pass the key? ``` sealed...