December BostonHaskell

1 view
Skip to first unread message

Ravi Nanavati

unread,
Dec 8, 2009, 2:05:01 AM12/8/09
to boston...@googlegroups.com, Paul Chiusano, Matthieu Sozeau, Ryan Newton
I think it makes sense to have the December BostonHaskell meeting next
week, since any later than that means that people will have generally
scattered for the holidays. Unfortunately, other than the possibility
of revising and extending my QuickCheck tutorial from last month
(which I'd prefer not to do), we don't have much in the way of
available speakers. Given that, I'd like to reach out to the community
(including people who have volunteered in the past) to see who might
be available for a presentation next week.

If you have a topic you're willing to present and you're available
sometime next week, please let me know what you'd like to talk about
and which evenings you'd be available (for scheduling).

Thanks,

- Ravi

Edward Kmett

unread,
Dec 8, 2009, 3:38:13 PM12/8/09
to boston...@googlegroups.com, Paul Chiusano, Matthieu Sozeau, Ryan Newton
I'd be willing to speak if no one else has anything. 

I have a small library of monadic security stuff using type level lattices and type level lattice combinators that I wrote 2-3 years ago and never bothered to write up that I could tweak and talk about. It'd be a rather short talk though, so you'd definitely need another speaker.

-Edward Kmett


--

You received this message because you are subscribed to the Google Groups "BostonHaskell" group.
To post to this group, send email to boston...@googlegroups.com.
To unsubscribe from this group, send email to bostonhaskel...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/bostonhaskell?hl=en.



Brian Sniffen

unread,
Dec 8, 2009, 4:21:37 PM12/8/09
to boston...@googlegroups.com
I feel like the October meeting missed much of the audience that had
been captured by the September meeting. The Parsec tutorial undershot
an audience already familiar with its use, while the Monoidal parsing
talk left many feeling like they'd jumped into a graduate seminar.
Certainly, I was running as quickly as I could to keep up and wishing
for a paper presenting these ideas to follow up with later.

I feel like the code-a-long from September fit the whole audience
well. Rather than spend half an hour on one tool, we saw many little
techniques: writing a type signature before each function definition,
Prolog-like search for prototypes, quickcheck equivalence of
prototypes and useful code. Is there some project of anyone in this
community that could have a module written in an evening in that
style?

-Brian
--
Brian Sniffen
http://evenmere.org/~bts/
<b...@evenmere.org>
Reply all
Reply to author
Forward
0 new messages