In some programming languages you can inspect functions, either by reflection on the bytecode or as in Picolisp: $ pil + : (de blepis (x y) (+ x y]

In some programming languages you can inspect functions, either by reflection on the bytecode or as in Picolisp: $ pil + : (de blepis (x y) (+ x y] -> blepis : (car 'blepis) -> ((x y) (+ x y))