Brisbane Functional Programming Group (BFPG)

F# all the things, Java equality, Hole-driven Haskell

February 26 · 5:45 PM
Mincom

This month we are delighted to present three first-time BFPG speakers!

If you find yourself stuck outside the venue, please contact Matt on [masked].

match C# with Some(F#)

Phil de Joux

If F# is being sold as a niche language, it's being sold short. F# really can do all the things C# can, except perhaps to be generated by tooling wizards. Get your hands on default immutability, first class functions, algebraic data types and persistent data structures, with a compiler that knows your types, makes them generic and gets out of your way.

Phil is a rock climber and hang glider pilot at heart, and a mathematical modeler by training, but he's also been programming C++ and C# for many years. More recently, he's discovered that F# makes his work easier and more enjoyable, and he's used F# in commercial projects, for analysing time-series data in the REPL, pulling in web services with type providers, and distributing messages with mailbox processors. Phil was the technical reviewer for the book Expert F# 3.0, by Don Syme et al.

Value equality for Java

Dylan Just

This talk examines some issues with the equals method in Java, and presents some alternative approaches, including simulating Haskell-style type classes in Java. We'll look at the roles of types and type checking, and what it really means for two values to compare equal.

Dylan is a mad keen functional programmer that loves to code. His hobbies include sticking computers in strange cases and arguing with Erik Meijer on Twitter. He can be found at Ephox yabbering on about types and compulsively recabling the server room. Blog: techtangents.com Twitter: @techtangents

Hole driven development

Greg Davis

When writing Haskell programs, we tend to use lots of polymorphic types. That's good! We can reuse those pieces, thanks to the types. But when implementing polymorphic functions, it can sometimes be difficult to see how things fit together, especially if we don't have a systematic approach.

At a recent Haskell course taught by members of this group, I discovered such an approach, which we call "hole driven development". I'll demonstrate the technique, including some tricks to get help from the compiler. I'll also preview an exciting new language feature which will hit the Haskell platform soon.

Join or login to comment.

Rob Manthey

I put the tech roundup on vimeo, since I noticed that the past ones get a fair amount of views.
https://vimeo.com/61000603

0 · March 4
Phil de Joux

F# all the things slides and a solution for the code snippets are up on https://bitbucket.org/philderbea...

0 · March 1
Raahul Kumar

Thanks a lot! Any chance of slides(please no powerpoint).

0 · March 1
Rob Manthey

Third talk is up on vimeo:
Hole DD: https://vimeo.com/60782964
A cracker. Some of the livelier jesting just missed inclusion - Tony's quip about F# was said before I rolled the camera.

0 · March 1
Rob Manthey

First two talks are up on vimeo:
F# all : https://vimeo.com/60597962
Java = : https://vimeo.com/60696694
3rd talk aiming for tonight

0 · February 28
- Ben Kolera
  
  Awesome work, Rob! Thanks for putting in the effort to get these out. :)
  
  0 · February 28
techtangents

Also, I just found a gist from Tony Morris that defines equality in scala.

https://gist.github.com/tonymorr...

0 · February 27
techtangents

Hi, all. Slides and code for my talk are up at https://github.com/techtangents/...

0 · February 27
Andrew Newman

I was really impressed with all 3 talks. I really enjoyed everyone different experiences with FP.

0 · February 27
Raahul Kumar

Loved the last talk. Great to to be reminded the Scala course is back on.

0 · February 26
- Andrew Herron
  
  The Scala course is awesome. I went in with only a rudimentary knowledge of functional programming and came out with a 100% mark and a very good base level of Scala knowledge to work from.
  
  0 · February 26
Raahul Kumar

The last talk was fantastic .. but it went on very long. Didn't get out of there till 9 pm.

0 · February 26
Ben Kolera

Great night regardless of our little drama with the venue. Thanks to everyone for making this happen. :)

0 · February 26
Rob Manthey

Great talks and good audience banter.

0 · February 26
Christopherys Alva

Nice to have been there.

0 · February 26
Darren Mackay

Would love to be there - but will be in the other extremity of the earth, ( several hundred kms north of the arctic circle in Tromsø, Norway )

Will this be recorded by any chance ?

Cheers. Darren

0 · February 20
- View all 3 replies
- Ben Kolera
  
  No worries Darren: you are in luck! Rob will be there and will be recording because he is awesome like that. :)
  
  0 · February 20
- Darren Mackay
  
  Cool !!
  
  Btw - are you up very very late ? Or very very early? ;-)
  
  0 · February 20
- Ben Kolera
  
  Early, but not that early. It is currently 0518 here in Brissy.
  
  0 · February 20
Darren Mackay

:-(.

0 · February 20
Raahul Kumar

Looking forward to hearing more about F#.

0 · February 19
Oliver Reeves (OJ)

I'm afraid that the 26th is my wife's birthday. I won't be able to make it. Very sorry all, have a blast!

0 · February 14
Rob Manthey

Usual video duties assumed

0 · February 13
- Matthew Brecknell
  
  You're awesome! Thanks, Rob!
  
  0 · February 14