deploy: c746b72779f35ffe0a2a99aa0ced109eee299c26

8 files changed, 302 insertions, 14 deletions

diff --git a/2023/01/21/二零二三年一月二十一日/index.html b/2023/01/21/二零二三年一月二十一日/index.html
index 455e6069..f3e2e363 100644
--- a/2023/01/21/二零二三年一月二十一日/index.html
+++ b/2023/01/21/二零二三年一月二十一日/index.html
@@ -48,13 +48,20 @@
 
 
 
+    <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+    <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
 
 
 
 
 
 
-  <meta name="generator" content="Hexo 6.3.0"></head>
+
+  <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
   <body>
     <div class="mask-border">
     </div>
@@ -85,7 +92,7 @@
           
             
               <li class="menu-item">
-                <a href="/archives/">归档</a>
+                <a href="/tags/Technique/">技术文章</a>
               </li> 
                    
           
@@ -187,6 +194,8 @@
         <div class="footer-text">
             
             
+                 | 
+            
             
                 希望路过的人可以添点柴火让这里暖和点
                 
diff --git a/2023/02/01/二零二三年二月一日/index.html b/2023/02/01/二零二三年二月一日/index.html
index baa78a47..97f238b5 100644
--- a/2023/02/01/二零二三年二月一日/index.html
+++ b/2023/02/01/二零二三年二月一日/index.html
@@ -48,13 +48,20 @@
 
 
 
+    <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+    <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
 
 
 
 
 
 
-  <meta name="generator" content="Hexo 6.3.0"></head>
+
+  <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
   <body>
     <div class="mask-border">
     </div>
@@ -85,7 +92,7 @@
           
             
               <li class="menu-item">
-                <a href="/archives/">归档</a>
+                <a href="/tags/Technique/">技术文章</a>
               </li> 
                    
           
@@ -187,6 +194,8 @@
         <div class="footer-text">
             
             
+                 | 
+            
             
                 希望路过的人可以添点柴火让这里暖和点
                 
diff --git a/2023/02/02/二零二三年二月二日/index.html b/2023/02/02/二零二三年二月二日/index.html
index 89e1ab98..2a18d155 100644
--- a/2023/02/02/二零二三年二月二日/index.html
+++ b/2023/02/02/二零二三年二月二日/index.html
@@ -48,13 +48,20 @@
 
 
 
+    <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+    <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
 
 
 
 
 
 
-  <meta name="generator" content="Hexo 6.3.0"></head>
+
+  <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
   <body>
     <div class="mask-border">
     </div>
@@ -85,7 +92,7 @@
           
             
               <li class="menu-item">
-                <a href="/archives/">归档</a>
+                <a href="/tags/Technique/">技术文章</a>
               </li> 
                    
           
@@ -187,6 +194,8 @@
         <div class="footer-text">
             
             
+                 | 
+            
             
                 希望路过的人可以添点柴火让这里暖和点
                 
diff --git a/2023/02/22/二零二三年二月二十二日/index.html b/2023/02/22/二零二三年二月二十二日/index.html
index ccc7e23d..25d998b3 100644
--- a/2023/02/22/二零二三年二月二十二日/index.html
+++ b/2023/02/22/二零二三年二月二十二日/index.html
@@ -48,13 +48,20 @@
 
 
 
+    <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+    <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
 
 
 
 
 
 
-  <meta name="generator" content="Hexo 6.3.0"></head>
+
+  <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
   <body>
     <div class="mask-border">
     </div>
@@ -85,7 +92,7 @@
           
             
               <li class="menu-item">
-                <a href="/archives/">归档</a>
+                <a href="/tags/Technique/">技术文章</a>
               </li> 
                    
           
@@ -187,6 +194,8 @@
         <div class="footer-text">
             
             
+                 | 
+            
             
                 希望路过的人可以添点柴火让这里暖和点
                 
