4 Aug 2000 ajk   » (Journeyer)

Ok, it's been an extremely busy week. I've even had to cut down on sleep in order to stay well prepared in the intensive course I'm giving at the Summer Secondary School here at university.

The course subject matter is functional and logic programming. I've got 30 supervised hours total for it and twenty high-school students. I've decided to go on about it from an unusual angle: I deliver 16 hours of theory about logic and functions, emphasis on programming but methodology certainly mathematical. That is, I teach them (informal) formal logic and (a hacked version of) lambda calculus. Six hours are used to check homework on the theory and six hours total on a computer putting the theory into practice. With careful (he says!) design of the lambda calculus notation, and with a heavy flavoring of it towards Haskell (including a Hindley-Milner style type system, but no type classes as of yet), the theory of functions turns into practice in Hugs quite easily. They seemed to digest even recursion quite easily today.

I am pleased.

And I need rest. Desperately.


Latest blog entries     Older blog entries

New Advogato Features

New HTML Parser: The long-awaited libxml2 based HTML parser code is live. It needs further work but already handles most markup better than the original parser.

Keep up with the latest Advogato features by reading the Advogato status blog.

If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!