如何构建轻量级Yesod Web服务Docker镜像？

1. 采用多阶段构建分离编译与运行环境 #

Haskell官方构建镜像包含大量编译工具和依赖库，体积动辄数GB。用多阶段构建可以只保留运行所需的最小环境：

• 第一阶段用haskell:latest作为构建镜像，完成项目编译，生成可执行文件；
• 第二阶段切换到轻量级基础镜像（如debian:bookworm-slim），仅复制编译好的可执行文件和必要的运行时依赖。
  示例Dockerfile结构：

# 编译阶段
FROM haskell:latest as builder
WORKDIR /app
COPY . .
# 静态编译减少动态依赖，同时启用优化
RUN cabal build --enable-executable-static --optimize
# 复制生成的可执行文件到指定路径
RUN cp $(cabal list-bin dhscanner-your-service) /app/service-exec

# 运行阶段
FROM debian:bookworm-slim
WORKDIR /app
COPY --from=builder /app/service-exec .
# 安装Yesod运行必需的系统库（如libgmp），安装后立即清理缓存
RUN apt-get update && apt-get install -y --no-install-recommends libgmp10 \
    && rm -rf /var/lib/apt/lists/*
CMD ["./service-exec"]

2. 静态编译可执行文件 #

启用静态编译可以让可执行文件包含所有依赖库，无需依赖系统动态库，甚至可以用scratch这类空镜像作为运行环境：

• Cabal构建时添加--enable-executable-static参数；
• 若用Stack构建，添加--static参数，并在stack.yaml中配置ghc-options: ["-static"]；
• 注意：部分Haskell库可能不支持静态编译，需调整依赖列表，优先选择支持静态链接的版本。

3. 精简Cabal依赖与编译配置 #

既然你的服务只处理JSON、不生成HTML也不用数据库，完全可以砍掉冗余依赖：

• 在.cabal文件中移除yesod-static、persistent、template-haskell（如果没用到模板）等非必需库，只保留yesod-core、aeson、wai等核心依赖；
• 启用编译优化：添加--optimize参数，GHC会自动做代码裁剪和压缩，同时减少可执行文件体积；
• 在.cabal的library或executable段添加split-objs: True，让GHC将每个模块编译为独立目标文件，链接时仅包含实际用到的部分。

4. 选用更轻量化的基础镜像 #

• 优先用debian:bookworm-slim（约100MB）替代完整Debian镜像，或者ubuntu:jammy-minimal；
• 若追求极致体积，可尝试alpine（约5MB），但需注意：GHC默认编译的可执行文件依赖glibc，而Alpine用musl libc，需要在构建阶段用musl交叉编译，或者安装glibc兼容层；
• 极端场景下用scratch镜像，但需手动复制静态可执行文件和必要的系统文件（如时区数据库，若服务需要处理时间）。

5. 清理构建冗余文件 #

• 编译阶段完成后，清理Cabal缓存、下载的依赖包和临时构建文件：RUN cabal clean && rm -rf ~/.cabal/packages ~/.cabal/store；
• 运行阶段安装系统依赖后，立即清理APT缓存：rm -rf /var/lib/apt/lists/*，避免残留安装包占用空间。

6. 剥离可执行文件调试信息 #

编译完成后，用strip命令移除可执行文件中的调试符号，能进一步缩小体积10%-30%：

# 在构建阶段或运行阶段执行
RUN strip /app/service-exec

内容的提问来源于stack exchange，提问作者OrenIshShalom