diff options
| author | muqiuhan <[email protected]> | 2023-06-17 06:48:33 +0000 |
|---|---|---|
| committer | muqiuhan <[email protected]> | 2023-06-17 06:48:33 +0000 |
| commit | 6fd9bd44c96d4cbd89760f6c2d9b6fabe77979b4 (patch) | |
| tree | a98326e0a7cc31c301e7faf32e25b673667e049d | |
| parent | 803373c48d9a342ba6f672c70ccffce8ee307004 (diff) | |
| download | blog-6fd9bd44c96d4cbd89760f6c2d9b6fabe77979b4.tar.gz | |
deploy: 61fa12169ded766fa41bef446cd2b50b55d1e0f4
| -rw-r--r-- | 2023/06/11/OCaml_News_20230611/index.html | 5 | ||||
| -rw-r--r-- | 2023/06/17/Programming_Language_Concepts_1/index.html | 250 | ||||
| -rw-r--r-- | archives/2023/06/index.html | 18 | ||||
| -rw-r--r-- | archives/2023/index.html | 36 | ||||
| -rw-r--r-- | archives/2023/page/2/index.html | 36 | ||||
| -rw-r--r-- | archives/2023/page/3/index.html | 18 | ||||
| -rw-r--r-- | archives/index.html | 36 | ||||
| -rw-r--r-- | archives/page/2/index.html | 36 | ||||
| -rw-r--r-- | archives/page/3/index.html | 36 | ||||
| -rw-r--r-- | archives/page/4/index.html | 18 | ||||
| -rw-r--r-- | tag/index.html | 12 | ||||
| -rw-r--r-- | tags/F/index.html | 189 | ||||
| -rw-r--r-- | tags/PL/index.html | 189 | ||||
| -rw-r--r-- | tags/Technique/index.html | 18 |
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 |
