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.

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

(1-) (likes tom dick)
yes

(2-) (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