First fun in the afternoon

First fun in the afternoon: 

First fun in the afternoon Nik Sultana

The event: 

The event 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 'Fun in the afternoon'

Presentations: 

Presentations 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 'Fun in the afternoon'

Links: web programming without tiers ~ P.Wadler: 

Links: web programming without tiers ~ P.Wadler One fun language for web programming, instead of 2+ Translation into target language Environment-specific functions 'Fun in the afternoon'

Slide5: 

Source: Wadler’s slides

Slide6: 

Source: Wadler’s slides

Mechanised Metatheory Model-Checking ~ J.Cheney: 

Mechanised Metatheory Model-Checking ~ J.Cheney Partial verification of inferences Checking theories for soundness Significant complexity issues 'Fun in the afternoon'

Cheney: Example: 

Cheney: Example Source: Cheney’s slides

Cheney: Example (ctd.): 

Cheney: Example (ctd.) Source: Cheney’s slides

A Principled Approach to Version Control ~ W.Swierstra: 

A Principled Approach to Version Control ~ W.Swierstra 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 'Fun in the afternoon'

A theory of patches: 

A theory of patches Patch = S├ E →T create f = Ø├ {f = c | c \in Bits} → {f = ε} Definitions for repository, patch application, patch composition, conflicts… Still to provide algorithms for conflict resolution. Formalisation very abstract.

C# is a functional programming language ~ A.Kennedy: 

C# is a functional programming language ~ A.Kennedy Claim: Successive versions of C# increasingly accommodate functional paradigm C# 3.0 will support type inference and lambda expressions. 'It’s functional programming bolted onto a determinedly imperative object-oriented language' (Source: Kennedy’s slides) 'Fun in the afternoon'

Theme roundup: 

Theme roundup Theoretical Metatheory verification Applied Web Programming Version control FP ideas enmeshed with other paradigms 'Fun in the afternoon'

Emphasised FP goals: 

Emphasised FP goals Web Programming, distributed systems, multi-core programming Handling large software development Verification 'Fun in the afternoon'