Marvin's Blog【程式人生】

13 Jun 2021

The Racket Reference 阅读笔记。 4.14 Hash Tables 哈希表将键值映射到项值。同一个哈希表内，键值的等同性可用equal?, eqv? 或者 eq?来判断。键值可以是强保留弱保留（采用弱封箱），甚至是暂保留。哈希表也可以是可更改的，或者非更改的。 …

12 Jun 2021

The Racket Reference 阅读笔记。 4.8 Regular Expressions 正则表达式可以用字符串或者字节串来定义。采用的模式语言源于Unix的egrep或者Perl。字符串正则产生的是字符串匹配，字节串正则产生的是字节串匹配。如果用字符串正则来匹配字节 …

06 Jun 2021

1 Parsing and Specifying Syntax 1.5 Syntax Patterns syntax/parse支持四种语句模式：单目模式，简称S-pattern 头部模式，简称H-pattern 三点头部模式，简称EH-pattern 动作模式，简 …

31 May 2021

讲述Visual Studio中的文件嵌套（FileNesting）。 VisualStudio允许文件嵌套，例如项目文件中如果： Hello.h 那么在SolutionExplorer显示的时候则Hello.cpp会嵌套在Hello.h下面显示。那怎么能达到这个效果 …

30 May 2021

打开以前的一份老代码，在Visual Studio中编译之后发现无法启动，根本就没运行到程序入口点。根据Entry Point Not Found, and other DLL Loading Problems 一文的提示，可以使用GFlags utility 来打开额外的调试 …

23 May 2021

Scribble: The Racket Documentation Tool阅读笔记 2 @ Syntax scribble使用@在文本中插入s-表达式。选用@是因为它在正常的代码中很少出现。在scribble/base或者其他类似语言中，@自动可得。使用at-exp元语言也 …

22 May 2021

学习Scribble as Preprocessor。 scribble/text以及scribble/html是预处理器型语言，用于生成text或者HTML。它们使用和scribble相容的@语句，但是处理的是抽象的可以转化为text或者HTML的文档。 1 Text …

21 May 2021

The Racket Reference 阅读笔记。 1.2 Syntax Model Racket程序的语句集可以定义为：在read过程将源代码中的字符流转化为语句标的在expand过程将语句标的进行处理，使其呈现完全解析形态 Racket所提供的read-syntax …

20 May 2021

击败Racket的隔绝编译保证读Defeating Racket’s separate compilation guarantee 一文有感。什么是隔绝编译保证 Racket支持独部（module）系统，代码可以编译成独部，并供其他代码使用。独部可以是预编译后的二进制代码，但 …

16 May 2021

漫谈Lambda和连对处理 Lambda用吸力字母表示是λ，有点像汉字中的入字。这个字母的意象很好，基本上由两个笔划构成，由一撇和一捺形成了一个分叉。它和Scheme语言中的基本数据结构，也就是连对中的对子形成很好的呼应。对子也是由两部分构成，可以使用car和cdr两个元始操作来 …

05 May 2021

Racket School 2019: The “How to Design Languages” Track 这个内容跟Programming Languages 写的有点类似。 1 Language-Oriented Programming 解释了什么是LOP。个人简单的理 …

02 May 2021

The Racket Reference 阅读笔记。 1 Language Model 1.1 Evaluation Model Racket的求值运算（evaluation，简称求值，或者运算）可以看作是对运算表达式（简称表达式）进行精简，以获取其结果（姑且把运算的结果叫做量 …