summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormuqiuhan <[email protected]>2023-06-17 06:48:33 +0000
committermuqiuhan <[email protected]>2023-06-17 06:48:33 +0000
commit6fd9bd44c96d4cbd89760f6c2d9b6fabe77979b4 (patch)
treea98326e0a7cc31c301e7faf32e25b673667e049d
parent803373c48d9a342ba6f672c70ccffce8ee307004 (diff)
downloadblog-6fd9bd44c96d4cbd89760f6c2d9b6fabe77979b4.tar.gz
deploy: 61fa12169ded766fa41bef446cd2b50b55d1e0f4
-rw-r--r--2023/06/11/OCaml_News_20230611/index.html5
-rw-r--r--2023/06/17/Programming_Language_Concepts_1/index.html250
-rw-r--r--archives/2023/06/index.html18
-rw-r--r--archives/2023/index.html36
-rw-r--r--archives/2023/page/2/index.html36
-rw-r--r--archives/2023/page/3/index.html18
-rw-r--r--archives/index.html36
-rw-r--r--archives/page/2/index.html36
-rw-r--r--archives/page/3/index.html36
-rw-r--r--archives/page/4/index.html18
-rw-r--r--tag/index.html12
-rw-r--r--tags/F/index.html189
-rw-r--r--tags/PL/index.html189
-rw-r--r--tags/Technique/index.html18
14 files changed, 807 insertions, 90 deletions
diff --git a/2023/06/11/OCaml_News_20230611/index.html b/2023/06/11/OCaml_News_20230611/index.html
index da0b569e..2574373d 100644
--- a/2023/06/11/OCaml_News_20230611/index.html
+++ b/2023/06/11/OCaml_News_20230611/index.html
@@ -253,6 +253,11 @@
<nav class="post-nav">
<div class="prev-item">
+ <div class="icon arrow-left"></div>
+ <div class="post-link">
+ <a href="/2023/06/17/Programming_Language_Concepts_1/">Prev</a>
+ </div>
+
</div>
<div class="next-item">
diff --git a/2023/06/17/Programming_Language_Concepts_1/index.html b/2023/06/17/Programming_Language_Concepts_1/index.html
new file mode 100644
index 00000000..a094b3b6
--- /dev/null
+++ b/2023/06/17/Programming_Language_Concepts_1/index.html
@@ -0,0 +1,250 @@
+<!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>Programming Language Concepts Reading Notes | 暮秋小屋</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="/Projects">项目</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/Technique/">
+ Technique
+ </a>
+ </span>
+
+ <span class="post-tag">
+ <a href="/tags/F/">
+ F#
+ </a>
+ </span>
+
+ <span class="post-tag">
+ <a href="/tags/PL/">
+ PL
+ </a>
+ </span>
+
+
+ </div>
+ <div class="post-title">
+
+
+ Programming Language Concepts Reading Notes
+
+
+ </div>
+ <span class="post-date">
+ Jun 17, 2023
+ </span>
+ </div>
+ <div class="post-img">
+
+ <div class="h-line-primary"></div>
+
+ </div>
+</div>
+ <div class="post-content">
+ <h1 id="Introduction"><a href="#Introduction" class="headerlink" title="Introduction"></a>Introduction</h1><blockquote>
+<p>how to represent arithmetic expressions and other program fragments as data structures in F# as well as Java, and how to compute with such program fragments. We also introduce various basic concepts of programming languages.</p>
+</blockquote>
+<h2 id="Syntax-and-Semantics"><a href="#Syntax-and-Semantics" class="headerlink" title="Syntax and Semantics"></a>Syntax and Semantics</h2><p>What does this (well-formed) program mean, how does it behave—what happens when we execute it?</p>
+<ul>
+<li>One may distinguish two kinds of syntax<ol>
+<li>By concrete syntax we mean the representation of a program as a text.</li>
+<li>By abstract syntax we mean the representation of a programs as a tree or by an object structure.</li>
+</ol>
+</li>
+<li>One may distinguish two kinds of semantics<ol>
+<li>Dynamic semantics concerns the meaning or effect of a program at run-time.</li>
+<li>Static semantics roughly concerns the compile-time correctness of the program (are variables declared, is the program well-typed, and so on)</li>
+</ol>
+</li>
+</ul>
+<p>Static semantics can be checked without executing the program, and may be enforced by closedness checks (type checks, type inference, and more…).</p>
+<p>In the conditional expression <code>if e1 then e2 else e3</code>, the interpreter might start by testing whether expressions e2 and e3 are syntactically identical, in which case there is no need to evaluate e1, only e2 (or e3). Although possible, <strong>this shortcut is rarely useful</strong>.</p>
+
+</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/06/11/OCaml_News_20230611/">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>
diff --git a/archives/2023/06/index.html b/archives/2023/06/index.html
index cadd68db..85c0a6e7 100644
--- a/archives/2023/06/index.html
+++ b/archives/2023/06/index.html
@@ -136,6 +136,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2023/06/17/Programming_Language_Concepts_1/">
+
+ Programming Language Concepts Reading Notes
+
+ </a>
+ </div>
+
+ <span class="post-date">Jun 17, 2023</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2023/06/11/OCaml_News_20230611/">
OCaml News 2023/6/11
diff --git a/archives/2023/index.html b/archives/2023/index.html
index ca18de0d..56a9327f 100644
--- a/archives/2023/index.html
+++ b/archives/2023/index.html
@@ -136,6 +136,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2023/06/17/Programming_Language_Concepts_1/">
+
+ Programming Language Concepts Reading Notes
+
+ </a>
+ </div>
+
+ <span class="post-date">Jun 17, 2023</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2023/06/11/OCaml_News_20230611/">
OCaml News 2023/6/11
@@ -291,24 +309,6 @@
</div>
-
-
-
-
-
- <div class="post-list-item">
- <div class="post-title">
- <a href="/2023/04/22/%E6%B2%99%E6%BC%A0/">
-
- 沙漠
-
- </a>
- </div>
-
- <span class="post-date">Apr 22, 2023</span>
- </div>
-
-
<div id="paginator">
<div class=paginator>
diff --git a/archives/2023/page/2/index.html b/archives/2023/page/2/index.html
index 1a4b989a..1f58aa73 100644
--- a/archives/2023/page/2/index.html
+++ b/archives/2023/page/2/index.html
@@ -136,6 +136,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2023/04/22/%E6%B2%99%E6%BC%A0/">
+
+ 沙漠
+
+ </a>
+ </div>
+
+ <span class="post-date">Apr 22, 2023</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2023/03/14/%E8%9E%BA%E5%86%85%E9%85%AF%E7%89%87/">
螺内酯片
@@ -291,24 +309,6 @@
</div>
-
-
-
-
-
- <div class="post-list-item">
- <div class="post-title">
- <a href="/2023/02/24/%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%9B%9B%E6%97%A5/">
-
- 二零二三年二月二十四日
-
- </a>
- </div>
-
- <span class="post-date">Feb 24, 2023</span>
- </div>
-
-
<div id="paginator">
<div class=paginator>
diff --git a/archives/2023/page/3/index.html b/archives/2023/page/3/index.html
index cc5890d7..92a206c8 100644
--- a/archives/2023/page/3/index.html
+++ b/archives/2023/page/3/index.html
@@ -136,6 +136,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2023/02/24/%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%9B%9B%E6%97%A5/">
+
+ 二零二三年二月二十四日
+
+ </a>
+ </div>
+
+ <span class="post-date">Feb 24, 2023</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2023/02/22/%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%E4%BA%8C%E6%97%A5/">
二零二三年二月二十二日
diff --git a/archives/index.html b/archives/index.html
index d60d0452..5c056b69 100644
--- a/archives/index.html
+++ b/archives/index.html
@@ -136,6 +136,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2023/06/17/Programming_Language_Concepts_1/">
+
+ Programming Language Concepts Reading Notes
+
+ </a>
+ </div>
+
+ <span class="post-date">Jun 17, 2023</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2023/06/11/OCaml_News_20230611/">
OCaml News 2023/6/11
@@ -291,24 +309,6 @@
</div>
-
-
-
-
-
- <div class="post-list-item">
- <div class="post-title">
- <a href="/2023/04/22/%E6%B2%99%E6%BC%A0/">
-
- 沙漠
-
- </a>
- </div>
-
- <span class="post-date">Apr 22, 2023</span>
- </div>
-
-
<div id="paginator">
<div class=paginator>
diff --git a/archives/page/2/index.html b/archives/page/2/index.html
index 750e9daf..e5713b86 100644
--- a/archives/page/2/index.html
+++ b/archives/page/2/index.html
@@ -136,6 +136,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2023/04/22/%E6%B2%99%E6%BC%A0/">
+
+ 沙漠
+
+ </a>
+ </div>
+
+ <span class="post-date">Apr 22, 2023</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2023/03/14/%E8%9E%BA%E5%86%85%E9%85%AF%E7%89%87/">
螺内酯片
@@ -291,24 +309,6 @@
</div>
-
-
-
-
-
- <div class="post-list-item">
- <div class="post-title">
- <a href="/2023/02/24/%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%9B%9B%E6%97%A5/">
-
- 二零二三年二月二十四日
-
- </a>
- </div>
-
- <span class="post-date">Feb 24, 2023</span>
- </div>
-
-
<div id="paginator">
<div class=paginator>
diff --git a/archives/page/3/index.html b/archives/page/3/index.html
index 2ddbf1b2..4062109f 100644
--- a/archives/page/3/index.html
+++ b/archives/page/3/index.html
@@ -136,6 +136,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2023/02/24/%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%9B%9B%E6%97%A5/">
+
+ 二零二三年二月二十四日
+
+ </a>
+ </div>
+
+ <span class="post-date">Feb 24, 2023</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2023/02/22/%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%E4%BA%8C%E6%97%A5/">
二零二三年二月二十二日
@@ -293,24 +311,6 @@
</div>
-
-
-
-
-
- <div class="post-list-item">
- <div class="post-title">
- <a href="/2022/03/14/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%BA%8C%E5%B9%B4%E4%B8%89%E6%9C%88%E5%8D%81%E5%9B%9B%E6%97%A5/">
-
- 二零二二年三月十四日
-
- </a>
- </div>
-
- <span class="post-date">Mar 14, 2022</span>
- </div>
-
-
<div id="paginator">
<div class=paginator>
diff --git a/archives/page/4/index.html b/archives/page/4/index.html
index fc6581cc..9389559f 100644
--- a/archives/page/4/index.html
+++ b/archives/page/4/index.html
@@ -136,6 +136,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2022/03/14/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%BA%8C%E5%B9%B4%E4%B8%89%E6%9C%88%E5%8D%81%E5%9B%9B%E6%97%A5/">
+
+ 二零二二年三月十四日
+
+ </a>
+ </div>
+
+ <span class="post-date">Mar 14, 2022</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2022/01/01/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%BA%8C%E5%B9%B4%E4%B8%80%E6%9C%88%E4%B8%80%E6%97%A5/">
二零二二年一月一日
diff --git a/tag/index.html b/tag/index.html
index e152f7d7..441f0016 100644
--- a/tag/index.html
+++ b/tag/index.html
@@ -144,6 +144,18 @@
</span>
<span class="post-tag">
+ <a href="/tags/F/">
+ F#
+ </a>
+ </span>
+
+ <span class="post-tag">
+ <a href="/tags/PL/">
+ PL
+ </a>
+ </span>
+
+ <span class="post-tag">
<a href="/tags/Medicine/">
Medicine
</a>
diff --git a/tags/F/index.html b/tags/F/index.html
new file mode 100644
index 00000000..0f40d946
--- /dev/null
+++ b/tags/F/index.html
@@ -0,0 +1,189 @@
+<!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>Tag: F# | 暮秋小屋</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="/Projects">项目</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">
+ <div id="tag">
+
+
+ <p class="tag-title">
+ / <a href="/tag/">tags</a>
+ / <a href="">F#</a> /
+ </p>
+ <div class="post-list">
+
+
+
+
+
+
+ <div class="year-title">2023</div>
+
+
+ <div class="post-list-item">
+ <div class="post-title">
+ <a href="/2023/06/17/Programming_Language_Concepts_1/">
+
+ Programming Language Concepts Reading Notes
+
+ </a>
+ </div>
+
+ <span class="post-date">Jun 17, 2023</span>
+ </div>
+
+
+ <div id="paginator">
+
+ </div>
+</div>
+
+
+
+
+</div>
+ </div>
+ </div>
+
+ <div class="footer">
+ <div class="flex-container">
+ <div class="footer-text">
+
+
+ |
+
+
+ 希望路过的人可以添点柴火让这里暖和点
+
+ </div>
+ </div>
+</div>
+
+ </div>
+
+
+
+
+ </body>
+</html>
diff --git a/tags/PL/index.html b/tags/PL/index.html
new file mode 100644
index 00000000..eb59c1af
--- /dev/null
+++ b/tags/PL/index.html
@@ -0,0 +1,189 @@
+<!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>Tag: PL | 暮秋小屋</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="/Projects">项目</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">
+ <div id="tag">
+
+
+ <p class="tag-title">
+ / <a href="/tag/">tags</a>
+ / <a href="">PL</a> /
+ </p>
+ <div class="post-list">
+
+
+
+
+
+
+ <div class="year-title">2023</div>
+
+
+ <div class="post-list-item">
+ <div class="post-title">
+ <a href="/2023/06/17/Programming_Language_Concepts_1/">
+
+ Programming Language Concepts Reading Notes
+
+ </a>
+ </div>
+
+ <span class="post-date">Jun 17, 2023</span>
+ </div>
+
+
+ <div id="paginator">
+
+ </div>
+</div>
+
+
+
+
+</div>
+ </div>
+ </div>
+
+ <div class="footer">
+ <div class="flex-container">
+ <div class="footer-text">
+
+
+ |
+
+
+ 希望路过的人可以添点柴火让这里暖和点
+
+ </div>
+ </div>
+</div>
+
+ </div>
+
+
+
+
+ </body>
+</html>
diff --git a/tags/Technique/index.html b/tags/Technique/index.html
index f8379f93..87abef5d 100644
--- a/tags/Technique/index.html
+++ b/tags/Technique/index.html
@@ -143,6 +143,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2023/06/17/Programming_Language_Concepts_1/">
+
+ Programming Language Concepts Reading Notes
+
+ </a>
+ </div>
+
+ <span class="post-date">Jun 17, 2023</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2023/06/11/OCaml_News_20230611/">
OCaml News 2023/6/11