tag:blogger.com,1999:blog-8288194986820249216.post6437198112666161724..comments2024-03-22T05:09:17.789-07:00Comments on Abstract Heresies: Joe Marshallhttp://www.blogger.com/profile/03233353484280456977noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-8288194986820249216.post-3738911118594266042009-01-14T10:41:00.000-08:002009-01-14T10:41:00.000-08:00I almost forgot. Gerry made one of those comments ...<I>I almost forgot. Gerry made one of those comments that seem obvious at first, but actually have a lot of depth behind them. “Here we have a simple pattern matcher. Pattern matching is a generalization of equality.” </I><BR/><BR/>In Haskell, it always rubbed me wrong that I had to declare Eq-ness for data types because (==) has type Eq a => a -> a -> Bool, yet I could get around it when using pattern matching.michaelwhttps://www.blogger.com/profile/10926144101079011297noreply@blogger.comtag:blogger.com,1999:blog-8288194986820249216.post-15959272328425229772009-01-14T10:32:00.000-08:002009-01-14T10:32:00.000-08:00This comment has been removed by the author.michaelwhttps://www.blogger.com/profile/10926144101079011297noreply@blogger.com