Saw Joe at TCA the other day, spoke a bit about this. Thought it's worth
kicking off some discussion about this.
Should say that I've really enjoyed BF - it's been intellectually
stimulating, and really reignited my love of things functional. But I
think we do ened to try to bring a bit of structure to our monthly
gatherings.
An unordered list of stuff:
- new blood - students, further afield?
- some plans in advance of topics would be nice
- invited speakers. Reach out to the Bristol universities now, perhaps?
- topics: it'd be nice to see fp in use "in anger" - practical things like
application frameworks.
- and tools and techniques - quickcheck is still on my list of stuff I'd
like to hear about.
- also nice to intersperse these with theoretical sessions, to improve our
(well, my, anyway - this is my list) facility with things like first-
class continuations; higher-order type-level programming; arrows. The
type systems of various langauges and solving typical "pattern"
problem statements using them. Under-the-hood stuff like diving into
functional fdata structures more deeply.
- I'd still like to try giving a "monad" talk :-)
- I think with some advanced preparation (quite a bit) we can still
motivate sessions for learning about fp techniques with "brain teasers".
I'm not talking necessarily about dojoing thorugh Euler problems.
Picking something a little more open-ended (Matt's rubik's cube is a
good example); or the regexp "crossword", tsunamis. These can be used
to look at aspects of data representation, control and/or data flow,
etc.
- larger projects or presentations of stuff we've used FP for. I've an ML
compiler (of sorts) that targets javascript. Writing parsers in ML is
nothing like writing parsers in a call-by-need language on first blush,
but you can still use higher-order programming to express them in a
very similar way.
- I don't mind focussing on Clojure (Nokia, our gracious hosts, must be
one of the south-west's largest users) but it'd be nice to have sessions
devoted to other languages on a reasonably regular basis.
- and still have the opportunity to retire to the pub afterwards and
natter about Haskell with Arwyn :-)
--
jan grant
http://ioctl.org/jan/