propella https://blog.hatena.ne.jp/propella/ 言語ゲーム https://propella.hatenablog.com/ 現実逃避的に http://d.hatena.ne.jp/propella/20070129/p1 の続き。GUI フレームワークを形式的に設計するのに Functional Reactive Programming が有効である事が分かったわけですが、さらに調査を進める前に今の自分の考えをまとめます。 目的 あるモデルを画面上で操作するためには大まかに二つの手法があります。 更新伝播(MVC) モデルが更新された時点でそれを参照しているビューをすぐに更新する。 利点: ビューが確実にモデルに反映される。 欠点: モデルの更新頻度が高いと無駄。例えば一秒間にモデルが 1000回更新されてもどう… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpropella.hatenablog.com%2Fentry%2F20070313%2Fp1" title=" 一般的で形式的な GUI フレームワークの研究 2 - 言語ゲーム" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-03-13 00:00:00 rich https://propella.hatenablog.com/entry/20070313/p1 1.0 100%