Using Trait Objects That Allow for Values of Different Types - The Rust Programming Language 以下のメソッドを含むトレイトは、トレイトオブジェクトになれない (オブジェクトセーフではないため） Selfを返す ジェネリクス型 Note: Swiftでも型として…

元ネタ 有限オートマトン - Wikipedia 手続きを表す機械を表すことができる 2種類存在する アクセプタ/リコグナイザ トランスデューサ アクセプタ/リコグナイザ (Accepta / Recognize) 受容もしくは理解 niceを受容する有限オートマトン 初期状態: どこから…

元ネタ COS 326: Functional Programming Type-directed Programming methodology とは 関数とその引数と返り値の型を書く その関数の目的とコンディションについてコメントを書く その関数を使うための参考例を書く 関数本体を書く (この部分が一番重要!) …