InfoQ Homepage Haskell Content on InfoQ
Articles
RSS Feed-
It Ain't Necessarily So: Exploring Type Systems for Verifying Musical Correctness
Chris Ford explores what makes music correct and how we might encode it in a type system.
-
Understanding Monads. A Guide for the Perplexed
With the current explosion of functional programming, the "monad" functional structure is once again striking fear into the hearts of newcomers. In this article, Introduction to Functional Programming course instructor Dr. Barry Burd clarifies this slippery critter.
-
From Imperative to Functional and Back-Monads are for Functional Languages
Grafting Functional Programming's approach of monadic composition onto imperative languages yields the worst of both worlds. And the only reason for importing the PFP abstraction is due to a flaw in that most basic concurrency abstract, the thread; a flaw that can be easily rectified by the introduction of fibers.