記事の概要
このまえのHaskell読書会で、この記事が挙げられましたので、ちょっと調べたのです。
変数ではなく型でプログラミングをするというイメージです。
implicitly
ちょくちょく出てくるimplicitlyってなんぞって思ったのですが、型の比較などをしてくれるやつのようです。
この記事自体は、こちらの記事の翻訳のようで。
Type-Level Programming in Scala, Part 2: implicitly and =:= | Apocalisp
このまえのHaskell読書会で、この記事が挙げられましたので、ちょっと調べたのです。
変数ではなく型でプログラミングをするというイメージです。
ちょくちょく出てくるimplicitlyってなんぞって思ったのですが、型の比較などをしてくれるやつのようです。
この記事自体は、こちらの記事の翻訳のようで。
Type-Level Programming in Scala, Part 2: implicitly and =:= | Apocalisp
そう、関数です。キーバインドとして使える関数を書きます。
例。今のバッファのメジャーモードをミニバッファに出力する関数。
(defun buffer-major-mode() "This is functoin that shows major-mode." (interactive) (message "%s" major-mode)) (global-set-key (kbd "C-x x v") 'buffer-major-mode)
詳しい書き方はこっちのほうが詳しいと思いました。
Hello elisp World | taichino.com
ここにもinteractive is 何っていうのが書いてあります。