Lisp-China

Lisp-China copied to clipboard

Song: "God Wrote in Lisp", Lyrics by Bob Kanefsky, sung by Julia Ecklar.

History:

• Professor John McCarthy : History of Lisp, 1979.

• Simons Foundation Video interviews, July 26, 2005, John McCarthy

• History of LISP Group by Paul Mcjones

• LISP I Programmers Manual - IBM 704 - 1960

• LISP 1.5 Programmer's Manual

• The Evolution of Lisp [PDF] Guy L. Steele Jr. and Richard P. Gabriel , OOPSLA 2008 Video.

• Early LISP , Early LISP Part II (Apply redux).

• Technical Issues of Separation in Function Cells and Value Cells , Lisp-1 vs Lisp-2

• Awesome Lisp Machine

• A few things I know about LISP Machines

• Awesome Lisp Companies

• HOPL IV: History of Programming Languages PLDI 2021 June.

• Symbolics Lisp Machine Museum

• Slava Akhmechet：The Nature of Lisp 2006 & Alec Jang 译 Lisp的本质

• 赛义甫：读《Lisp的本质》(The nature of Lisp)——悼Schönfinkel

• Paul Graham：The Roots of Lisp, 2001. 译 Lisp之根源.

Scheme

https://schemers.org/

The Scheme Programming Language

Awesome Scheme

Planet Scheme collects blog posts from individuals and projects around the Scheme community.

(chez (chez scheme))

Practical Scheme

Gauche A Scheme Implementation

CHICKEN Scheme a practical and portable scheme system

GNU Artanis is a web application framework(WAF) written in Guile Scheme. HardenedLinux / artanis

Akku.scm - Scheme package manager

标准版本：

• R5RS, 中文翻译算法语言 Scheme 修订5报告 [PDF].

• R6RS 现实中已被放弃：R7RS versus R6RS, 中文翻译R6RS 算法语言Scheme修订6报告.

• R7RS Scheme Progress Report, the R7RS-small standard for the Scheme programming language & R7RS-large & R7RS Index

• Scheme Requests for Implementation https://srfi.schemers.org/

• Scheme Reports

• Scheme and Functional Programming Workshop 研讨会

Video：

Learning SICP 公开课翻译项目 - https://learningsicp.github.io/ ; Eli Bendersky : SICP

Andy Balaam - Scheme Programming bilibili, youtube; pdf Scheme Lisp - Feel the Cool

学习资料：

• Simply Scheme: Introducing Computer Science

• The Scheme Cookbook

• The evolution of a Scheme programmer

• Yet Another Scheme Tutorial & 中文翻译Scheme入门教程

• Teach Yourself Scheme in Fixnum Days & 中文翻译Scheme语言简明教程

The Little LISPer	The Little Schemer	The Scheme Programming Language	Lisp in Small Pieces	Essentials of Programming Languages	Scheme and the Art of Programing	Logic Programming in Scheme

• 洪峰：Scheme之道
• SICP解题集
• SICP Python 描述 中文版
• Why Structure and Interpretation of Computer Programs Matters ; 译文：为何 SICP 意义重大.
• 计算机程序的构造和解释(原书第2版) 豆瓣

Common Lisp

https://lisp-lang.org/

Features of Common Lisp (2008)

A Critique of Common Lisp (1984)

Richard P. Gabriel： Common Lisp Object System.

Kent M. Pitman： Common Lisp: The Untold Story.

CLiki: the Common Lisp Wiki

学习路径：

• Common Lisp: An short introduction on most interesting parts 田春.
• A Road to Common Lisp & 中文翻译版 Chinese simplified
• An Introduction and Tutorial for Common Lisp
• Pascal Costanza's Highly Opinionated Guide to Lisp 2013
• CS 325 AI Programming Readings
• How To Start a Common Lisp Project 2020
• 2022年Lisp入坑路线 某位朋友的学习路线
• How I got started with Common Lisp in 2017

播客:

• Lisp 程序员眼中的 Python https://pythonhunter.org/episodes/7 嘉宾：David Gu ，2019年.

• Teahour.fm——https://www.ximalaya.com/sound/3031497 嘉宾：田春 , 2014年.

• 代码时间(终结) —— 嘉宾：韩祝鹏，Lisp入门. 2016年. https://www.ximalaya.com/keji/4867505/25888083

书籍教程：https://lisp-lang.org/books/

