関数とリストをパラメーターとして受け取る関数を作成しています。パラメータ関数とリストの値の型は同じでなければなりません。どうすればそれを保証できますか?
私が試してみました：
(define ( (func -> 'a) [lst : (Typeof 'a)])
....)
しかし、私はそれを機能させることができませんでした。plait のチュートリアルも見ましたが、関連するものは見つかりませんでした。
特定の戻り値の型の関数を受け入れる関数を持つことさえ可能ですか?
質問する
171 次