問題タブ [plai]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
scheme - タイプの空のリストへの短所が機能しない
私はプログラミング言語に取り組んでいます：アプリケーションと解釈の本の第6章http://cs.brown.edu/courses/cs173/2012/book/From_Substitution_to_Environments.html
本で説明されているように修正を適用しましたが、短所はソースで参照されている空のリストに型を追加していません。パラメータとして渡されていないときに mt-env を設定する方法についての手がかりはありますか?
以下は、必要に応じてコンテキストの完全なコードへのリンクです。interp 関数の appC ケースは、私の問題領域の特定の場所です。 https://github.com/MickDuprez/plai/blob/master/Chapter%206/chapter-6.rkt
scheme - Racket/Plait で特定のタイプの関数をパラメータとして与える方法は?
関数とリストをパラメーターとして受け取る関数を作成しています。パラメータ関数とリストの値の型は同じでなければなりません。どうすればそれを保証できますか?
私が試してみました：
しかし、私はそれを機能させることができませんでした。plait のチュートリアルも見ましたが、関連するものは見つかりませんでした。
特定の戻り値の型の関数を受け入れる関数を持つことさえ可能ですか?