• Successful Lisp: How to Understand and Use Common Lisp

  入门教程，文书浅显易懂，示例讲解到位，将Lisp的基本特性表述的很完整。

• Common Lisp: A Gentle Introduction to Symbolic Computation

  一本相当给力的 Lisp 入门书，以 Common Lisp 方言为表述载体。

• 中文翻译 Chinese simplified ; ANSI Common Lisp 笔记 ; "ANSI Common LISP" Answer for Practice

  基本上覆盖了Common Lisp大部分的语言特性。适合初学者阅读，书后的附录很有参考价值。​

• Common Lisp Recipes: A Problem-Solution Approach

  进阶内容，不适合初学者，未讲述CL基础，且不谈及宏，偏向实践。

• The Common Lisp Cookbook & 中文翻译 Chinese simplified

  

• 中文翻译 Chinese simplified：Common LIsp 高级编程技术

  该书适合对Lisp有一定基础的同学，Lisp进阶的必读书籍，详细介绍了 Lisp 独有的宏。

• Let Over Lambda & 中文文档 Chinese simplified ; Let Over Lambda 笔记

  书评https://www.douban.com/group/topic/101579766/ ； 在《On Lisp》的基础之上专门介绍macro的原理和使用。

• Programming Algorithms in Lisp

  

• The Common Lisp Condition System

  

• Lisp for the Web ; Lisp与现代Web开发

  介绍 Common Lisp 开发 Web 应用

• Common Lisp the Language, 2nd Edition

  

• Building Problem Solvers

  "古典人工智能"，严肃专著

• 《AI编程范例：Common Lisp实例研究》前言和书评

  "古典人工智能"，流行读物

• Practical Common Lisp笔记

  前3章值得阅读，中间章节略显拖沓，最后几章的实例可以阅读。

• Google Common Lisp Style Guide & Google Common Lisp 风格指南

• Common Lisp Quick Reference

• Simplified Common Lisp reference

• Common Lisp Syntax reference

• Loving Common Lisp, or the Savvy Programmer's Secret Weapon 简短介绍了 Common Lisp一些基础知识，然后给出了一些实际例子，比如如何操作 MongoDB 等。这本书适合那些觉得 Common Lisp 学了找不到工作或者没什么实际用途，但又想简单了解下 Common Lisp 的人。

• Object-Oriented Programming in Common Lisp: A Programmer's Guide to CLOS. 中文翻译

• 《LISP语言》 马希文教授纪念网站 宋柔 编著，高等教育出版社，1990年7月第1版. 在改革开放伊始，马老师作为首批访问学者便抵达斯坦福大学AI实验室，与John McCarthy共事。这个时候的LISP标准化工作还未完成，这本书所依据的方言是DCLISP。全书共分十四章，一至三章介绍LISP的基本的语法、语义，S表达式的概念，以及LISP的核心部分LISP1；四至十章主要讨论LISP的函数程序设计部分；十四章介绍LISP中的一些高级成分和高级应用（实现模式传递参数机制，实现逻辑型语言和泛函型语言）。

• 《LISP语言》陈光喜，2005年09. 本书以Allegro Common Lisp 3.02为环境进行讲解，共分十二章，既包含CLOS又增添实践环节，适合入门学习。

• Learn Lisp The Hard Way source-code and full book text

• Lisp Quickstart

• Starting a minimal Common Lisp project | notes.eatonphil.com

• Debugging lisp

• Loops in Lisp

News:

• Planet Lisp is a meta blog that collects the contents of various Lisp-related blogs.
• Planet SBCL s a meta blog that collects the contents of various SBCL-related blogs.
• Quicklisp news

CL生态：

Lisp journey: State of the Common Lisp ecosystem, 2020 🎉

Debian Synaptic Package Manager

Discover Github trending Common Lisp open-source projects

• Portacle - A Portable Common Lisp Development Environment.
• Lispbox is an IDE for Common Lisp development.
• clasp Common Lisp environment
• Corman Lisp is a Common Lisp development environment for Microsoft Windows operating systems
• Clozure Common Lisp is a free Common Lisp implementation
• Allegro Common Lisp

Common Lisp + Emacs + SLIME + SBCL + Quicklisp 最佳实践

• LispWorks Integrated cross-platform development tool for Common Lisp. awesome lispworks
• GNU's programming and extension language — GNU Guile 编程实现
• Quickdocs Find Common Lisp librariesshipped by Quicklisp 包管理
• Lisp Project of the Day

项目实例：Learn Common Lisp by Example: Qt GUI with EQL5

