Pleasantly surprised to see this on HN! This is an old (and incomplete) project of mine to reformat Structure and Interpretation of Computer Programs into a browser-friendly format, with a built-in code editor and interpreter [1].
I think today, you can use Racket in its special SICP mode to get a much better experience. But maybe the HTML (Bootstrap) formatting is a little nicer to read (and with the bonus that it probably works on phones).
The interpreter was incomplete and written from scratch, as a learning project [2]. This was done in the pre-WebAssembly days, so I couldn't just recompile, say, a Scheme written in C for use in the browser.
If I recall correctly, I took the SICP source files, ran a bunch of regular expressions on them to convert the content into XML [3], and then used XSLT to generate the web pages [1]. I was really into XSLT at the time :)
Anyway, hope people find this useful! It's outdated and incomplete, and the interpreter has an odd implementation, but it was a fun project.
> This was done in the pre-WebAssembly days, so I couldn't just recompile, say, a Scheme written in C for use in the browser.
If this is a direction you (or anyone else!) would like to explore, GNU Guile has been having work done to port it to WebAssembly under the Hoot project[0].
Still a nice interactive web site!! I did something similar when applets were added to Java 1.0 beta, so many years ago. I had an AI tutorial powered by applets.
You mentioned Racket. Were you at Racket Con this weekend? I attended remotely, and really enjoyed it.
Pardon the self-promotion, but speaking of Scheme/Racket you can read my newly released (last Friday) book "Practical Artificial Intelligence Development With Racket - Using Racket Scheme for implementing many short AI examples including LLMs, vector datastore, NLP, semantic web and non-AI utilities" for free online. [1]
Yeah, I went through it this weekend because I was curious about Scheme, and was surprised when it ended so suddenly! It was a good read though. Any more advanced free online Scheme tutorials you can recommend? I’d like to get to continuations, lazy evaluations, macros etc..
So you can continue to explore the rest of the book for free (without the aid of the built-in interactive interpreter). Check out Racket and its included support for the particular Scheme used by SICP: https://docs.racket-lang.org/sicp-manual/
>My impression of XSLT is that there were representatives from every different programming language paradigm on the XSLT standard committee, and each one of them was able to get just enough of what was special about their own paradigm into the standard to showcase it while sabotaging the others and making them all look foolish, but not enough to actually get any work done or lord forbid synergistically dovetail together into a unified whole.
>The only way I was ever able to get anything done with XLST was to use Microsoft's script extensions to drop down into JavaScript and just solve the problem with a few lines of code. And that begs the question of why am I not just solving this problem with a few lines of JavaScript code instead of inviting XSLT to the party?
In fact, our own take on AOLServer used xml namespaces for our widget libraries, but alas we got HTML 5 instead, and Web Components are still not widely adopted.
This is brilliant. Scheme broke me back in school- I could not get my head around it. I’ve thought about trying it again now that I’ve got a better understanding of what my professors were trying to actually teach with it. And here you are with the exact book I’d forgotten the name of!
> Structure and Interpretation of Computer Programs by Harold Abelson and Gerald Jay Sussman with Julie Sussman is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License by the MIT Press.
> Structure and Interpretation of Computer Programs by Harold Abelson and Gerald Jay Sussman with Julie Sussman is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License by the MIT Press.
Embedded languages are the probably the biggest advantage of LISP (https://youtu.be/PEwZL3H2oKg?t=3370). Could LISP-embedded languages be the key to unlocking the full potential of LLMs?
Here's Kent Pittman's :TEACH;LISP from ITS, which is a MACLISP program that teaches you how to program in MACLISP. (That's "Man And Computer Lisp" from "Project MAC", not "Macintosh Lisp".)
>You should definitely learn both if you can afford the time. They are
not redundant with one another, in spite of their superficial
syntactic similarity.
>Others divide up this space differently than I, but for most purposes,
I personally regard them as distinct langauges, not mere dialectal
variations, although plainly they are from what I would call the same
language family.
>You will probably prefer to use one or the other in the end, but they
each have things to teach you. Even if you prefer to use neither, you
will use the things you learn from these languages in your future
thinking, becuase they will give you metaphors for thinking about
things that other languages do not.
This is like catnip for people interested in the sociological and cultural aspects of programming language design:
Common Lisp: The Untold Story; Kent M. Pitman, HyperMeta Inc.
>Kent Pitman's a great guy who's done a lot of pioneering work to teach people Lisp.
>KMP wrote a Lisp program to teach MACLISP on the MIT AI Lab's ITS systems called ":TEACH;LISP", which I used to learn Lisp (but which Jerry Pournelle cited in a not-friendly light).
>KMP kindly took the time to personally teach me some LISP, by challenging me to a dual! We both ran our own LISP processes, and loaded a function called EVAL-IN-OTHER-LISP that used "core link interrupts" to send s-expressions from one LISP to another, so we could evaluate code in each other's LISP. That made it easy for him to define and call functions in my LISP, which was quite fun, but then he set my numeric output base to roman numerals! He won that dual.
Core Link Interrupts (ITS's interprocess communication mechanism, sending messages through actual core memory on a PDP-10):
>From: Kent M Pitman <KMP at SCRC-STONY-BROOK.ARPA>
>Subject: Pourne
>Personally, I'd just turn off his account. It's not like it's the first time, and he not only flaunts his use of our machines but stabs us in the back with grumblings about why he doesn't like this or that program of ours when he gets a chance. (Am thinking particularly of an article he wrote which condemned Lisp for reasons amounting to little more than his ignorance, but which cited Teach-Lisp in a not-friendly light... The man has learned nothing from his presence on MC and sets a bad example of what people might potentially accomplish there. I'd rather recycle his account for some bright 12-yr-old...)
The following is some sample code (complete with documentation) that I found in my notes and thought might be helpful:
;;; Notes about CLI interrupts:
;;;
;;; A CLI interrupt is what happens when another job sends to yours. It is
;;; normally the case that other jobs will send directly to a user's HACTRN.
;;; If, however, Lisp is interrupted by a CLI message, it can elect to handle
;;; handle the interrupt in an arbitrary way.
;;;
;;; To define a handler, two things must be done:
;;; [1] Place the name of the handler function (function of one arg)
;;; in the variable CLI-MESSAGE.
;;; [2] Enable CLI handling with (SSTATUS CLI T)
;;;
;;; The handler should take a single argument which it probably should ignore
;;; since I have no idea what it is likely to be.
;;;
;;; The handler should open the file "CLA:" in (CLA BLOCK) mode and immediately
;;; discard the first 8 characters which will be garbage.
;;;
;;; The remainder of the stream, until a control-C or an eof, will be the text
;;; of the message sent. It may be read with TYI, READ, etc. and handled
;;; however.
(eval-when (eval compile)
(cond ((not (get 'iota 'version))
(load "liblsp;iota"))))
(defun handle-cli-msg (ignore)
(iota ((stream '((cla)) '(cla block)))
(do ((i 0 (1+ i))) ((= i 8)) (tyi stream))
(do ((c (tyi stream -1) (tyi stream -1)))
((or (= c -1) (= c 3)))
(format t "~&~3,'0O ~@:C~%" c c)))) ;print out chars seen
(setq cli-message 'handle-cli-msg)
(sstatus cli t)
; --------
(defun eval-cli-msg (ignore) ;alternate handler
(iota ((stream '((cla)) '(block cla)))
(do ((i 0 (1+ i))) ((= i 8)) (tyi stream))
(do ((f (read stream nil) (read stream nil)))
((null f))
(errset (eval f) nil)))) ;Quietly evaluate forms...
;; Assumes the other lisp will have EVAL-CLI-MSG as value of CLI-MESSAGE
(defun eval-in-other-lisp (uname jname s-expression)
(iota ((stream `((cli) ,uname ,jname) '(out ascii block)))
(print s-expression stream)))
The entire instruction of Scheme in 6.001 was less than an hour. You only need a tiny bit and then you can focus on the concepts in the book rather than quirks of some programming language's syntax. I think that is a huge win. On what basis do you find it "intellectually dishonest"?
Based on: Forbus, K. D. (1985). Structure and interpretation of computer programs. Artificial Intelligence, 27(1), 124–127. doi:10.1016/0004-3702(85)90087:
"several important topics that students should be exposed to early are treated lightly, if at all. Its coverage of fundamental algorithms is spotty - sorting, for instance, is
not discussed at all.
Another problem inherent in this pedagogical approach is that it does not teach students many of the engineering skills necessary for developing efficient programs on 'real' computers. This can lead to a 'clean fingernails' syndrome.
where the student feels no program should be written or used unless it is utterly clean."
This is just one. I can't find the paper but Philip Wadler was the original person saying the exact phrase 'intellectually dishonest'.
> This is just one. I can't find the paper but Philip Wadler was the original person saying the exact phrase 'intellectually dishonest'.
https://www.cs.kent.ac.uk/people/staff/dat/miranda/wadler87.... - that's the only Wadler critique of SICP I'm familiar with. Is "intellectually dishonest" in there? I can't find it. In fact, he seems rather positive about the book and it's material, just not Scheme. His critique is focused on the differences between Scheme and Miranda and their applicability to teaching students.
I would think it obvious, but maybe not, that attributing your own critique to a more well-known and respected individual without citation is intellectually dishonest.
I call it a disagreement, there are many of these kinds of disagreements especially in pedagogy. Sometimes people use strong and charged language in disagreements. It is not "intellectually dishonest" (quoting you, not Wadler since you still can't back that attribution) to write a book using Scheme just because others think Miranda (at the time, or another language today) would have been a better language. It would only have been intellectually dishonest if they knowingly chose Scheme to create an inferior experience (to what purpose?).
And I still contend that you are an intellectually dishonest person until you can properly attribute that quote to Wadler, or concede that you were wrong and made a false claim.
The criticism in my previous comment backed by a valid and searchable source: "SICP does not adequately teach the fundamentals of programming." is huuge for a book claiming to the best in the field. It's not a matter of 'pedagogical disagreement'. What do you say in this regard?
Yes, unfortunately I can't find the paper and I even enlisted GPT4 to help me search, so it is possible that some other reviewer may have said that (and I may have read another review by Wadler before or after this review); So while Wadler may not have said that, he has plenty of beef with SICP in the paper in your comment which essentially boils down to implying intellectual dishonesty. If not, then you need to improve your reading comprehension.
I understand that you may have invested a lot of time and effort in SICP and Wadler's assessment of it (based on the paper you provided!) hurt your fragile ego, hence the rude attack on my intellectual integrity, but regardless of whether Wadler said the particular phrase "intellectually dishonest" or not, the implication of his complaints I listed in my previous comment (based on the paper you provided!) amounts to almost to expanded version of saying the same thing.
Also, a note on downvotes: the agreement of majority (shown via upvotes) is no guaranteed standard for quality or veracity of a comment/opinion and I couldn't care less about the "karma points"; my comments are fueled by intellectual integrity and curiosity, and that inevitably means some people might disagree with me. Just because you disagree does not mean I am wrong and you are right.
I think you should judge SICP on what the authors' own intentions were, not on things they weren't trying to do. I didn't get the feeling that cleanness was emphasized or encouraged (any more than in any class). There are other classes that cover fundamental algorithms like sorting, SICP isn't about that.
You might find the authors own critique of SICP interesting:
BTW, here is a list of people who had criticized SICP. The list is full of heavy-weights:
Philip Wadler
Donald Knuth
Eric Raymond
Richard Bird
Paul Graham
Guy Steele
Robert Harper
Matthias Felleisen
Daniel Friedman
Christopher Strachey
Peter Landin
John Backus
Based on: WOOD, A. (2001). Structure and Interpretation of Computer Programs, 2nd Ed by Abelson and Sussman, with Sussman, MIT Press, 1996, ISBN 0-262-51087-1, 657pp. Journal of Functional Programming, 11(2), 253–262. doi:10.1017/s0956796801223983:
"The new material on concurrency is rather a disappointment since such a large and fundamental topic is relegated to little more than a convenient link item between lists and
streams.
...
The major omission, and it is major, is that types are never fully, or even adequately
discussed."
I think today, you can use Racket in its special SICP mode to get a much better experience. But maybe the HTML (Bootstrap) formatting is a little nicer to read (and with the bonus that it probably works on phones).
The interpreter was incomplete and written from scratch, as a learning project [2]. This was done in the pre-WebAssembly days, so I couldn't just recompile, say, a Scheme written in C for use in the browser.
If I recall correctly, I took the SICP source files, ran a bunch of regular expressions on them to convert the content into XML [3], and then used XSLT to generate the web pages [1]. I was really into XSLT at the time :)
Anyway, hope people find this useful! It's outdated and incomplete, and the interpreter has an odd implementation, but it was a fun project.
Source code links:
[1] HTML generator: https://github.com/jaredkrinke/learn-scheme
[2] Interpreter: https://github.com/jaredkrinke/jslisp
[3] SICP-to-XML converter: https://github.com/jaredkrinke/sicp-reformatter