First fun in the afternoon

1
First fun in the afternoon

• Nik Sultana

2
The event
Fun in the afternoon

• To be held periodically (3 times/year)
• Informal half-day event
• FP-related themes
• Mostly academic institutions were represented
• Changing venues To be held in Nottingham next,
  then Cambridge

3
Presentations
Fun in the afternoon

• Phil Wadler (University of Edinburgh)
• Links web programming without tiers
• James Cheney (University of Edinburgh)
• Mechanised Metatheory Model-Checking
• Wouter Swierstra (University of Nottingham)
• A Principled Approach to Version Control
• Andrew Kennedy (Microsoft Research, Cambridge)
• C is a functional programming language

4
Links web programming without tiers P.Wadler
Fun in the afternoon

• One fun language for web programming, instead of
  2
• Translation into target language
• Environment-specific functions

5
Source Wadlers slides
6
Source Wadlers slides
7
Mechanised Metatheory Model-Checking J.Cheney
Fun in the afternoon

• Partial verification of inferences
• Checking theories for soundness
• Significant complexity issues

8
Cheney Example
Source Cheneys slides
9
Cheney Example (ctd.)
Source Cheneys slides
10
A Principled Approach to Version Control
W.Swierstra
Fun in the afternoon

• Giving distributed version control the formal
  treatment, goal predictable vc tools
• General enough theory to describe family of VC
  systems, including darcs
• Formalising patch and repository, building on
  to conflict resolution

11
A theory of patches

• Patch S E ?T
• create f Ø f c c \in Bits ? f e
• Definitions for repository, patch application,
  patch composition, conflicts
• Still to provide algorithms for conflict
  resolution. Formalisation very abstract.

12
C is a functional programming language
A.Kennedy
Fun in the afternoon

• Claim Successive versions of C increasingly
  accommodate functional paradigm
• C 3.0 will support type inference and lambda
  expressions.
• Its functional programming bolted onto a
  determinedly imperative object-oriented language
  (Source Kennedys slides)

13
Theme roundup
Fun in the afternoon

• Theoretical
• Metatheory verification
• Applied
• Web Programming
• Version control
• FP ideas enmeshed with other paradigms

14
Emphasised FP goals
Fun in the afternoon

• Web Programming, distributed systems, multi-core
  programming
• Handling large software development
• Verification