Ceramic Bring the web to the desktop.

• Answers from 2017 Common Lisp experts
• Programming in the Common Lisp Ecosystem
• Common Lisp programming: from novice to effective developer | Udemy (付费)
• Running Lisp in Production Grammarly Engineering Blog
• New York City Lisp User Group , YouTube
• European Lisp Symposium , YouTube
• Common Lisp in Practice
• ForumRoguelike tutorial for Common Lisp
• CLiki: cl-launch is a unix utility to make your Lisp software easily invokable from the shell command-line.
• Build me a LISP
• Common Lisp Libraries
• Common Lisp Libraries by Edi Weitz
• ROS 是一个构建机器人及应用的操作系统，主要目标是为机器人研究和开发提供代码复用的支持。
• The Common Lisp Foundation， Common Lisp Libraries
• LambdaNative is a cross-platform development environment written in Scheme, supporting Android, iOS, BlackBerry 10, OS X, Linux, Windows, OpenBSD, NetBSD, FreeBSD and OpenWrt.
• Armed Bear Common Lisp (ABCL) is a full implementation of the Common Lisp language featuring both an interpreter and a compiler, running in the JVM. Originally started to be a scripting language for the J editor, it now supports JSR-223 (Java scripting API): it can be a scripting engine in any Java application. Additionally, it can be used to implement (parts of) the application using Java to Lisp integration APIs. Reddit: ABCL Common Lisp vs Clojure
• An extensible, customizable, free/libre text editor — and more. At its core is an interpreter for Emacs Lisp, a dialect of the Lisp programming language with extensions to support text editing.
• Sly：Sylvester the Cat's Common Lisp IDE
• Roswell: intended to be a launcher for a major lisp environment that just works.
• clog - The Common Lisp Omnificent GUI
• restas Common Lisp web framework
• cl-ppcre Common Lisp regular expression library
• Embeddable Common-Lisp is an interpreter of the Common-Lisp language as described in the X3J13 Ansi specification, featuring CLOS (Common-Lisp Object System), conditions, loops, etc, plus a translator to C, which can produce standalone executables.
• LISP In Summer Projects

---

Racket

https://www.racket-lang.org/

• Racket News

• Racket Stories

• NU PLT，SICP Support for DrRacket，PLT Scheme is now Racket

---

Clojure

https://clojure.org/

A history of Clojure Rich Hickey , 2020.

Clojure from a Schemer's perspective

Planet Clojure is a meta blog that collects posts from the blogs of various Clojure hackers and contributors.

The Clojure Philosophy

Community-Powered Clojure Documentation and Examples | ClojureDocs

Elango Cheran：Why Clojure (Lisp) is good for writing transpilers

Robert C. Martin (Uncle Bob)：Why Clojure?

刘家财: 国内第一套 Clojure 视频课程(付费)，Let Lisp Rocks !

播客： 代码时间(终结) —— 嘉宾：何婧誉（Loretta），Clojure编程. 2016年. https://www.ximalaya.com/keji/4867505/19342829

---

miniKanren

minikanren.org

