人们不愿意相信，一个 Lisp 的语法，是缩进。人们更愿意相信，它是括号。人们特别愿意相信，它的每一行应该..都带着括号。 (from internet.)

<<Bilibili 视频: 缩进语法写 Lisp.>>

虽然想着分享出来看看大家想法, 不过毕竟是争议性话题, 如果有比较重的想法还是尽量阐释一下背后的逻辑吧....确实我比较关心真实的使用场景会遇到什么样的不同情况. 我个人的经验和理解, 缩进跟括号的问题跟工具的关联性很大, 比如说我用的 Sublime Text 没装插件, 所以认为括号处理起来叫麻烦, 所以可能对应是用的什么工具也值得说明一下.

视频和图片当中的程序,

• 缩进语法部分的规则定义 http://text.cirru.org/
• 语义部分对应代码实现 https://github.com/calcit-lang/calcit_runner.rs 我自己用 ClojureScript 用了五年多, 给了我很多影响. 这个解释器也是很多 Clojure 带来的影子, 如果有相关背景会更容易理解.

当然我相信, 在最终业务或者个人需求要用到编程语言的时候, 大多数人考虑的还是语言的生态, 语言的抽象能力, 语言的工具链, 而不是单纯语法如何如何. 所以很少会去选择 Lisp, 更不会单单为了缩进就去选中一个语言.

仅仅单纯从上手使用的复杂度跟使用场景来说, 前缀表达式配合缩进语法怎么样? 还有 Python 好像因为某些原因国内用的人多起来了, 不知道后边反馈怎么样? 这边有没有学校里学 Python 入门的同学?

补充一个关于上下文的视频描述 https://www.bilibili.com/video/BV15v411H7JB/ .

鸭子编辑器 https://github.com/evilbinary/duck-editor
基于 scheme 开发的，GPU 渲染，高可扩展。

效果图

扩展

支持可扩展

已有扩展

1. scheme 语法高亮
2. dracula 主题
3. 文件管理

扩展开发

 (import (extensions extension)) (register 'theme.dracula (lambda (duck) (let ((editor (get-var duck 'editor)) ;;扩展功能代码块 )) 

作者

• evilbinary rootdebug@163.com
• 个人博客 http://evilbinary.org

刚刚开始刷: The Little Schemer - 4th Edition (豆瓣)

环境:

• macOS 10.12.6 Darwin Kernel Version 16.7.0: Mon Nov 13 21:56:25 PST 2017;
• chezscheme: stable 9.5 (bottled)
• 基于: Python 3.6.1 (default, Apr 16 2017, 22:13:58) [GCC 4.2.1 Compatible Apple LLVM 8.1.0 (clang-802.0.41)]
• 通过: Calysto/calysto_scheme: A Scheme kernel for Jupyter that can use Python libraries
  • 在 Jupyter 中运行 /探索 /自学 Scheme

