SSH 基本用法

最近小伙伴们纷纷进了实验室,就冒出了一系列关于控制远程机器的问题,我觉得我还是有必要科普一下的。

(Read this Article →)

ANTLR4 使用技巧

上一篇文章中,我简要介绍了一下 ANTLR4 。当时只是把官方的 Reference 看了一遍,还没有什么实战的经验,写的都是比较不具体的东西。在这篇文章里面,我把在写编译器的时候用到 ANTLR4 的实战经验拿出来记录一下。

(Read this Article →)

ANTLR4 笔记

ANTLR4 是一个非常厉害的程序/库,可以用来生成 Lexer 和 Parser,而且生成的接口非常易用。昨天匆匆把 The Definitive ANTLR 4 Reference 扫了一遍,现在把一些常用的东西记下来。

(Read this Article →)

Scheme 与 Church Number

最近在看SICP,然后看到练习2.6,十分的有趣,刚好和上学期计科导讲过的自然数的构造有点类似。题目首先给了0和加一的实现,然后问1和2应该怎么直接定义,再问如何直接定义加法。

(define zero (lambda (f) (lambda (x) x)))
(define (add-1 n)
  (lambda (f) (lambda (x) (f ((n f) x)))))

(Read this Article →)