Marvin's Blog【程式人生】

Ability will never catch up with the demand for it

12 Jun 2021

The Racket Reference阅读笔记【八】Regexp

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

Racket的Syntax/Parse学习笔记【一】

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

VisualStudio的自动FileNesting

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

找不到DLL导致程序无法启动

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

Racket的文档工具Scribble阅读笔记【一】

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

Racket的Scribble Text模板

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

The Racket Reference阅读笔记【七】再读Syntax Model

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

racket随想

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

Scheme随想

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

Racket学校2019阅读笔记【一】

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

The Racket Reference阅读笔记【六】Language Model相关

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

The Racket Reference阅读笔记【五】Macro相关

The Racket Reference 阅读笔记。 Macro 12.2 Syntax Object Content (syntax? v) → boolean? 检查是否是语句对象 (identifier? v) → boolean? 检查此语句对象通过(syntax-e …