How to Design Programs 2nd Ed (2024)

https://htdp.org

#HackerNews #How #to #Design #Programs #2nd #Ed #2024 #htdp #designprograms #programming #education #softwaredevelopment

#Programming #HtDP #ProblemSolving

The new mascot of How To Design Programs just dropped
#htdp

Tak ještě "Nekonečně kouzelné jazykolamy" a první verze #wikiknihy #Neprogramátor bude hotová.

https://cs.wikibooks.org/wiki/Neprogram%C3%A1tor

Nebo hotová... ještě chci přidat něco jako "Kouzelnické triky" a popsat minimálně side effects a OOP. A asi systematický přístup k řešení problémů stylem "Rozděl a panuj", jako je v #HTDP. A možná makra. A možná mě napadne ještě něco, ale nechci jít moc do hloubky; chci aby Neprogramátor byl čitelný pro neprogramátory.

@rml @ramin_hal9001

I think you are confusing it with "Realm of Racket". Here's the TOC of #HTDP:

https://catalog.lib.uchicago.edu/vufind/Record/11706610/TOC

No spaceships there ;)

@rml @ramin_hal9001

Frankly, #HTDP is the most boring programming book I can think of.

#PSA

There are some (seemingly obvious) real-world applications of interactive #TheoremProvers like #lean that honestly have the power to change the world, we just have a broken social system that wont properly invest in them. For example, I imagine that carefully crafted curricular mathematics teaching languages ala #HTDP for K-12 (with perhaps a scratch-like interface for the younger kids) created in lean would be a game-changer for mathematics education.

I was lucky enough to be sent to a decent public school for #autistic and #ADHD kids growing up, because I had consistently done terribly at math in school because I couldn't sit still, keep my mouth closed, and was constantly in ISAP, but I always scored in the top percentage of standardized tests. There I got to do mathematics self-study, with a teacher to help when needed, and that was truly liberating, and I graduated early with an almost 4.0 grade point average, and went on to do an (unfinished) philosophy doctorate, much of which involved category theory. I feel like if kids had an environment to independently explore #mathematics, one that grows with them, many kids that are bad at it now would succeed.

Gregor Kiczales is the person who first got me excited not just about programming but that it was possible a silly young art student like me could even learn programming using the #htdp paradigm for designing programs step by step, function by function. A source of wisdom whether you're writing in #lisp or #python. Such a calm comforting voice too https://www.youtube.com/watch?v=0iD5iM64iEo

40 days left to the submission deadline of #EuropeanLispSymposium (#ELSConf) in #Amsterdam:

🧷 (Friendica) https://libranet.de/display/0b6b25a8-1763-a88a-e526-72b275177682

🦎 (Matrix) https://matrix.to/#/!gqlYAZsfzSnmFNEHAT:magdeburg.jetzt/$z7kGECRQluF1iZzNhW-0I1e3lUmg-pff8PcAh96gox4

🦎 (Telegram) https://telegram.me/FamilyOfLisp/309

🌺

🏷️ #Lisp #Scheme #CommonLisp #Clojure #Racket #Emacs #ACL2 #AutoLisp # ISLisp #DylanLang #SKILL #Hy #Shen #Carp #Janet #uLisp #Picolisp #Gamelisp #TXR #InterLisp #Medley #OpenGenera #Symbolics #ThinkingMachines #ConnectionMachine #MultiLisp #AMOP #CLOS #SICP #PAIP #AIMA #Lambda #CLtL2 #HTDP

The #Telegram and #Matrix groups named #FamilyOfLisp are now synchronized (bridged):

🦎 https://telegram.me/FamilyOfLisp

🦎 https://matrix.to/#/#family-of-lisp:magdeburg.jetzt

The two groups are for friendly exchange and dialogue on topics related to the Family of #Lisp #programming languages.

🌺

🏷️ #Scheme #CommonLisp #Racket #Clojure #DylanLang #ELSConf #AMOP #CLOS #InterLisp #OpenGenera #LispMachine #Medley #ConnectionMachine #Symbolics #AutoLisp #MacLisp #ZetaLisp #EuLisp #ISLisp #CLHS #SICP #AIMA #CLtL2 #PAIP #HTDP

If you would like to come over to a friendly group on Telegram focused on the programming languages in the #FamilyOfLisp — please feel welcomed to join!

We are here:

→ https://t.me/FamilyOfLisp 🦎

🌺

🏷️ #Lisp #Scheme #CommonLisp #Racket #InterLisp #Clojure #BaLindaLisp #Hy #ELSConf #ZetaLisp #LispMachine #ConnectionMachine #ThinkingMachines #Emacs #AutoLisp #CLOS #AMOP #SICP #CLtL2 #PAIP #AIMA #PCL #Symbolics #Genera #DylanLang #LFE #ISLisp #Arc #Janet #Jank #OnLisp #HTDP #CLHS #EuLisp

If you know #HtDP, skip the first 12 minutes of the video https://youtu.be/EdqT313rM40 at https://www.hedycode.com/ "a gradual programming language" (level 2 adds variables and level 3 starts to distinguish variable names from string literals)

HT https://ruby.social/@Schneems/109537790457683969

ICYMI: Hazel Levine (Indiana) at #RacketCon

Design Recipe Guided Synthesis with Bingus

https://youtu.be/oAE_G6HYilo

Source for Bingus https://github.com/ralsei/bingus

#Racket #RacketLang #RacketLanguage #htdp #ProgramSynthesis @hazel

In this episode, I talk with Shriram Krishnamurthi. We cover his introduction to functional programming, Racket and #lang, Static vs Dynamic Typing, Bootstrap and Pyret, How to Design Programs, and much, much, more. #Lisp #racketcon #racket #HTDP

:racket:​

https://www.functionalgeekery.com/episode-141-shriram-krishnamurthi/

@acousticmirror @fossandcrafts @cwebber I hope you find a copy and let me know what you think of it. During the #FossAndCrafts episode I saw your comment about elephants and wanted say how all the snack mentions distract me in the "little" books. But I had to put my full attention on the presentation in order try and keep up. This guide might be a fun alternative or supplement for #HTDP. Both books are great, but after working with English Through Pictures for a decade they all seem too wordy.

> #ShriramKrishnamurthi some years ago, in talking up the intro Scheme class they'd put together at Rice.. said they had other departments wanting to send their students over for the Scheme intro, to learn how to think. Which had me.. trying to remember where that quote came from about 'computer science isn't a science and its significance has little to do with computers'.
#HTDP #RacketLang #DrRacket

> This book is the first book on #programming as the core subject of a #LiberalArts #education. Its main focus is the design process that leads from problem statements to well-organized solutions.. Our desire to focus on the design process requires two radical innovations for introductory courses. The first innovation is a set of explicit design guidelines.. The second innovation is a radically new #programmingEnvironment..
https://htdp.org/2003-09-26/Book/curriculum-Z-H-2.html
#DrRacket #Racket #GeneralEducation #HTDP

> ... the elegance of a good program is comparable to time-tested poems or the black-and-white photographs of a bygone era. In short, programming differs from good programming like crayon sketches in a diner from oil paintings in a museum.

- https://htdp.org/2021-11-15/Book/part_preface.html
#htdp #racketlang #programming #generaleducation #humanities #liberalarts #education #classic

Hello I'm Sparkins and this is my #introduction / #introductions to the fediverse!

I'm currently learning to program, just working through HTDP and then SICP

#geneticalgorithms
#occult
#lisp
#programming
#science
#htdp
#sicp
#tea
#books
#scifi
#philosophy