|
THE FUNCTIONAL PROGRAMMING LABORATORY
Functional programming is based upon the idea of programs being functions from arguments to results, rather than operations that modify stored values. But it is much more than just another programming paradigm, creating a bridge between abstract reasoning and concrete programming, and providing the necessary mathematical tools to put software engineering on solid foundations, with the aim of repeating the success of mathematical methods in conventional engineering. The research carried out at the Functional Programming Laboratory in Nottingham reflects this broad vision:
- We are exploring functional notions of effects in the design and application of modelling and simulation languages, and in reasoning about various forms of effects including state, exceptions, interrupts, concurrency, and even quantum effects.
- Inspired by the Curry-Howard equivalence, we are investigating novel languages based upon dependent types, with the aim of bringing programming and verification closer together.
- We are exploiting mathematical concepts such as monads and arrows that arise in category theory to find new ways to structure and reason about programs.
Most importantly, functional programming is fun! We meet most Friday's at 12.00 with sandwiches for FP Lunch - if you are interested in coming along, please contact one of the organisers. Or if you cannot be present in person, follow the FP lunch blog.
Your comments are welcome! |
|
Last Updated ( Saturday, 27 February 2010 21:21 )
|
