bs2 · @bsmall2
195 followers · 3346 posts · Server mstdn.jp

I first heard of Smullyan from in the Foreword to . He had "a chance conversation" with about a letter from math teachers in Florida. That led to a re-working of a high school computing text from to . It's funny to see Smullyan in a Japanese Lisp foreword too.
> S式は目的を持たない、
しかしまさにそのことにより
すべての目的お見事に果たす。

> 成人(のようなLispプログラマー)は、
プログラムを書かなければならないからではなく
プログラムを書きたいからでもなく
プログラムを書けてしまうのである。

and

#老子 #RaymondSmullyan #laotzu #lisp #scheme #logo #RaySmullyan #TheSchemersGuide #DanielPFriedman

Last updated 2 years ago

bs2 · @bsmall2
195 followers · 3346 posts · Server mstdn.jp

I think we need a for everything. I've been wondering what the equivalent of 's might be for or . The Scheme tutorial mentioned and reminded me of 's book where he quote on primitives. I have Laozi in mind and want to think of or ... With just lambda and an approach like learning could be in a very minimalist situation.

#TheSchemersGuide #BasicLambda #LambdaTheBase #guysteele #letoverlambda #DougHoyte #LambdaTheUltimate #fossandcrafts #scheme #racket #basicenglish #ckogden #MinimalistProgram

Last updated 2 years ago

bs2 · @bsmall2
195 followers · 3346 posts · Server mstdn.jp

> If you want to write complicated, correct programs quickly, use Scheme. Scheme puts a premium on thinking and organizing one's thoughts..
> Scheme is becoming popular.. [because] it is one of the simplest languages for characterizing procedures in a clear, coherent way. This clarity is in part due to its intrinsically recursive nature and in part to its powerful abstractive facilities.
1990 on in 's Foreword

#TheSchemersGuide #scheme #DanielPFriedman

Last updated 2 years ago

bs2 · @bsmall2
195 followers · 3346 posts · Server mstdn.jp

@acousticmirror @fossandcrafts @cwebber
> .. one of the key aspects of programming languages is to what extent they allow us to extend our problem-solving abilities by providing new ways of.. talking about problems..

The quotes keep sending me back to : Preface,
".. a course for our students that emphasized analytical thinking skills over technical wizardry.. programming is about sovling real-world problems, and is only peripherally concerned with.. machines"

#TheSchemersGuide #GeraldSussman

Last updated 2 years ago