]パッと見、雰囲気だけは伝わりますが、個々の部分を見ていくと、よく分からないコードですね。UPDATEやVIEWの部分を見ると、関数の宣言方法が何となく分かります。関数の型注釈を書いてから、関数を書く。戻り値の型」という形で、引数の型は複数書ける。関数の本体」という形で書ける。Architectureが優れていることの一つに、プロダクトに変更が必要な場合はとても簡単に拡張できることが挙げられます。あなたのプロダクトマネージャが"reset"機能を思い付いたとしましょう。新しいボタンはカウンタを0にリセットします。この機能を追加するにはMsg型の実装部分にもどってもう一つの可能性のResetを追加しましょう。メッセージを受け取ったときに何をすべきかをupdate関数に記述して下さい。最後はviewにボタンを追加して下さい。]Msg型に「Reset」も追加。case式に「Reset」も追加。modelに変えたらうまくいった。Reset」のボタンも追加。[]」も追加してみた。modelという計算式を入れたことかな。