; member? _v1 尝试将探索过程打印出来 (define iter4cond ()) ; 声明寄存容器 (define member1? ; 声明函式 (lambda (a lat) ; 绑定匿名函式, 接收参数 a lat (set! iter4cond (cons iter4cond lat)) ; ??? (cond ; 系列 if 判定 ((null? lat) #f) ; 法则->先检验 目标原子是否为空? 是, 直接退出并返回 #f (else (or ; 否则 or 一下两种对比 ;(define lat1st (car lat)) ;(display lat1st) (eq? (car lat) a) ; 第一个成员是否和 对比原子相同? ;(eq? lat1st a) ; 第一个成员是否和 对比原子相同? (member1? a (cdr lat)) ; 对其它成员使用 member 进行检验 ) ) ) ) ) 

• member1? 是一个基础的自定函式, 来判定指定原子是否存在目标列表中
• 俺想将迭代过程打印出来,
• 结果发现 cond 多条件判定语句中,
• 无论 null? eq? 或是迭代的 member1?
• 本质上都是退出行为, 根本无法同时打印出对比过程来;

所以, 不得不用过程语言的方法, 通过全局列表收集过程中的数据,

再另外打印:

比如:

(define lat `(fried eggs and scrambled egg)) (define b 'and) (member1? b lat) => #t 

再

iter4cond 

才能输出:

(((() fried eggs and scrambled egg) eggs and scrambled egg) and scrambled egg) 

可能还得另外构建合理的可视化输出函式,

所以, 俺的问题是, 这种场景中, 是否可以在计算过程中, 安全输出中间数据, 而又不干挠正常的迭代展开?

Tier $1 or more:

• Learn You Some Erlang for Great Good!
• Learn You A Haskell for Great Good!
• Teach Your Kids to Code
• The Linux Command Line
• No Starch Press Sampler

Tier $8 or more:

• All previous Tier items
• Land of Lisp
• Realm of Racket
• Clojure for the Brave and True
• The Art of Assembly Language - Second Edition
• Think Like a Programmer
• The Art of R Programming

Tier $15 or more:

• All previous Tiers Items
• The Art of Debugging
• Code Craft
• Data Visualization with Javascript
• Ruby Under a Microscope
• Understanding ECMAScript 6

Tier $18 or more:

• All previous Tiers Items
• Wicked Cool Shell Scripts - Second Edition
• The Book of R
• Gray Hat C#

比较推荐 1 刀包和 8 刀包，reddit 上的 讨论

scheme-lib

scheme-lib 是一个 scheme 使用的库。目前支持 android mac linux windows，其它平台在规划中。

linux、mac

安装编译

1. linux 下安装apt-get install freeglut3-dev libgles1-mesa-dev libgles2-mesa-dev libegl1-mesa-dev libalut-dev libopenal-dev libffi-dev依赖库。
2. mac 安装 xcode command line tool。
3. 执行make命令就可以编译，对应平台的文件在bin目录下。
4. 进入bin目录，执行source env.sh，然后运行./scheme --script ../apps/hello.ss就可以运行例子。

截图

android

新手入门

环境安装

1. 先安装scheme-release-1.2.apk
2. 将手机连接电脑，开启 adb 调试模式（需要安装 adb 命令,不会用 goolge ）。进入cd scheme-lib/android/src/packages，在 shell 下执行python sync.py命令,这样每次修改后，会自动同步 packages 下的代码到手机/sdcard/org.evilbinary.chez/lib目录下面，这样方便运行了。
3. 在 run 界面里面输入测试代码。比如:

(import (test) (gles1) (glut) ) (load "/sdcard/org.evilbinary.chez/lib/apps/hello.ss") 

demo 例子

;imgui 例子 ;imgui hello,world (define (imgui-test-hello-world) (glut-init) (imgui-init) (imgui-scale 2.5 2.5) (glut-touch-event (lambda (type x y) (imgui-touch-event type x y) )) (glut-key-event (lambda (event) (imgui-key-event (glut-event-get event 'type) (glut-event-get event 'keycode) (glut-event-get event 'char) (glut-event-get event 'chars)) (if (= 4 (glut-event-get event 'keycode )) (begin (imgui-exit) (glut-exit))) )) (glut-display (lambda () (imgui-render-start) ;(imgui-test) (imgui-set-next-window-size (imgui-make-vec2 200.0 140.0) 0) (imgui-begin "evilbinary" 0) (imgui-text "hello,world") (imgui-end) (imgui-render-end) )) (glut-reshape (lambda(w h) (imgui-resize w h) )) (glut-main-loop)         (imgui-exit)) 

运行效果如下：

测试配置

1. 在手机上输入运行代码可能不方便，所以弄了个配置文件，把需要运行的代码放到配置中会自己加载代码运行。配置文件为config.xml内容如下:

   <?xml version='1.0' encoding='utf-8' standalOne='yes' ?> <map> <string name="debugCode">(import (test) (gles1) (glut) ) (load "/sdcard/org.evilbinary.chez/lib/apps/draw-point.ss") ;(imgui-test-hello-world) </string> </map> 

2. adb push config.xml /sdcard/org.evilbinary.chez/conf/config.xml

3. 打开 scheme app 就可以直接运行啦。

高级篇

android 使用外部库

1. 手工添加 Android.mk 和源码文件到scheme-lib/android/src下命名为 libhadd 的文件夹。 add.c 内容如下：

   #include <stdio.h> #include <stdarg.h> int add(int a,int b){ return a+b; } 

   Android.mk 内容如下：

   LOCAL_PATH := $(call my-dir) include $(CLEAR_VARS) include $(LOCAL_PATH)/../Optimizations.mk LOCAL_MODULE := add LOCAL_SRC_FILES := add.c LOCAL_C_INCLUDES := LOCAL_CFLAGS += -I. -I./c/ LOCAL_CFLAGS += -g -Wall -DANDROID -DINLINES -DGC_MACROS -Wno-unused-parameter -pie -fPIE -fPIC LOCAL_LDLIBS += -ldl -llog -lz include $(BUILD_SHARED_LIBRARY) 

2. 执行make android。

3. 将编译后生成的库android/src/libs/libadd.so 同步到/sdcard/org.evilbinary.chez/lib目录下，这样能调用外部库了。

4. 调用外libadd.so库和使用代码如下：

   (import (scheme) (utils libutil) ) (load-lib "libadd.so") (define-c-function int add (int int) ) (display (add 100 1234)) 

我不了解计算原理,可计算性问题,形式系统,逻辑学什么的这些概念.许多文章说起这些概念,然后一句带过,让我感觉这背后水很深的样子,下面无从下手了.

大家是怎么学过来的?一定要了解这些数学理论,才能回答我的问题吗? 求教站内大牛.

本期 #AMA# 我们邀请到了来自 Google 的工程师，mu 语言 的创办者，Lisp 社区 的核心贡献者 - Kartik Agaram

Kartik 致力于让代码更易读，让开发更简单！你可以问他任何问题（请使用英语） https://coding.net/u/akkartik/p/AMA

I'm working on ways to better convey the global structure of programs. The goal: use an open-source tool, get an idea for a simple tweak, fork the repo, orient yourself, and make the change you visualized -- all in a single afternoon. I'd like to live in such a world, wouldn't you? http://akkartik.name

https://github.com/keyanzhang/c311-get-started

init.el 中包含的内容如下：

• Automatic package installation, including:
  • racket-mode for all the greatness.
    • We rebind the racket-run command to meta-enter (option-enter). This is basically equivalent with DrRacket's Run button. If you don't like the keybinding, just modify it in init.el.
  • helm cuz nobody can memorize all the emacs functions.
  • company for auto completion.
  • rainbow-delimiters so we won't need to get LASIK.
  • paredit is included but disabled by default.
    • We highly recommend activating paredit for Scheme/Racket/Lisp modes, but we understand that it could take a while to get used to it.
    • Please read http://danmidwood.com/content/2014/11/21/animated-paredit.html first; when you are ready, change the line (setq paredit-enabled nil ) to (setq paredit-enabled t ) in init.el to activate paredit.
• Fixes
  • All the temporary files will be placed under ~/.emacs.d/bkup so you won't see annoying bla~ files in your working folder again.
  • The Mac option key becomes meta.
  • Perserve some OS X default system shortcuts in Emacs. To name a few:
    • Command-a = "Select All"
    • Command-x = "Cut", Command-c = "Copy", and Command-v = "Paste"
    • Command-s = "Save"
    • Command-z = "Undo"
  • recentf-mode: use C-x C-r to access a list of recently edited files.
  • Emacs grabs the $PATH variable from your shell.

https://abcdabcd987.com/scheme-church-number/

• 与SICP第四章4.1.5节之前做的元循环求值器对应，但是使用了OO风格（基本就是照着书抄代码，又轻松又快乐……使用了OO，有点类似前几章提到的消息传递风格）
• 暂时不到500行（不包括空行，注释，测试）
• 这种玩法真的比做无聊的习题好玩得多

现在的状况是可以运行练习2.42（八皇后谜题的那个）的代码，但是参数设成5就会突破Py递归深度上限。除法和浮点数都不能用！

这个项目应该可以完成第四章的使命，等做到4.1.7节分离语法分析与求值过程之后顺便加一下尾递归优化应该可以把上面的问题解决……

Repo