From 318f6db1ee3326f0c237778baf1dc15ea5b584b9 Mon Sep 17 00:00:00 2001 From: guenchi <25831936+guenchi@users.noreply.github.com> Date: Wed, 9 Nov 2022 03:30:26 +0100 Subject: [PATCH] update --- .../exercise_02.md" | 104 ------------------ .../exercise_03.md" | 0 .../exercise_04.md" | 0 .../exercise_05.md" | 14 --- .../exercise_06.md" | 0 5 files changed, 118 deletions(-) delete mode 100644 "data/1.Scheme\345\210\235\351\230\266/1.Scheme\345\205\245\351\227\250/2.\346\240\207\345\277\227\347\254\246/exercise_02.md" delete mode 100644 "data/1.Scheme\345\210\235\351\230\266/1.Scheme\345\205\245\351\227\250/3.\345\237\272\346\234\254\346\225\260\346\215\256\347\261\273\345\236\213/exercise_03.md" delete mode 100644 "data/1.Scheme\345\210\235\351\230\266/1.Scheme\345\205\245\351\227\250/4.\345\256\232\344\271\211define/exercise_04.md" delete mode 100644 "data/1.Scheme\345\210\235\351\230\266/1.Scheme\345\205\245\351\227\250/5.\351\223\276\350\241\250list/exercise_05.md" delete mode 100644 "data/1.Scheme\345\210\235\351\230\266/1.Scheme\345\205\245\351\227\250/6.\350\277\207\347\250\213procedure/exercise_06.md" diff --git "a/data/1.Scheme\345\210\235\351\230\266/1.Scheme\345\205\245\351\227\250/2.\346\240\207\345\277\227\347\254\246/exercise_02.md" "b/data/1.Scheme\345\210\235\351\230\266/1.Scheme\345\205\245\351\227\250/2.\346\240\207\345\277\227\347\254\246/exercise_02.md" deleted file mode 100644 index f539b25..0000000 --- "a/data/1.Scheme\345\210\235\351\230\266/1.Scheme\345\205\245\351\227\250/2.\346\240\207\345\277\227\347\254\246/exercise_02.md" +++ /dev/null @@ -1,104 +0,0 @@ -# 标志符 - -Scheme对标识符的宽容度远大于其他语言，你可以在标识符里使用大多数符号，可以重写所有的系统预留关键字，但仍有一些符号严格禁止使用在标志符里。 - -在Scheme里它们大多数是预留的读取器宏。 - -> 读取器宏是一种在编译前对代码进行替换的工具，你可以将它看作高级版的C语言宏。在Scheme的近亲语言，Common Lisp里你可以自由的编写读取器宏。在Scheme的世界里读取器宏被视作邪恶而混乱的，只预留了少量程序语言标准层面的读取器宏来简化程序编写。 - -``` -# -``` - -编译器预留符号, 它用来表示字符，比如`#\a #\b #\c`。用来表示进制数，比如`#b100 #x7C0`，用来表示向量，比如`#(1 2 3)`。用来表示编译器行为钩子,比如`(#3%display "Hello,World!")`在ChezScheme中表示强制用第三级优化火力全开的display hello world。 - -``` -' 单引号 -``` -读取器宏，`'object`将在编译前被替换成`(quote object)`。它也用来表示列表，如`'(a b c)`. - -> 在Scheme中，quote有重要的作用，它代表标志符的符号的一面。而不被quote住的标志符代表它作为程序的一面。LISP与其他程序语言最大的区别即是代码即是数据，数据即是代码。在这种情况下我们必须明确一个标志符在当下是否被自动进行求值。即它对编译器展现它名字的一面，还是它程序的一面。这个区别便由quote来表示。 - -``` -` 往右斜的单引号 -``` -读取器宏，`` `object ``将在编译前被替换成`(quasiquote object)`。 - -``` -, 逗号 -``` -读取器宏，`,object`将在编译前被替换成`(unquote object)`。 - -``` -@ -``` -读取器宏，`,@object`将在编译前被替换成`(unquote-splicing object)`。 - -在Scheme规定中`@`只是不能出现在标致符的开头。但实际使用中，含`@`的标志符会导致太多问题。比如，在标志符尾部的`@`有可能影响读取器对右括号的读取。所以这里尽量建议不要在标志符中使用`@`。 - - -``` -. -``` -`.`在scheme程序中起到表示"对"的作用。比如(a . b)。它不能使用在标识符的开头。 - -``` -+ -- -``` -`+`和`-`因为需要表示数学格式，所以不能出现在标志符的开头。 - -*特例* - -``` --> -``` -`->`组合在标志符开头是合法的。 - - -> 可以使用在标识符里的字符有：`? ! . + - * / < = > : $ % ^ & _ ~`。比起记住它们，更好的办法是记住那些禁止使用的字符。 - - -以下的代码风格并不由编译器严格要求，但是它能帮助你更好的编写Scheme程序，还有助于其他人更好的阅读你的代码。 - -*** 使用短-连接标识符词组 *** - -在Scheme惯例中我们不使用驼峰命名法或者下划线。在此我特别不建议使用下划线连接词组。因为当你的Scheme程序需要链接C模块时，C程序将和Scheme程序共享命名空间。这个时候用`a-c-function`来包装C语言的`a_c_function`就显得特别一目了然。 - -*** 全大写标识符表示常量 *** - -继承自C程序的常量表示法是个良好的习惯。在Scheme里没有常量，但至少你应该知道它禁止更改。 - -*** 用 * 号包围的标识符表示全局变量 *** - -当看见如`*value*`包裹的全局变量，在引入有副作用的过程时就需要三思。 - -*** 标识符用后缀?表示返回布尔值 *** - -`char?` `list?` 这些过程都返回布尔值。 - -*** 标识符用!后缀表示过程有副作用 *** - -`set!`表示它改变了指针指向的某些值，虽然它的返回有可能是布尔值。 - -*** 标识符用->表示类型转换 *** - -请记住Scheme是强类型语言，在惯例中，我们使用`->`来表示从左边的类型转换到右边的类型。比如`list->vector`。 - -*** 用两个空格缩进 *** - -因为有时需要嵌套两个左空格`(`，有且仅有使用两个空格的缩进才会不让你的缩进乱了套。 - -*** 用空格对齐选择的分支 *** - -在选择的分支，填充多余的空格来让分支对齐。而不是只使用两个空格。 -``` -(if test? - consequent - alternative) - -(cond ((clause1 ...) (do ...)) - ((clause2 ...) (do ...)) - ... - (else ...)) -``` \ No newline at end of file diff --git "a/data/1.Scheme\345\210\235\351\230\266/1.Scheme\345\205\245\351\227\250/3.\345\237\272\346\234\254\346\225\260\346\215\256\347\261\273\345\236\213/exercise_03.md" "b/data/1.Scheme\345\210\235\351\230\266/1.Scheme\345\205\245\351\227\250/3.\345\237\272\346\234\254\346\225\260\346\215\256\347\261\273\345\236\213/exercise_03.md" deleted file mode 100644 index e69de29..0000000 diff --git "a/data/1.Scheme\345\210\235\351\230\266/1.Scheme\345\205\245\351\227\250/4.\345\256\232\344\271\211define/exercise_04.md" "b/data/1.Scheme\345\210\235\351\230\266/1.Scheme\345\205\245\351\227\250/4.\345\256\232\344\271\211define/exercise_04.md" deleted file mode 100644 index e69de29..0000000 diff --git "a/data/1.Scheme\345\210\235\351\230\266/1.Scheme\345\205\245\351\227\250/5.\351\223\276\350\241\250list/exercise_05.md" "b/data/1.Scheme\345\210\235\351\230\266/1.Scheme\345\205\245\351\227\250/5.\351\223\276\350\241\250list/exercise_05.md" deleted file mode 100644 index d6b3360..0000000 --- "a/data/1.Scheme\345\210\235\351\230\266/1.Scheme\345\205\245\351\227\250/5.\351\223\276\350\241\250list/exercise_05.md" +++ /dev/null @@ -1,14 +0,0 @@ - -#  链表 List - -*** 链表 *** - -链表是LISP中最重要的数据类型，LISP的名称来源即是LISt Processing. - -在LISP程序中，程序自身以链表构成，而同时链表又是一种数据类型。这便是LISP之于其他编程语言最大的区别与魔力：它可以将程序自身作为数据处理。 - -* 最简单的链表由0至无限个序对组成。 - -* 链表的末尾总是由null结束，但它可以没有末尾。一个链表可以是回环的，或者是无穷的。 - -* 链表的本质是由有限或无限个指针指向的地址段。每个地址段有两个数据位，每个数据位可以存放数据或另一个指针。 \ No newline at end of file diff --git "a/data/1.Scheme\345\210\235\351\230\266/1.Scheme\345\205\245\351\227\250/6.\350\277\207\347\250\213procedure/exercise_06.md" "b/data/1.Scheme\345\210\235\351\230\266/1.Scheme\345\205\245\351\227\250/6.\350\277\207\347\250\213procedure/exercise_06.md" deleted file mode 100644 index e69de29..0000000 -- GitLab