String Handling Functions

5.3 String Handling Functions

TBoS p.80-82, SD

Eliminate "Julius Caesar" in favour of "Mark Anthony".

(define rep
       "" -> ""
       (@s "Julius Caesar" Ss) -> (@s "Mark Anthony" (rep Ss))
       (@s S Ss) -> (@s S (rep Ss)))
(fn rep)

(rep "Julius Caesar invaded Britain")
"Mark Anthony invaded Britain"

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