Source (programming language)

From HandWiki
Short description: Family of JavaScript sub-languages
Source
ParadigmMulti-paradigm: scripting, imperative, procedural, functional
First appeared2017; 7 years ago (2017)
Stable release
2022 (Rook) / 31 December 2021; 2 years ago (2021-12-31)
Typing disciplineDynamic, duck
OSbrowser-based
LicenseApache
Filename extensions.js
Websitedocs.sourceacademy.org
Major implementations
Safari (Safari's JavaScript is properly tail recursive), Source Academy[1]
Dialects
Source §1, Source §2, Source §3, Source §4
Influenced by
JavaScript, Scheme

Source is a family of sublanguages of JavaScript, developed for the textbook Structure and Interpretation of Computer Programs, JavaScript Edition (SICP JS). The JavaScript sublanguages Source §1, Source §2, Source §3 and Source §4 are designed to be just expressive enough to support all examples of the respective chapter of the textbook.

Purpose and design principle

During the development of SICP JS, starting in 2008, it became clear that purpose-designed sublanguages of JavaScript would contribute to the learning experience. Initially called "JediScript" and inspired by the book "JavaScript: The Good Parts"[2] by Douglas Crockford, the Source sublanguages follow the chapters of SICP JS; each language Source §x is a sublanguage of the next language Source §(x+1). Following the minimalistic approach of SICP JS, implementations of Source are expected to remove any JavaScript language features that are not included in the language specification.[3]

Features

Source §1 is a very small purely functional sublanguage of JavaScript, designed for Chapter 1 of SICP JS. Source §2 adds pairs and a list library, following the data structures theme of Chapter 2. Source §3 adds stateful constructs, and Source §4 adds support for meta-circular evaluation. Chapter 5 of SICP JS does not require language support beyond Source §4. All Source languages are properly tail recursive, as required by Chapter 1 of SICP and as specified by ECMAScript 2015.

Source Academy

Since the Safari browser is ECMAScript-2015-compliant, including proper tail calls, it can serve as an implementation of all Source languages, provided that the SICP package is loaded.[4] The Source Academy[5] is a web-based programming environment that implements all Source languages, regardless of browser support for proper tail calls, and features various tools for the readers of SICP JS. The language implementation in the Source Academy, js-slang,[6] is also available as a stand-alone environment based on Node.js.

References

  1. "Source Academy". NUS. 2020. https://sourceacademy.org. 
  2. Douglas Crockford (2008). JavaScript: The Good Parts. O'Reilly. ISBN 9780596517748. https://archive.org/details/javascriptgoodpa00croc_0. 
  3. Anderson, Boyd; Henz, Martin; Low, Kok-Lim; Tan, Daryl (20 October 2021). "Shrinking JavaScript for CS1". Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E (SPLASH-E 2021). New York, NY: ACM SIGPLAN. pp. 65–70. doi:10.1145/3484272.3484970. 
  4. "npm package sicp". Source Academy. 2021. https://www.npmjs.com/package/sicp. 
  5. "Source Academy". NUS. 2020. https://sourceacademy.org. 
  6. "js-slang on github". NUS. 2020. https://github.com/source-academy/js-slang. 

External links