var i = 1; var j = 2; since these fit in a uint8, they are typed as such, but then i - j underflows to 255.
> reads Solidity integer promotion & typing rules > Cries in bitcoin. Seriously, those are some interesting typing rules.
-
-
-
You know, I now understand the DAO hack. _runs away_
-
I'm going to say this: you can have a smart contract language, or you can have a distributed general purpose VM, but not both (easily).
-
What I want from contracts: referential transparency, proof of termination, proofs of correctness. Aka Sub-Turing & forward-chaining rules.
-
I'm not even convinced that 90% of developers _need_ a Turing complete language for most of their work anyway. /cc
@sethlaw -
"it looks like you're trying to implement a distributed state machine." "would you like some javascript?"
-
I'm having to chat about integer promotion bugs, type inference, TOCTOU, &c. Pretty... not fun
会話の終了
新しい会話 -
-
-
You cry in bitcoin? Bottle your tears and you'll be rich!
-
Joke's on you, I only cry in fractions
-
Fractions of a bitcoin are still valuable.
-
Honestly the main way in which they are spent to be clear
会話の終了
新しい会話 -
読み込みに時間がかかっているようです。
Twitterの処理能力の限界を超えているか、一時的な不具合が発生しています。やりなおすか、Twitterステータスで詳細をご確認ください。