Code Contracts and Pex: Power Charge Your Assertions and Unit Tests
Description
Teaching programming language concepts with F#, part 1
By Peter Sestoft, Professor IT University of Copenhagen, Denmark.
In this first part, Peter introduces the curriculum, lecture plan and lecture notes for the course "Programs as data" that uses the functional programming concepts in F# to teach students language concepts and implementation details.
Peter also begins on the first lecture (continued in the second part, found here:https://channel9.msdn.com/posts/martinesmann/Teaching-programming-language-concepts-with-F-part-2/).
Peter Sestoft at ITU.dk: http://www.itu.dk/people/sestoft
Lecture notes and other downloads: http://www.itu.dk/courses/BPRD/E2010/
Download
Download this episode
- WMV (400.9 MB)
- MP3 (17.2 MB)
- Low Quality MP4 (173.0 MB)
- Mid Quality WMV (139.4 MB)
More episodes in this series
Cross Platform Mobile Development in C# with Xamarin by Bryan Costanich
Related episodes
Teaching programming language concepts with F#, part 2
Tomas Petricek: How F# Learned to Stop Worrying and Love the Data
C9 Lectures: Donna Malayeri - F# 3.0 - Information Rich Programming, 1 of 1
C9 Lectures: Dr. Don Syme - Introduction to F#, 3 of 3
C9 Lectures: Dr. Don Syme - Introduction to F#, 2 of 3
C9 Lectures: Dr. Don Syme - Introduction to F#, 1 of 3
F# Tooling Updates for Visual Studio 2017
What's new in F# 4.5
TWC9: GitHub GLB-Director Goes OSS, F# 4.5, Alexa and Cortana Together, and more
Web API development with F# on .NET Core
The Discussion
-
felix9 nice one, thank you
-
algorith What good timing, I'm taking a Programming Languages course this semester.
-
Charles Thanks to the Danish DPE folks for providing this excellent lecture series. Peter is great.
C
-
gjvdkamp Excellent, C5 guy is at it again, what a treat!
-
martinesmann Thanks for your great comments and positive feedback
Have any of you downloaded the “lecture notes” (it’s actually closer to being a book) and what did you think of it?
Should I ask Peter to do one more lecture?
-
SneakerXZ Yes. It woul be great to have all his lectures available online.
-
Andrea D'Intino Good stuff guys - thanks!
-
dzanez is there hq video available? Otherwise great stuff!
-
Sadatay Awesomeness! More Lectures please.
-
Scala The overview of the programming languages is missing Scala.
-
PeterSestoft Thanks for all the positive feedback. Unfortunately, the rest of the lectures are given in Danish and for that reason are not recorded, since the potential audience is kind of small... But maybe we should rectify that in the future. But note that the lecture slides and the 350 page lecture notes are available (in English) from the course website, linked by Martin's original post.
Re Scala: yes it is missing from the video's version of the slides, but included in the actual course lecture on 30 August (see course website). Approximately 1700 other languages are missing, including Self, Javascript, Clojure and other dynamic ones, which I'll include in the future. / Peter