Even if you could force the external entity to declare the full lineage of the input data (i.e. 100% dependently typed), that would require that the scripting can't be programmable, i.e. the external I/O capability would be eliminated. If you don't understand why, please go learn about the typing systems Coq and Epigram.
I just came again across this initiative
http://www.idni.org/
like much of the discussion in this thread,
it occupies the higher stratosphere of crypto-related theory,
but as much as I'm able to make out of it, it endeavors to steer
clear of many pitfalls that have been explored here by employing
purely functional language "that contains a blockchain support built-in"
They are trying to apply 100% dependent typing to a distributed database by limiting the universe within which a script resides to a family of rules:
http://tauchain.org/tauchain.pdf
This means the programmability of that universe ("locally, not the network" meaning they also can't control external I/O) is limited to the permutations of the rules (which must not be unbounded, else it is Turing complete and thus no longer dependently typed). These universes won't be able to talk to each other unless by intepreter universe which speaks both families perhaps.
Some where the programmer will bump into a limitation that can't work. This is why Haskell MUST have the UnsafeIO class.
The fundamental issue will not be ameliorated by any design. I am not that worried about external failure, for as long as the external failure can be attributed to using a certain set of external logic (and thus not kill the block chain system's perceived value and thus not kill the Nash equilibrium). We need to think about how externalities will integrate with the programmable block chain.
I am really not ready to research that. I have other more important things to work on first.
The point is that scriptable block chains are something that won't mature and become a real adoption market until after many years from now (perhaps decades). The wild price rise of ETH is much too premature and purely hype.
Hi I want to ask you about tauchain, im quoting this post since you mentioned it here.
Can you explain this in layman terms? Im not a coder but I like to know what im investing into, and I have managed to understand the point of everything I've invested into but this tauchain thing is too tricky.
While I learn about it I want to know if this is competition for Ethereum and Maidsafe or it's a third different thing?
Do you think it's a good long term investment that may eventually blow up so getting some "just in case" makes sense?
Do you think that it will get a sooner-than-expected big pump like Ethereum and Maidsafe did due being a project that's at least interesting (just like those 2) as opposed to most of the altcoins which are crap?
Let me make it simpler. All the coins mentioned above will fail. Only own them for the P&D gambler's gains.
Summarizing all detailed arguments for layman is something on my future todo list. I really don't think you are going to understand unless we have a 1 month lecture series that every speculator needs to pass with a grade of at least a B. For example, how do I explain esoteric computer science topic of "dependent typing" to a layman
You really think ETH and MAID are doomed? I've heard ETH has problems scaling because the blockchain is already insanely big, then MAID has this problem of the incentive token (they are having problems going from "MaidsafeCoin" to "SafeCoin") and some say some of those problems are unfixable.
Even if they had unfixable problems, I think something like Tauchain may have good pump %. The problem is I don't even know what token does that thing use? How are you supposed to "invest in Tauchain"? it doesn't have a ticket.
Let me make it simpler. All the coins mentioned above will fail. Only own them for the P&D gambler's gains.
Summarizing all detailed arguments for layman is something on my future todo list. I really don't think you are going to understand unless we have a 1 month lecture series that every speculator needs to pass with a grade of at least a B. For example, how do I explain esoteric computer science topic of "dependent typing" to a layman
Summarizing all detailed arguments for layman is something on my future todo list. I really don't think you are going to understand unless we have a 1 month lecture series that every speculator needs to pass with a grade of at least a B. For example, how do I explain esoteric computer science topic of "dependent typing" to a layman
The ignorance is strong with this one.
Don't take advice from someone who clearly does not know what he is talking about.
A 13 year old programmer knows more than this guy.
The guy who solves a 50 year old major problem in computer science and who is designing a new computer programming language is what is known as a 1 in 50 rarity top programmer:
https://bitcointalk.org/index.php?topic=1219023.msg14715888#msg14715888
https://bitcointalk.org/index.php?topic=1219023.msg14685179#msg14685179
https://bitcointalk.org/index.php?topic=1219023.msg14698495#msg14698495
There aren't any 13 year old programmers on the planet who can match my computer science expertise. If you randomly picked 100 programmers, there is a good chance I am in the top 2.
If you are that smart why you didn't come up with segwit? :p
Are you going to make a super coin that fixes everything? I would if I was that smart.