In this 30 minute talk, I will demonstrate some problems experienced with using weakly typed code, and then show how you can exploit the type system to encode assumptions and rely on the compiler more to reason about the correctness of your programs. Scala will be primarily used in the example code, however, the concepts are applicable to most statically compiled languages. This talk is targeted at a beginner level. http://www.bfpg.org/events/58050552/

# vimeo.com/41007040 Uploaded 1 month ago 9 Plays / 0 Likes / 0 Comments

Speaker: Manuel Chakravarty Topic: Data Parallelism in Haskell Conference: Brisbane Functional Programming Group Location: Brisbane Venue: Mincom rooms - Lev7/193 Turbot St Date: 1 Sep 2011

# vimeo.com/28477220 Uploaded 8 months ago 2,132 Plays / 5 Likes / 2 Comments

# vimeo.com/13558699 Uploaded 1 year ago 920 Plays / 10 Likes / 0 Comments

What Does Monad Mean? * Mythology and Terminology * What is a type constructor? * Polymorphism * Examples of monads * Why should I care? * C#, LINQ and monads * Scala, for-comprehensions and monads * Haskell and monads

# vimeo.com/8729673 Uploaded 2 years ago 3,363 Plays / 21 Likes / 3 Comments

Nick Partridge talks about Scala implicits and Scalaz at the March 2010 Brisbane Functional Programming Group (BFG).

# vimeo.com/10516714 Uploaded 2 years ago 1,332 Plays / 6 Likes / 2 Comments