Partial Functions

5.1. Partial Functions

TBoS p.40

In cases where no rule applies Shen will raise an error and offer to track the offending function.

(define likes
       tom dick -> yes
       dick harry -> yes
       harry tom -> yes)
likes

(likes tom dick)
yes

(likes dick fred)
partial function likes
track likes? (y/n) n

(track f) will trace a function f and (untrack f) will untrace it.

4. The Core Language

4.6 Sequences

5 Defining Functions

6. Packages

7. Shen-YACC

8. Shen Prolog

9. Types

10 Sequent Calculus

10.2 Exotic Types