Saya mencoba untuk menulis pencarian cabang dan terikat pada himpunan semua fungsi f: D -> R, di mana ukuran domainnya kecil (| D | ~ 20) dan jangkauannya jauh lebih besar (| R | ~ 2 ^ 20 ). Awalnya, saya datang dengan solusi berikut. (builder (domain range condlist partial-map) (let ((passed?...