deploy: fb5f794a433520755bac246a3dae597c7a8f801f

1 files changed, 18 insertions, 0 deletions

diff --git a/archives/2026/08/index.html b/archives/2026/08/index.html
index 063ca154..0659a200 100644
--- a/archives/2026/08/index.html
+++ b/archives/2026/08/index.html
@@ -182,6 +182,24 @@
 
         <div class="post-list-item">
             <div class="post-title">
+            <a href="/2026/08/20/%E9%9B%86%E5%90%88%E8%AE%BA%E7%B1%BB%E5%9E%8B%E4%B8%8E%E6%B8%90%E8%BF%9B%E5%BC%8F%E7%B1%BB%E5%9E%8B%E6%A3%80%E6%9F%A5%EF%BC%9AElixir-%E7%B1%BB%E5%9E%8B%E7%B3%BB%E7%BB%9F%E8%AE%BE%E8%AE%A1%E5%8E%9F%E5%88%99%E8%AF%A6%E8%A7%A3/">
+                
+                    集合论类型与渐进式类型检查：Elixir 类型系统设计原则详解
+                
+                </a> 
+            </div>
+            
+            <span class="post-date">Aug 20, 2026</span>
+        </div>
+
+    
+
+        
+
+        
+
+        <div class="post-list-item">
+            <div class="post-title">
             <a href="/2026/08/18/%E6%88%BF%E9%A2%A4%E4%B8%8E%E8%A1%80%E6%A0%93%E6%A0%93%E5%A1%9E%EF%BC%9A%E4%BB%8E%E5%B7%A6%E5%BF%83%E8%80%B3%E8%A1%80%E6%B5%81%E6%B7%A4%E6%BB%9E%E5%88%B0%E7%BC%BA%E8%A1%80%E6%80%A7%E5%8D%92%E4%B8%AD/">
                 
                     房颤与血栓栓塞：从左心耳血流淤滞到缺血性卒中