Ideas

Session requiring less planning

• Explaining terms (applicative functor etc) in code in various languages.
• Solving a problem in a variety of languages. Ideally a simple problem that can be tackled on the night. Worked well for Euler.
  • http://www.matasano.com/articles/crypto-challenges/
  • ICFP Competition
• Async compared in different languages

Sessions needing someone to lead

• Functional web frameworks
• Functional alternatives to JavaScript (elm, purescript etc)
• Functional Reactive: what is it? it seems to be be a big deal.
• Property based testing (QuickCheck, SmallCheck)
• Laziness
• What is type level programming?
• Dependent types (Connor?)
• Proof Systems: an introduction
• Games/AI
• Logic programming - or do we need to form a new meetup for this ;-)
• Predicate Logic
• OCaml mirageOs
• Let's all learn Haskell
• Something about graph databases
• Architecture: is there a functional approach?
• Picking a functional pearl and going through it.
• Probabilistic Programming (if there's a functional angle)
• Generic programming, scrapping boilerplate
• Better way to do lazy IO iteratee/conduit
• Effective use of the State Monad (ditto for Reader etc)
• State: Monads, STM, and other techniques.
• Dependent types
• Idris
• Category theory: why and what? (Robin?)

Paper reading

When in doubt, let's read some papers together!

• This! - is pretty cool, might be too long for one session though.