Comments on: Introductory FP Course Materials http://existentialtype.wordpress.com/2012/09/15/introductory-fp-course-materials/ Abstract types are existential types. Tue, 29 Jan 2013 15:10:50 +0000 hourly 1 http://wordpress.com/ By: Robert Harper http://existentialtype.wordpress.com/2012/09/15/introductory-fp-course-materials/#comment-1084 Sun, 16 Sep 2012 02:31:55 +0000 http://existentialtype.wordpress.com/?p=765#comment-1084 The materials from DS&A are up now too.

]]> By: Andrew Stellman (@AndrewStellman) http://existentialtype.wordpress.com/2012/09/15/introductory-fp-course-materials/#comment-1083 Sat, 15 Sep 2012 20:55:53 +0000 http://existentialtype.wordpress.com/?p=765#comment-1083 Thanks for posting this — it’s actually really cool to see this now. Jenny and I are working on updating the 3rd edition of Head First C#, and this really highlights the difference between what we’re doing (training C# programmers) and the goal of CMU CS (establishing the foundation for a well-rounded computer science education).

I especially like the focus on verification (proving correctness), as opposed to testing. There’s a subtle but really important difference between correctness and quality. Just the other day someone asked me about the difference between what we teach and what you learn in a computer science class, and I think that’s an important part of the explanation.

]]>