Marvin's Blog【程式人生】

Ability will never catch up with the demand for it

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 …
30 Apr 2021

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

The Racket Reference阅读笔记。 Macros 12.1 Pattern-Based Syntax Matching syntax-case语法如下: (syntax-case stx-expr (literal-id ...) clause ...) 其 …
24 Apr 2021

Racket的brag-lib文档阅读

brag: a better Racket AST generator raco pkg install brag-lib 1 Quick start Backus-Naur Form (BNF) 展示了一个小例子: #lang brag nested-word-list: …
22 Apr 2021

The Racket Reference阅读笔记【三】Structures相关

The Racket Reference阅读笔记。 5 Structures 结构类型是一种复合记录类型,由多个子域构成。每个结构类型都有一构造函数,用于生成从例。每个子域可以有对应的访问符和修改符。每个结构类型都有一判断诀,用以判断某个值是否为其从例。 结构类型的子域其实是无须 …
21 Apr 2021

The Racket Reference阅读笔记【二】Notation相关

The Racket Reference阅读笔记。 2 Notation for Documentation 2.1 Notation for Module Documentation racket按照模块组织代码。文档会在开头标明相应的模块。 (require …
20 Apr 2021

Racket的Macro相关的文章

收集一些跟Racket中Macro相关额文章。 很多编程语言中都提供宏功能,比如C语言中的预处理器所提供的就是宏功能,主要用于代码的替换和生成。 但Racket中提供的宏功能不止步于代码的替换和生成,更像是完整的编译期间的编程语言,具有文法作用域,更可以指定语法类型,定义语法参数 …
19 Apr 2021

在emacs中开发racket

不断更新贴,介绍如何在emacs中开发racket。 Racket Mode可以让emacs支持DrRacket的功能。 (未完待续)
15 Apr 2021

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

The Racket Reference阅读笔记。 1 Language Model 1.2 Syntax Model racket的语法解析分为两个阶段,一是read阶段,作用将文件中的字符解析成语法对象。而是expand阶段,作用是将语法对象进行必要的处理以便于下一阶段的进 …
20 Mar 2021

Windows下编译libedit失败记

记一次失败的折腾。 起因,Windows下Racket的命令行编辑不好用,因为不能使用libedit。查看了以下racket的readline的源码,发现 (ffi-lib "libedit" '("3" "2" "0.0.43" "0.0.53" "0" "")))),这些数字 …
15 Mar 2021

The Racket Guide阅读笔记【十一】

The Racket Guide阅读笔记,chapter 20, 21,22, 23. 20 Parallelism Racket提供两种形式的并行,future以及place。 Racket的thread只为并发使用,不为并行使用。 future的功能通 …