Meetups
-------
I called Genuine Joe's to confirm reservations. We're fine for this
weekend, but there's some quad-weekly groups that have gobbled up a
lot of Saturday time, which competes with us in alternation. So
you'll see that I shifted the next meetup after tomorrows (Oct. 16) to
5PM. The calendar is at
http://austinfp.org.
This conflict is likely to stand through the end of the year.
Saturday morning/afternoon is just really popular. If we decide to
just meetup at 5PM regularly, I think we might avoid this conflict all
together, and I can book a ton of rooms in advance.
We can talk about it tomorrow too.
Language Stuff I'm thinking About
---------------------------------
By the way, true to my spirit of never studying what I said I was
going to, I ended up trying to think deeply about a Scala library
called scalaz. The authors of that library seem to be hell-bent on
avoiding subtype polymorphism and instead using implicits to emulate
Haskell type classes. Tony Morris seems to insist that subtype
polymorphism isn't needed at all. So the task I have ahead of me is
to
1. Prove or disprove the existence of a transformation of subtype
polymorphism to type classes in the general case (I'm staying in
Scala, since that's my language of study right now).
2. See how tedious implicits are to comprehend, and also gauge whether
it introduces too much complexity.
A lot of people transitioning from Java to Scala have made blanket
"implicits can be really confusing, so avoid them" as though it were
as bad as reflection-based hacking. However, I wonder if this
admonition is more for ad hoc implicits. Perhaps if there's a strong
idiom behind the implicit usage, it won't be so bad.
Anyway, that's what I'm thinking about right now. If anyone has any
insights, please let me know.
-Sukant