fugafuga.write

日々のログ

仕事用PCでのGithubアカウントの切り替え

まず brew で direnv 入れる

仕事用のディレクトリを作成し、.envrcとして以下のファイルを設置

NAME="<仕事用のアカウントID>"
MAIL="<仕事用のemail address>"

export GIT_COMMITTER_NAME=$NAME
export GIT_COMMITTER_EMAIL=$MAIL
export GIT_AUTHOR_NAME=$NAME
export GIT_AUTHOR_EMAIL=$MAIL

すごいH本 part99

Zipper

Haskellで木構造の要素を変更したい場合、ルート要素から指定の要素が見つかるまで探索が必要になる。 また、前回更新した要素の近くの要素を更新したい場合などでもルートから探す必要がある。 これは効率が悪い。

そこでZipperを使ってデータ構造の要素の更新を簡単にする。

続きを読む