-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
110 lines (62 loc) · 3.44 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<title>Source §1 Wasm</title>
<link rel="shortcut icon"
type="image/x-icon"
href="/images/sourcepower.ico" />
<script src="scripts/prettify/prettify.js"> </script>
<script src="scripts/prettify/lang-css.js"> </script>
<!--[if lt IE 9]>
<script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script>
<![endif]-->
<link type="text/css" rel="stylesheet" href="styles/prettify-tomorrow.css">
<link type="text/css" rel="stylesheet" href="styles/jsdoc-default.css">
</head>
<body>
<div id="main">
<h1 class="page-title">Source §1 Wasm</h1>
<!-- changed by MH on 1/7/2019 from default template. See "MH" below -->
<!-- changed by MH on 3/6/2021 from default template. See "MH" below -->
<h3> </h3>
<section>
<article><p>Source §1 is a small programming language, designed for the first chapter
of the textbook
<a href="https://sourceacademy.org/sicpjs">Structure and Interpretation
of Computer Programs, JavaScript Adaptation</a> (SICP JS). Source §1 WebAssembly is an experimental implementation of Source §1 that compiles Source §1 to WebAssembly.</p>
<p>As this implementation is experimental, you may encounter bugs while using it. Please report bugs to the <a href="https://github.com/source-academy/sourceror">Sourceror</a> repository.</p>
<h2>Why should I use Source §1 WebAssembly?</h2>
<p>It's fast — many times faster!</p>
<p>Take this code as an example:</p>
<pre class="prettyprint source"><code>function f(x){
return x === 0 ? 1 : f(x-1) + f(x-1);
}
f(24);
</code></pre>
<p>It takes around 40 seconds on the usual Source §1 transpiler, but just 4 seconds on Source §1 WebAssembly — a whopping 10x speedup!</p>
<h2>What are the differences between Source §1 WebAssembly and vanilla Source §1?</h2>
<p>Efficiency of execution is the main benefit of Source §1 WebAssembly.</p>
<p>Source §1 WebAssembly also supports writing external module files in Source itself, and have them imported by the main module. These module files may be hosted at any URL (which supports CORS). In particular, the standard libraries (MISC and MATH) are themselves implemented in Source (with some extensions).</p>
<p>However, standard library names must currently be imported explicitly (e.g. <code>import { math_sqrt } from "std/math";</code>).</p>
<p>Proper tail calls are unsupported in Source §1 WebAssembly. Some programs with lots of tail recursion will lead to a stack overflow in Source §1 WebAssembly but will work in vanilla Source §1.</p>
<p>Runtime type errors are detected, however the line numbers are not reported because the WebAssembly binary produced by the compiler does not currently retain any location information.</p>
<h2>You want the definitive specs?</h2>
<p>For our development team, we are maintaining a definitive description
of the language, called the
<a href="../source_1_wasm.pdf">Specification of Source §1 WebAssembly</a>. Feel free to
take a peek.</p></article>
</section>
</div>
<nav>
</nav>
<br class="clear">
<footer>
generated by <a href="https://github.com/jsdoc/jsdoc">JSDoc 3.6.11</a> from
<a href="https://github.com/source-academy/js-slang">Github repository js-slang</a>
on Wed Apr 02 2025 06:57:59 GMT+0000 (Coordinated Universal Time)
</footer>
<script> prettyPrint(); </script>
<script src="scripts/linenumber.js"> </script>
</body>
</html>