Manchester Digital Laboratory

Title: The Manchester Lambda Lounge
Location: MadLab
Description: A group dedicated to popularising Functional Programming, and exploring new concepts in programming languages.
Date: 15-04-2013
Start Time: 19:00
End Time: 21:00

Lambda Lounge

Title: The Manchester Lambda Lounge
Location: MadLab
Description: A group dedicated to popularising Functional Programming, and exploring new concepts in programming languages.
Date: 18-02-2013
Start Time: 19:00
End Time: 21:00

Lambda Lounge

Title: The Manchester Lambda Lounge
Location: MadLab
Description: A group dedicated to popularising Functional Programming, and exploring new concepts in programming languages.
Date: 17-12-2012
Start Time: 19:00
End Time: 21:00

This months Lambda Lounge will see us continuing our Conway’s Life code dojo from last month.  Where we’ll be continuing with our functional implementations of this classic game of artificial life.

Lambda Lounge

Title: The Manchester Lambda Lounge
Location: MadLab
Description: A group dedicated to popularising Functional Programming, and exploring new concepts in programming languages.
Date: 19-11-2012
Start Time: 19:00
End Time: 21:00

Lambda Lounge

Title: The Manchester Lambda Lounge
Location: MadLab
Description: A group dedicated to popularising Functional Programming, and exploring new concepts in programming languages.
Date: 13-08-2012
Start Time: 19:00
End Time: 21:00

The Manchester Lambda Lounge’s next talk will see Ian Murray putting
the func in Functors, by introducing us to Applicative Functors as
they are used in Haskell.

Applicative functors are an abstraction that sit between functors and
monads: weaker (hence more widely occurring) than monads, and stronger
than functors.

This practical talk will be split into two parts:

1. An introduction to the definition of the Applicative type class.
Will show some examples of Applicative instances to get a feel for it.
And then discuss how it’s used; and how it achieves what a Functor
can’t.

2. Will look at the applicative-style of programming in Haskell, using
user input validation as an example of this (including a brief detour
to introduce the Monoid type class).