Quote from: delulo on February 07, 2014, 09:56:44 pm

Quote from: toast on February 07, 2014, 04:00:29 pm

What we really need is a new DSL for dealing with "cryptographic types" to use as building blocks for contracts. If this language is designed carefully we can reap tremendous benefits from various static analysis. The platform would then be an engine/interpreter for this language, with blockchains just being a special case of message types it could handle.

Think SQL:Databases::??:DACs

Would/ Could such a DSL be restricted to bitshares tools/source code/platform?

For what I'm thinking of: no, it would be very general, not even specific to particular cryptographic algorithms. All cryptographic hashes, for example, perform the same information-theoretic function.

What we really need is a new DSL for dealing with "cryptographic types" to use as building blocks for contracts. If this language is designed carefully we can reap tremendous benefits from various static analysis. The platform would then be an engine/interpreter for this language, with blockchains just being a special case of message types it could handle.

Think SQL:Databases::??:DACs

Quote from: delulo on February 06, 2014, 05:11:02 pm

I have some strong connections to high roller players that I would support here if you would find that helpful in some way at some point...

Are you on 2+2?

Interesting but guess they could  just use bitshares  
Makes me wonder if 3I  manage to hire any C++ developer now that the project started 3 month ago. In fact It will be cool to know if they mange to hire anyone lately  or if there is a proactive plan to do that anytime soon. Hope that upcoming newsletter  will have some positive news in it.