Contracts

Contracts tell us how to use a function. For example: ellipse : Number, Number, String, String -> Image tells us that the name of the function is ellipse, and that it takes four inputs (two Numbers and two Strings). From the contract, we know (ellipse 100 50 "outline" "red") will evaluate to an Image.

Name Domain Range

Name
`;`	`:`	`->`
`;`
`;`	`:`	`->`
`;`
`;`	`:`	`->`
`;`
`;`	`:`	`->`
`;`
`;`	`:`	`->`
`;`
`;`	`:`	`->`
`;`
`;`	`:`	`->`
`;`
`;`	`:`	`->`
`;`
`;`	`:`	`->`
`;`
`;`	`:`	`->`
`;`

;

:

->

;

:

->

;

:

->

;

:

->

;

:

->

;

:

->

;

:

->

;

:

->

;

:

->

;

:

->

;

These materials were developed partly through support of the National Science Foundation, (awards 1042210, 1535276, 1648684, and 1738598). Bootstrap:Algebra by Emmanuel Schanzer, Jen Poole, Ed Campos Jr, Flannery Denny, and Dorai Sitaram is licensed under a Creative Commons 4.0 Unported License. Based on a work at www.BootstrapWorld.org. Permissions beyond the scope of this license may be available by contacting schanzer@BootstrapWorld.org.