From 40008ffa23c7deccf7e04ba409072f7a2517d7ef Mon Sep 17 00:00:00 2001 From: "Marcus \"Mark\" Godwin" Date: Mon, 25 Apr 2022 01:45:07 -0400 Subject: [PATCH] Add a palindrome test file. --- palindrome.kp | 49 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 49 insertions(+) create mode 100644 palindrome.kp diff --git a/palindrome.kp b/palindrome.kp new file mode 100644 index 0000000..3ea6343 --- /dev/null +++ b/palindrome.kp @@ -0,0 +1,49 @@ + +((wrap (vau root_env (quote) +((wrap (vau (let1) +(let1 lambda (vau se (p b1) (wrap (eval (array vau p b1) se))) +(let1 current-env (vau de () de) +(let1 cons (lambda (h t) (concat (array h) t)) +(let1 Y (lambda (f3) + ((lambda (x1) (x1 x1)) + (lambda (x2) (f3 (lambda (& y) (lapply (x2 x2) y)))))) +(let1 vY (lambda (f) + ((lambda (x3) (x3 x3)) + (lambda (x4) (f (vau de1 (& y) (vapply (x4 x4) y de1)))))) +(let1 let (vY (lambda (recurse) (vau de2 (vs b) (cond (= (len vs) 0) (eval b de2) + true (vapply let1 (array (idx vs 0) (idx vs 1) (array recurse (slice vs 2 -1) b)) de2))))) + (let ( + rec-lambda (vau se (n p b) (eval (array Y (array lambda (array n) (array lambda p b))) se)) + + palindrome (rec-lambda palindrome (s) (let ( + ; _ (log "palindrome called") + length (- (len s) 1) ; -1 because we don't care about \n chars + ; _ (log "length is" (str length)) + ) (cond (= length 0) true + (= length 1) true + true (let ( + ; _ (log "getting first + last chars") + first (idx s 0) + last (idx s (- length 1)) + ; _ (log "Checking chars") + ; _ (log first " == " last) + )(cond (!= first last) false + true (palindrome (slice s 1 -2))) + ) + ))) + palindrome_wrap (lambda (s) (cond (palindrome s) (concat "TRUE! " s " is a palindrome!!\n") + true (concat "FALSE! " s " is not a palindrome!!\n"))) + + + monad (array 'write 1 "enter string to check if it is a palindrome: " (vau (written code) + (array 'read 0 60 (vau (s code) + (array 'write 1 (palindrome_wrap s) (vau (written code) + (array 'exit 0) + )))))) + ) monad) +; end of all lets +)))))) +; impl of let1 +)) (vau de (s v b) (eval (array (array wrap (array vau (array s) b)) v) de))) +; impl of quote +)) (vau (x5) x5))