Issue 41 2017-02-09
Subscribe now! We'll never send you spam. You can also follow us on Twitter or with our feed. Read more issues in the archives.
Welcome to Haskell Weekly! Haskell is an advanced, purely functional programming language. This is a weekly summary of what’s going on in its community. You can subscribe to the email newsletter or the Atom feed.
Want to contribute to Haskell Weekly? Send us a message on Twitter or open an issue on GitHub.
News from the Haskell community
Herculus beta: Purely function spreadsheets
Build rock-solid tools in no time and focus on the things that matter.
Why prove programs equivalent when your compiler can do that for you?
I proved all the laws, but I was very unhappy. I have a PhD on something about Haskell and theorem proving. I have worked with Isabelle, Agda and Coq. Both Haskell and theorem proving is decades old. And yet, I sit here, and tediously write manual proofs by hand. Is this really the best we can do?
This is a generalization of the
bracketfunction. Importantly, it allows you to provide different cleanup functions for the success and failure cases. It also provides you with more information for cleanup, namely the exception that occured or the success value.
Haskell Bits #2: Application beginnings
Are you comfortable creating data types, manipulating lists, composing functions, etc, but not sure how to make a “useful program” with Haskell? This is a very common stumbling block when learning. It might be the complaint I’ve heard the most.
I’ve just finished up a first pass at a Stack-built Servant application to use wiringPi for Raspberry Pi GPIO control. This enables you to access your Pi’s GPIO pins over the web easily. It builds on the excellent wiringPi Hackage package and underlying C-lib.
Monads in category theory for laymen
You should know there are 3 coherence laws since you knew what monads are, but they might seem like black magic for most of you. What I’m going to do is to show that those 3 laws are “obvious” in some sense without actually teaching you the whole category theory behind it.
Package of the week
This week’s package of the week is monad-metrics, a convenient wrapper around EKG metrics.
Send us a message on Twitter to nominate next week’s package!