摘要:
Datatype-programming in Racket without structs 在 ML 语言中,我们使用 datatype binding 来实现对 标签联合类型的构建:传送门 这是因为 ML 语言中的 list 中的元素类型是统一的 这里是一份经典的 ML 实现标签联合类型 exp 阅读全文
摘要:
来上 programming language 的第二 part 了!这一部分介绍的语言是 Racket,之前就听说过它独特的括号语法,这次来具体了解一下 Racket definitions, functions and conditionals definition (define x 3) ( 阅读全文