TaPLのML実装をRustでやってみるシリーズ「7章 ラムダ計算のML実装」 - Qiita

TAPL本(Types And Programming Language、型システム入門)の各章にある「ML実装」の例をRustにポーティングしてみるシリーズ、「7章のラムダ計算のML実装」です。4章のに比べるといきなり難易度が上がります。全体からしたら序の口でしょうが。 説明 unstableなゲート化された機能box_patternsを1箇所で使用しているので、Rust 1.0 betaではコンパイルできず、unstable機能がerrorにならないnightly版でしかコンパイルできません。趣旨からして、おそらく1.0 release版でも実行できないでしょう。でもこれを使わずに実装することができなかったのでやむなく。(参考) 以下でnamed.rsは、名無し項ではなく、通常の項を表現するものです。7章には指導がないが、名無し項への変換がないと余りに不便なので作りました。 以下のよう

[nacika_inscatolare]

スタックトレース stack trace “環境変数RUST_BACKTRACEを1にするとpanic!時などにスタックトレースが表示される。env RUST_BACKTRACE=1 cargo test みたいに使うとよろし。”