Hogeyama

ドメインモデル貧血症はなぜ生まれるのか — Decision パターンで DDD トリレンマを解くについて、Vladimir Khorikov さんなら「いや、それは impure だよ」と言う気がしてきた。説明してみる。

まず Khorikov さんは、プロセス外への依存をインターフェースやデリゲートで包んでも、純粋性は回復しないと明言している。これは次のようなものを指す。

interface IViewService {
  boolean isFollowing(UserId viewer, UserId author);
  boolean isVip(UserId viewer);

これは何？

Docker公式ではaptのキャッシュの方法として以下の例を紹介している。しかし、例の中で言及されていない id をうまく設定しないとキャッシュがうまく動かない（あるいは最悪依存関係が壊れる？）のではないかと気づいたのでデモンストレーションする

# syntax=docker/dockerfile:1
FROM ubuntu
RUN rm -f /etc/apt/apt.conf.d/docker-clean; echo 'Binary::apt::APT::Keep-Downloaded-Packages "true";' > /etc/apt/apt.conf.d/keep-cache
RUN --mount=type=cache,target=/var/cache/apt,sharing=locked \

	#!/usr/bin/env -S deno run -A
	import * as path from "https://deno.land/std@0.208.0/path/mod.ts";
	import * as posix from "https://deno.land/std@0.208.0/path/posix/mod.ts";
	import { walk } from "https://deno.land/std@0.208.0/fs/walk.ts";

	interface Note {
	relPath: string;
	absPath: string;
	content: string;
	}

	/**
	* Example:
	*
	* ```java
	* withEarlyReturn(Result.class, (c) -> {
	* var value = switch (someAction()) {
	* case Success(var value) -> {
	* return value;
	* }
	* case Failure(var error) -> {

	init:
	#!/usr/bin/env -S bash -euo pipefail -o noclobber
	echo "[Generating Dockerfile...]"
	cat - > Dockerfile <<'EOF'
	FROM redmine:6.0.3
	RUN apt-get update && apt-get install -y --no-install-recommends \
	build-essential \
	pkg-config \
	libxml2-dev \
	libxslt1-dev \

	module TestUtil.PostgreSQL
	( PostgreSQL (..)
	, withPostgreSQL
	, withSharedPostgreSQL
	, runQueryBeforeAll
	, runQueryBefore
	, stopAllContainers
	) where

	import Control.Monad.Logger (MonadLoggerIO, runNoLoggingT, runStderrLoggingT)

	// Place your key bindings in this file to override the defaultsauto[]
	[
	{
	"key": "ctrl+n",
	"command": "workbench.action.files.save"
	},
	{
	"key": "ctrl+s",
	"command": "-workbench.action.files.save"
	},

	-- \|
	-- import文の後に
	-- @
	-- -- $setup
	-- -- >>> import DoctestUtil
	-- @
	-- と書いておくと便利
	module DoctestUtil
	( pretty
	, capture

	-- [Control.Monad.IO.Unlift](https://hackage.haskell.org/package/unliftio-core-0.2.1.0/docs/Control-Monad-IO-Unlift.html#t:MonadUnliftIO)
	-- 定義はできるがInverse lawが成り立たないのでダメ
	-- withRunInIO (\_ -> throwIO e) === liftIO (throwIO e)
	-- にならないといけないが、pure (Left e)になってしまう。
	-- たぶんjoinの保存則も成り立たないんじゃないかな。
	--
	-- あと、askUnliftIOを使うとtryのスコープを抜けてしまって酷いバグになりそう。
	-- askUnliftIO = withRunInIO (\run -> return (UnliftIO run))
	instance (MonadUnliftIO m, Exception e) => MonadUnliftIO (ExceptT e m) where
	withRunInIO inner =

	use flake
	PATH_add node_modules/.bin