diff --git a/2023/02/24/二零二三年二月二十四日/index.html b/2023/02/24/二零二三年二月二十四日/index.html
index c0eaecb6..4891901e 100644
--- a/2023/02/24/二零二三年二月二十四日/index.html
+++ b/2023/02/24/二零二三年二月二十四日/index.html
@@ -48,13 +48,20 @@
 
 
 
+    <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+    <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
 
 
 
 
 
 
-  <meta name="generator" content="Hexo 6.3.0"></head>
+
+  <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
   <body>
     <div class="mask-border">
     </div>
@@ -85,7 +92,7 @@
           
             
               <li class="menu-item">
-                <a href="/archives/">归档</a>
+                <a href="/tags/Technique/">技术文章</a>
               </li> 
                    
           
@@ -188,6 +195,8 @@
         <div class="footer-text">
             
             
+                 | 
+            
             
                 希望路过的人可以添点柴火让这里暖和点
                 
diff --git a/2023/02/25/二零二三年二月二十五日/index.html b/2023/02/25/二零二三年二月二十五日/index.html
index 29874d0d..f61c7a5c 100644
--- a/2023/02/25/二零二三年二月二十五日/index.html
+++ b/2023/02/25/二零二三年二月二十五日/index.html
@@ -48,13 +48,20 @@
 
 
 
+    <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+    <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
 
 
 
 
 
 
-  <meta name="generator" content="Hexo 6.3.0"></head>
+
+  <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
   <body>
     <div class="mask-border">
     </div>
@@ -85,7 +92,7 @@
           
             
               <li class="menu-item">
-                <a href="/archives/">归档</a>
+                <a href="/tags/Technique/">技术文章</a>
               </li> 
                    
           
@@ -189,6 +196,8 @@
         <div class="footer-text">
             
             
+                 | 
+            
             
                 希望路过的人可以添点柴火让这里暖和点
                 
diff --git a/2023/02/26/二零二三年二月二十六日/index.html b/2023/02/26/二零二三年二月二十六日/index.html
index 89d83a62..bc3d87f1 100644
--- a/2023/02/26/二零二三年二月二十六日/index.html
+++ b/2023/02/26/二零二三年二月二十六日/index.html
@@ -48,13 +48,20 @@
 
 
 
+    <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+    <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
 
 
 
 
 
 
-  <meta name="generator" content="Hexo 6.3.0"></head>
+
+  <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
   <body>
     <div class="mask-border">
     </div>
@@ -85,7 +92,7 @@
           
             
               <li class="menu-item">
-                <a href="/archives/">归档</a>
+                <a href="/tags/Technique/">技术文章</a>
               </li> 
                    
           
@@ -149,6 +156,11 @@
     <nav class="post-nav">
         <div class="prev-item">
            
+                <div class="icon arrow-left"></div>
+                <div class="post-link">
+                    <a href="/2023/02/28/OCaml-Effects%E7%AE%80%E6%98%8E%E6%95%99%E7%A8%8B/">Prev</a>
+                </div>
+            
         </div>
         <div class="next-item">
             
@@ -182,6 +194,8 @@
         <div class="footer-text">
             
             
+                 | 
+            
             
                 希望路过的人可以添点柴火让这里暖和点
                 
