Viewing a single comment thread. View all comments

no_defun_allowed wrote (edited )

Reply to comment by Moonside in Test Thread by Moonside

Not as noice as this.

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

Moonside OP wrote

Can you eta reduce

magic :: String -> String
magic = turingMachine
2

no_defun_allowed wrote (edited )

throws smoke bomb and switches Lisp dialect

(define magic turing-machine)

Maybe.

1