@ Anthony — thanks for sending the link @ Eric — you must be one of the most enlightened managers of programmers around, not to speak of how knowledgable you speak about the history of our concepts.
Thanks for the insightful words on HtDP. The goal is really to present programming as the dual of logic, without saying so. And yes, even the writing draws on logical writing (Quine’s set theory). Small correction: Goedel visited Church in Princeton, and Church was Turing’s PhD supervisor. So the connection among these three approaches was quite tight. Also recall that back then people took their time to work out papers and publish them. > On Dec 3, 2015, at 1:49 PM, Anthony Carrico <acarr...@memebeam.org> wrote: > > Eric is a member of the close knit programming community up here in VT. > His talks at VTFun (the Vermont Functional Programmer's user group) and > Code Camp are always well attended. Here he touches on his experience, > philosophy, PL history, etc. On education, he says something like, from > his manager's point, many programs will leave students unemployable in > the not to distant future; he gives a nice plug for HTDP/2e and worlds. > > http://www.functionalgeekery.com/episode-37-eric-smith/ > > Enjoy! > > -- > Anthony Carrico > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
