Dave Menendez’s Personal Web Site

Recent posts

  1. How Apple secures iMessage

    Apple has explained how iMessage’s design protects your messages from third-parties—even themselves. (2014-03-01)

  2. Hemingway and software-assisted writing

    Two recent apps claim to help improve your writing, but their advice is based on misapplying questionable rules. (2014-02-27)

  3. More on Free Applicative Functors

    Since free applicative functors are free, does that mean they are monads over indexed types? Also, can we squeeze out any more performance? (2013-06-12)

  4. Prompt Monads are Free

    A brief look at Prompt monads, showing that they are free monads, that Prompt is a monad over indexed types, and how it can be used to build composable components. (2013-06-07)

  5. ZedneWeb 2013

    After ten years, it’s time for a new content manager here at ZedneWeb. And after 12½ years, it’s time for a new look. You’ll probably never experience the former, and you can already see the latter, but here’s a blog post about it anyway. (2013-06-06)

  6. Stop helping me!

    When I tried to enter that last post, it crashed my content manager. Turns out, my ancient code was using the wrong kind of string substitution, one which “helpfully” interprets the replacement string. Works fine until you try to post an entry containing the text \g. (2013-05-27)

  7. Free Applicative Functors in Haskell

    Can we find a way to make an applicative functor for any type constructor? It turns out, methods are already known—but I didn’t know that when I started, so I found my own way. One that turns out to have much better performance. (2013-05-27)

  8. Parameterized monads vs monads over indexed types

    Parameterized monads are a known way of extending the monadic interface. As an alternative, Conor McBride suggested using monads over indexed types. How do these approaches compare? (2012-07-29)






  1. 2014
  2. 2013
  3. 2012
  4. 2010
  5. 2008
  6. 2007
  7. 2006
  8. 2005
  9. 2004
  10. 2003
  11. 2002
  12. 2001
  13. 2000
  14. 1999
  15. 1998
  16. 1997
  17. 1996

ZedneWeb is hosted by The Eyrie, a repository of Internet fiction (among other things).