Next Meetup

Logic programming in Haskell’s type system
Presenter: Henry Steere Haskell uses Hindley Milner type inference, which is based on unification. Unification is also the basis of logic programming. Using GHC extensions you can take advantage of Haskell’s type system to do logic programming. Agenda: * 6pm ~ 6:45pm: drinks and snacks to keep us functional * 6:45pm: talk * 8pm: lights out

Jemstep by Invesco

138 West Street 3rd Floor · Sandton

What we're about

Welcome to Lambda Luminaries (!

We are a bunch of Functional Programming ( enthusiasts in and around Gauteng.

We meet in Sandton (in West street, across from the Gautrain station), and our members are typically based in Pretoria and Johannesburg.

You don't have to be an expert to join us, you just need to be interested in what you read here:

We get together once a month (every second Monday of the month) to discuss functional programming concepts and languages e.g. Haskell, Clojure, Scala, Erlang etc. We also like comparing these to other languages.

Our goal is to:

help foster and grow a healthy FP community.

build skills by learning from each other.

have some interesting conversations with like-minded people.

keep the fun in functional programming.

Hope to see you at our next meetup!

Some historic notes:

We started this group in August 2011 on Google Groups (!forum/lambda-luminaries).

Our first physical meetup was held on Monday, September 12, 2011 at Bugatti's in Menlyn Retail Park.

Members (253)

Photos (51)