blog.git/source/_posts/集合论类型与渐进式类型检查：Elixir-类型系统设计原则详解.md, branch main Personal blog (Hexo) — https://blog.somhairle.bid http://git.somhairle.bid/blog.git/atom?h=main 2026-08-20T13:08:39+00:00 refine: make Elixir paper blog more natural 2026-08-20T13:08:39+00:00 Somhairle H. Marisol muqiu-han@outlook.com 2026-08-20T13:08:39+00:00 urn:sha1:9feaefdf4f6e4dd53ade997aaeb108ec44a134de docs: add Elixir type system paper analysis 2026-08-20T03:52:23+00:00 Somhairle H. Marisol muqiu-han@outlook.com 2026-08-20T03:52:23+00:00 urn:sha1:fb5f794a433520755bac246a3dae597c7a8f801f