common lispで遊んでいるとき、型があった方が流れがわかりやすくなるから、いつの間にか、Haskellの記法を真似て関数の上にコメントとして書いていたりする。 ;; Number -> Number -> Number (defun add-xy (x y) (+ x y)) 「Numberは数値の型で、これはNum…