Viewing a single comment thread. View all comments

1

no_defun_allowed wrote (edited )

Not as noice as this.

(defun magic (x)
      (declare (string x))
      (the string (turing-machine x)))
2

Moonside wrote

Can you eta reduce

magic :: String -> String
magic = turingMachine
1

no_defun_allowed wrote (edited )

throws smoke bomb and switches Lisp dialect

(define magic turing-machine)

Maybe.