Quint
/// A state variable to store the balance of each account var balances: str -> int pure val ADDRESSES = Set("alice", "bob", "charlie") action withdraw(account, amount) = { // Decrement balance of account by amount // Whoops, we forgot to check for enough balance balances' = balances.setBy(account, curr => curr - amount) } // ... /// Invariant: Account balances should never be negative val no_negat
プログラミングを続けていく方法
は～い、IT好きなメグミンです。 プログラミングをある程度できるようになると、やることがなくなってくると思います。 そんなときどうしたら良いのかということですけど、他の人からヒントをいただいてプログラミングをしていけば良いのです。 他の人からヒントを貰って、アレンジする分には問題ないと思います。 ビジネスでも、アレンジなんて数え切れないほどありますから(笑) プログラミングの世界でも、他の人が作成したプログラムを解析してみると、いろいろと分かることが多いと思います。 パクることに罪悪感を持つ人もいるかもしれませんが、一つの考え方ですけど、ほとんどの人がパクっている可能性もあるのです。 その人が、書籍やインターネットなどで勉強しているのですから。 勉強も何もせずに、プログラミングができるようになる人など、私からしたらほとんどいないと思います。 ただし、あくまでも個人でプログラミングを勉強する
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