diff --git a/2023/02/28/OCaml-Effects简明教程/index.html b/2023/02/28/OCaml-Effects简明教程/index.html
new file mode 100644
index 00000000..04e78822
--- /dev/null
+++ b/2023/02/28/OCaml-Effects简明教程/index.html
@@ -0,0 +1,220 @@
+<!DOCTYPE html>
+<html lang="en">
+  <head>
+    <meta charset="UTF-8">
+<meta name="viewport"
+      content="width=device-width, initial-scale=1.0, maximum-scale=1.0, minimum-scale=1.0">
+<meta http-equiv="X-UA-Compatible" content="ie=edge">
+
+    <meta name="author" content="含暮秋">
+
+
+    <meta name="subtitle" content="暮秋小屋">
+
+
+    <meta name="description" content="不卑不亢的码农， 朴素的民谣诗人">
+
+
+    <meta name="keywords" content="韩暮秋,MuqiuHan">
+
+
+
+
+<title>OCaml Effects简明教程 | 暮秋小屋</title>
+
+
+
+
+
+<style>
+    @import url('https://fonts.googleapis.com/css2?family=Inter:wght@300;400;500;600;700&family=Noto+Sans+SC:wght@300;400;500;700&family=Roboto+Mono&display=swap');
+</style>
+
+
+
+    <!-- stylesheets list from _config.yml -->
+    
+    <link rel="stylesheet" href="/css/style.css">
+    
+
+
+
+
+    <!-- scripts list from _config.yml -->
+    
+    <script src="/js/frame.js"></script>
+    
+
+
+
+
+    <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+    <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
+
+
+
+
+
+
+
+  <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
+  <body>
+    <div class="mask-border">
+    </div>
+
+    <div class="wrapper">
+
+      <div class="header">
+  <div class="flex-container">
+    <div class="header-inner">
+      <div class="site-brand-container">
+        <a href="/">
+          
+            暮秋小屋
+          
+        </a>
+      </div>
+      <div id="menu-btn" class="menu-btn" onclick="toggleMenu()">
+        Menu
+      </div>
+      <nav class="site-nav">
+        <ul class="menu-list">
+          
+            
+              <li class="menu-item">
+                <a href="/">主页</a>
+              </li> 
+                   
+          
+            
+              <li class="menu-item">
+                <a href="/tags/Technique/">技术文章</a>
+              </li> 
+                   
+          
+            
+              <li class="menu-item">
+                <a href="/categories/gallery/">日记本</a>
+              </li> 
+                   
+          
+            
+              <li class="menu-item">
+                <a href="/about">关于</a>
+              </li> 
+                   
+          
+          
+        </ul>
+      </nav>
+    </div>
+  </div>
+</div>
+
+
+      <div class="main">
+        <div class="flex-container">
+          <article id="post">
+
+  
+    <div class="post-head">
+    <div class="post-info">
+        <div class="tag-list">
+            
+                
+                    <span class="post-tag">
+                        <a href="/tags/OCaml/">
+                            OCaml
+                        </a>
+                    </span>    
+                
+                    <span class="post-tag">
+                        <a href="/tags/Technique/">
+                            Technique
+                        </a>
+                    </span>    
+                           
+            
+        </div>
+        <div class="post-title">
+            
+            
+                OCaml Effects简明教程
+            
+            
+        </div>
+        <span class="post-date">
+            Feb 28, 2023
+        </span>
+    </div>
+    <div class="post-img">
+        
+            <div class="h-line-primary"></div>
+              
+    </div>
+</div>
+    <div class="post-content">
+    
+</div> 
+
+<script>
+    window.onload = detectors();
+</script>
+    <div class="post-footer">
+    <div class="h-line-primary"></div>
+    <nav class="post-nav">
+        <div class="prev-item">
+           
+        </div>
+        <div class="next-item">
+            
+                <div class="icon arrow-right"></div>
+                <div class="post-link">
+                  <a href="/2023/02/26/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%BA%8C%E5%8D%81%E5%85%AD%E6%97%A5/">Next</a>  
+                </div>  
+            
+        </div>
+    </nav>
+</div>
+
+    
+      <div class="post-comment">
+
+     
+
+     
+    
+    
+
+</div>
+     
+  
+</article>
+        </div>
+      </div>
+      
+      <div class="footer">
+    <div class="flex-container">
+        <div class="footer-text">
+            
+            
+                 | 
+            
+            
+                希望路过的人可以添点柴火让这里暖和点
+                
+        </div>
+    </div>
+</div>
+
+    </div>
+
+    
+    
+
+  </body>
+</html>