はてなブックマーク

依存関係逆転の法則とは コアのロジックが実装の詳細に依存しないようにして、モジュール間を疎結合にしましょうという原則。 Wikipediaでは以下のように説明されている。 上位モジュールはいかなるものも下位モジュールから持ち込んではならない。双方とも抽象（例としてインターフェース）に依存するべきである。 "High-level modules should not import anything from low-level modules. Both should depend on abstractions (e.g., interfaces)." 抽象は詳細に依存してはならない。詳細（具象的な実装内容）が抽象に依存するべきである。 "Abstractions should not depend on details. Details (concrete implementations

Extensible effects は非常に便利なツールですが、検索してもその原理とか実装の詳細しか出てきません。こんなに便利なものがあまり知られていないのも残念なので、紹介記事を書いてみます。 なお、ここでは extensible effects の実装として Scala の atnos-org/eff を利用します。 この記事は初心者向けです。 モナドとかをほとんど知らなくても読めるように配慮しました。 ただし、Scala である程度のプログラミングができることは前提としています。 scalaz や cats を普通に使えるような人は説明文を飛ばしながら読んでください。 Extensible Effects のモチベーション 簡単にまとめると、プログラムの「文脈」を扱うためのものです。 ここで言う「文脈」は、プログラムの上で暗黙的に引き回したい情報のことです。 なんのことかわからない

cl パッケージは loop マクロのためにロードしている。 bind-key はキーバインド登録がわかりやすいので利用しているが、別に使う必要はない。 dired-narrow による絞り込み アルファベットや数字を一文字打つと、その文字で絞り込みを開始するようにする。 今回は絞り込みに dired-narrow-fuzzy を利用する。 しかし、元の定義だと最初に打った一文字により dired-narrow-fuzzy を起動させつつ、その文字で絞り込みを行うことができなかった。 （もしかするとやり方によってはできるかもしれないが、私はその方法を知らない） そのため、dired-narrow のソースコードの一部を拝借して書き換えた。 (defun my/dired-narrow-fuzzy (&optional arg) ;; <- 引数を増やす (interactive) (my/

型指定子 (type descriptor) 型指定子はクラスファイル上でフィールドやメソッドの型を表現するのに利用される文字列です。 型指定子は型消去されたあとのジェネリクスを含まない型情報を表現します。 よく勘違いしている人がいますが、ジェネリクスを含む型情報は別途 シグネチャ と呼ばれる属性としてクラスファイル上に残っています。 ただ、JVM はシグネチャを無視するため、実行時にはジェネリクスを含む型情報を取得できないのです。 プリミティブ型の型指定子 プリミティブ型の型指定子は各プリミティブ型に対応したアルファベット1文字です。 プリミティブ型とそれに対応する型指定子は以下の表の通りです。 long が L でないのは L がオブジェクト型の型指定子で利用されているためです。(たぶん) ではなぜオブジェクト型の型指定子に L を使ったのは聞かないで下さい。(class の L ?)

class_file { magic // 0xcafebabe minor // 2 byte major // 2 byte constants modifiers // 2 byte thisClass // 2 byte superClass // 2 byte interfaces fields methods attributes } クラスファイルの先頭には必ず 0xcafebabe (カフェベイビー) が入っています。 minor, major はクラスファイルのバージョン番号が入っています。 バージョン番号の次は 定数プール と呼ばれる構造体です。 定数プールはクラスファイルの大部分を占めており、クラスファイルの様々な場所から参照されます。 modifiers はクラスのアクセス修飾子等を表現するフラグの集合です。 thisClass に入っている値は定数プールのインデッ

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?