Ejercicio: ¿Los ejemplos tienen los mismos contratos?

Direcciones: Para cada par de ejemplos a continuación, decida si los dos ejemplos tener el mismo contrato Si lo hacen, completa el contrato en el espacio previsto. Si no, escriba algunas palabras explicando por qué.

; : -> (EXAMPLE (mystery "+" 4 5) (+ 4 5)) (EXAMPLE (mystery "sqrt" 25)) (sqrt 25))
; : -> (EXAMPLE (mystery (triangle 70 "solid" "green")) (triangle 140 "solid" "green")) (EXAMPLE (mystery (circle 100 "solid" "blue")) (circle 200 "solid" "blue"))
; : -> (EXAMPLE (mystery "red") (triangle 140 "solid" "red")) (EXAMPLE (mystery "blue" "circle")) (circle 140 "solid" "blue"))
; : -> (EXAMPLE (mystery "circle" 4) (* pi (sqr 4))) (EXAMPLE (mystery "square" 5)) (sqr 5))
; : -> (EXAMPLE (mystery "dog") 3) (EXAMPLE (mystery "cat") "kitten")
; : -> (EXAMPLE (mystery "dog") 3) (EXAMPLE (mystery "kitten") 6)
; : -> (EXAMPLE (mystery 4 5 "big") (scale 2 (rectangle 4 5 "solid" "blue"))) (EXAMPLE (mystery 10 "small" 4) (scale .5 (rectangle 10 4 "solid" "blue")))

Bootstrap:Algebra por Emmanuel Schanzer, Emma Youndtsmith, Kathi Fisler, and Shriram Krishnamurthi está licenciado bajo Creative Commons 4.0 Unported License. Basado en un trabajo en www.BootstrapWorld.org. Los permisos que excedan el alcance de esta licencia pueden estar disponibles poniéndose en contacto con schanzer@BootstrapWorld.org.