Design of a functional programming class

Just arrived in Marburg for Sebastian Erdweg's PhD defense. On this occasion, I will speak about the emerging design of a functional programming class that we will start next semester in Koblenz. It uses and augments the 101companies Project in interesting ways.


Regards,
Ralf


Title: Design of a functional programming class

Abstract: In the classic model, the lecturer takes the students through aspects of functional programming (such as list processing, higher-order functions, monads) and provides slides, samples, and other resources to the students, possibly complemented by a textbook recommendation. In the proposed model, a software chrestomathy becomes the primary source of knowledge and center of activity. Relevant programming concepts, language and technology aspects are documented and associated with a rich and organized set of samples including cross-references to external resources such as textbooks, Wikipedia, and other wikis. We are preparing such a course within the scope of the 101companies Project. In this talk, I present the emerging design and describe the emerging capability of the 101companies Project to serve such course designs.

Slides: [.pdf]

Acknowledgement: This is joint work with Thomas Schmorleiz and Andrei Varanovich. Many thanks also for various infrastructural contributions by Sebastian Jackel and Martin Leinberger.

Comments

Post a Comment

Popular posts from this blog

Lecture series on advanced (functional) programming concepts

[ Added 10 Aug 2010: Here is the link to the first lecture's video: " The Expression Problem ". ] If you are a programming nerd or something of a similar species, you may know of C9 Lectures at http://channel9.msdn.com/tags/C9+Lectures . Several of the lectures are given by Erik Meijer who has turned many chapters of Graham Hutton 's book " Programming in Haskell " into videos. In my recent, recorded lecture on " Programming Paradigms and Formal Semantics ", I also incorporated Graham's text, but you should really watch Erik's lectures, if you haven't---they are more fun. I am inspired by his ability to present relatively simple content in such a crisp, insightful, and enjoyable manner. In the aforementioned lecture, I covered all kinds of "crazy stuff" though, and in the end, I had to deliver body bags to my Bachelor students---in the form of a radically simple examination. Thanks a lot btw to @grammarware for helping with t...
Read more

SWI-Prolog's Java Interface JPL

I would like to mix Java and Prolog code on a number of occasions. Together with a student of mine (Joachim Pehl), we just convinced ourselves that the JPL library of SWI-Prolog is really cool. Basically JPL allows you to call Prolog from Java and Java from Prolog. But the question is, of course, how easy is it and can you easily go back and forth . For instance, can we call Prolog from Java and call back Java from Prolog and share Java state throughout? Sure it works! PROLOG PORTION FOLLOWS % This library is all we need to call Java from Prolog :- ensure_loaded(library(jpl)). main :- % Create an object jpl_new(class([],['Test']), [], X), % Printing objects is like printing object ids write(X),nl, % Access a field of the object; happens to be static jpl_get(X, state, Y), % Prints whatever the state's value is write(Y),nl. JAVA PORTION FOLLOWS // This jar is all we need to call Prolog from Java import jpl.*; public class Test { public static int state = 0; ...
Read more

The underappreciated banana and its buddy monoid

Note : This is the blog post that goes with the Channel9 lecture "Going Bananas". You find all material (slides, code) linked up on the web site for my Channel9 series ; see the section on "Going Bananas". I will add a link to the C9 website with the video as soon as it gets available. I am really Ok. Well, but I do see bananas (folds) everywhere. This tells me that data processing is quite regular. For instance, MapReduce computations for parallel data processing are essentially folds that extract some intermediate data from the records of a voluminous input---subject to subsequent, possibly distributed and staged reduction. Also, in program transformation and analysis, many data processing steps are compositional, and thereby suggest themselves as being implemented through "large" bananas. Further, in XML processing, many operations are busy with folding over XML trees. There are bananas for everyone ---not just for lists. If we were just acknowledging s...
Read more