The Reasoned Schemer
In this UnConf talk, Dan Friedman and William Byrd demonstrate the miniKanren logic programming system for Scheme. bilibili
---
Emacs Lisp
Evolution of Emacs Lisp Stefan Monnier, Michael Sperber. Proceedings of the ACM on Programming LanguagesJune 2020 Article No 74.
---
Emacs 编辑器
EmacsConf
• 22 years of Emacs
• Emacs China 社区
• EmacsTalk 一档专注在 Emacs 社区的程序员闲聊节目
• Emacs News 📰 Sacha Chua
• Using Emacs Series 📅 Mike Zamansky
• Emacs Handbook 📚
• Emacs Video 📺 Protesilaos Stavrou
• Emacs org-mode examples and cookbook
• 如何提高编程速度 📝 陈斌 github
• Xah Emacs
• More Productive with Emacs
• Emacs Docs
• MELPA
学习:
Emacs 高手修炼手册 bilibili , https://www.zhihu.com/column/c_1413568526368542721
Emacs 轻奢之路 bilibili , https://zhuanlan.zhihu.com/p/496645254
21天学会Emacs 2022 Edition bilibili , https://book.emacs-china.org/
EmacsTalk 2022 春节特别节目 Lighting Talks bilibili
---
Podcasts：
• Software Engineering Radio——http://www.se-radio.net/2006/11/episode-36-interview-guy-steele/ 嘉宾：Guy Steele
• Software Engineering Radio——https://www.se-radio.net/2008/01/episode-84-dick-gabriel-on-lisp/ 嘉宾: Richard P. Gabriel
• Software Engineering Radio——https://www.se-radio.net/2010/03/episode-158-rich-hickey-on-clojure/ 嘉宾: Rich Hickey
• Functional Geekery—— A podcast on Functional Programming, covering topics across multiple languages.
• CoRecursive Podcast： The Little Typer with Dan Friedman and David Christiansen
• CoRecursive Podcast： God's Programming Language with Philip Wadler
• CoRecursive Podcast： Language Oriented Design discussing SICP with Hal Abelson
• CoRecursive Podcast： LISP in Space With Ron Garret
Video：
• Guy Steele - Cool Ideas (Dan Friedman's 60th Birthday) bilibili youtube
• Little Bits of Lisp bilibili youtube & Pushing Pixels With Lisp bilibili youtube
• Readable Lisp S-expressions Project
高校：
Edu	Course
Indiana	C311/B521/A596 Programming Languages	Daniel P. Friedman Daniel P Friedman: A Celebration 2004
MIT	Dynamic Languages Group
Simon Fraser University	CMPT 310: Artificial Intelligence Survey
	CS3723 Programming Languages Spring 2011
Cornell	http://www.cs.cornell.edu/~kozen/#Courses	Dexter Kozen
MPI-SWS	Programming Languages, Etc. Reading Group (PLERG)	Scott Kilpatrick
北京大学	程序设计技术和方法 (教科书SICP)	2014春季本科生 裘宗燕 退休
北京大学	程序设计语言原理 (主要参考书:《程序设计语言——实践之路》文献汇编	2012 研究生 裘宗燕 退休
南京大学	Structure and Interpretation of Computer Programs	冯新宇
南京大学	程序设计语言的形式语义 (Formal Semantics of Programming Languages）	梁红瑾
uwaterloo.ca	Teach Yourself Racket	https://cs.uwaterloo.ca/~plragde/flaneries/TYR/
edx.org	How to Code: Simple Data	Gregor Kiczales
Nottingham	Functional Programming in Haskell bilibili	Graham Hutton
Brown	Programming and Programming Languages	Shriram Krishnamurthi ...
Harvard	History of Programming Languages	Christos Dimoulas
Syracuse	Programming Languages: Theory and Practice
Vancouver Island University	CSCI 330: Programming Languages	Common lisp by examples ; Common Lisp By Example
George Mason University	Lisp at GMU
Journal：
• Lisp and Symbolic Computation / Higher-Order and Symbolic Computation
博文：
• Peter Norvig: A Retrospective on Paradigms of AI Programming
• Peter Norvig: Python for Lisp Programmers
• Peter Norvig: (How to Write a (Lisp) Interpreter (in Python))
• Eric Normand: Lisp with Macros is Two Languages
• History of Lisp | Lambda the Ultimate
• Research in Programming Languages | Lambda the Ultimate
• Gordon S. Novak Jr. Scheme vs. Common Lisp
• Gordon S. Novak Jr. CS 394P: Lisp Notes
• Gordon S. Novak Jr. Lisp Style and Efficiency
• Differences between Scheme and Common Lisp
• An Intuition for Lisp Syntax
• The memory models that underlie programming languages & 编程语言中的 6 种内存模型（2016）
• Can Lisp Macro Change Lisp Syntax?
• How Lisp Became God's Own Programming Language
• Lisp的永恒之道
• 不用 Lisp 学 Lisp
• Why I love Lisp: https://pupeno.com/2011/08/16/why-i-love-lisp/
• Why Lisp Failed: http://locklessinc.com/articles/why_lisp_failed/
• This Old Lisp: http://thisoldlisp.com/talks/els-2018/ R. Matthew Emerson ( keynote talk from the 2018 European Lisp Symposium in Marbella, Spain)
• The Lisp Curse: http://www.winestockwebdesign.com/Essays/Lisp_Curse.html
• Nils M Holm's Ephemeralia
• LISP FROM NOTHING
• Lisp in Small Parts Zach Beane
• The Rise of Worse is Better - Richard P. Gabriel

• The Art of Lisp & Writing

• Build Your Own Lisp & 中文版 Chinese simplified
---
附：
• The Little MLer

  

• The Little Java, A Few Petterns


• The Little Prover
实现 J-Bob证明器
• The Little Typer
A little taste of Dependent Types