そう、関数です。キーバインドとして使える関数を書きます。 例。今のバッファのメジャーモードをミニバッファに出力する関数。 (defun buffer-major-mode() "This is functoin that shows major-mode." (interactive) (message "%s" major-mode)) (global-s…

記事の概要 このまえのHaskell読書会で、この記事が挙げられましたので、ちょっと調べたのです。 型レベルプログラミングの会 - kmizuの日記kmizu.hatenablog.com 変数ではなく型でプログラミングをするというイメージです。 implicitly ちょくちょく出てく…