Functional Programming

Tony Morris is a software product developer who has deployed functional  programming techniques in industry for over 10 years. Tony teaches  informally and at the tertiary level and aspires to observing the direct benefits of advanced programming techniques to produce a viable …

I attended Lang.NET 2008 and, as expected, learned a great deal from some of the industry's finest language and compiler minds. One of the most interesting talks was Gilad Bracha's session on his new programming language, Newspeak. Newspeak is really compelling from a language design perspective…

Last week Don Syme joined me for an F# university tour here in Denmark. The final stop on the tour was at Microsoft Development Center Copenhagen (mdcc.dk) for an open TechTalk on F# and functional programming on the .NET platform. To make this talk as broadly available as possible, we just…

Often, after the camera is turned off, the conversation continues and, on occasion is truly interesting. Of course, as you could image, Joe, Erik and I continued to chat about concurrent programming, functional languages, the future of hardware-software interaction, etc, when I turned the camera…

by Simon Peyton Jones, Principal Researcher, Microsoft Research Haskell is now quite widely used, but its most important contributions are the ideas that it embodies. In this talk Simon focuses on one of these ideas, namely type classes, with a few anecdotes and reflections along the way about the…

by Simon Peyton Jones, Principal Researcher, Microsoft Research Today's most widely used technology, by far, for static program verification is the ubiquitous type checker. Alas, static type systems inevitably exclude some good programs; and allow some bad ones.  Thus motivated, Simon describes…