[Haskell-cafe] Haskell Weekly
taylor at fausak.me
Thu Jun 1 22:20:31 UTC 2017
Hello haskell-cafe! I am the Haskell Weekly editor. In the past, some
people have expressed interest in receiving my newsletter on this
mailing list. Is that something I should set up?
If you're curious about Haskell Weekly, please check out the latest
issue, which was published today:
I've also included issue 57 as plain text here. If you like what you
see, head over to <https://haskelweekly.news> and subscribe!
# Haskell Weekly
## Issue 57
Welcome to another issue of Haskell Weekly! Haskell is a purely
functional programming language that focuses on robustness, concision,
and correctness. This is a weekly summary of what’s going on in its
- Realizing Hackett, a metaprogrammable Haskell
> Almost five months ago, I wrote a blog post about my new programming language, Hackett, a fanciful sketch of a programming language from a far-off land with Haskell's type system and Racket's macros. [...] Hackett is not only real, it's working, and you can try it out yourself!
- Imperative Haskell
> Why don't we do this all the time, when Haskell is at least a serviceable imperative language? Because writing imperative programs is hard! They don't compose as well, have less useful type signatures, and are harder to reason about. Getting away from those things is why we have Haskell to begin with!
- A Haskell cross compiler for Android
> Finally launching and running the application on the device, we are greeted with "Hello from Haskell". While the utility of this application is certainly questionable it illustrates the essential steps required to build, link and run an Android application calling a native Haskell function.
- Smart data with conduits
> If you're a programmer now, there's one reality you'd best be getting used to. People expect you to know how to deal with big data. The kind of data that will take a while to process. The kind that will crash your program if you try to bring it all into memory at the same time.
- Wire is hiring a Software Backend Developer (Operations) in Berlin,
> Wire is an open source, end-to-end encrypted messenger for personal and business use. For our development center in Berlin we are hiring two Backend Haskell Developers. As Software Developer Backend Operations you will maintain our infrastructure, ensuring that it runs 24/7. Check out our jobs at wire.com/jobs and our open source code on github.com/wireapp.
- What we talk about when we talk about types
> These dialogues somewhat pedantically dissect what we mean when we say a type is an instance of a type class or a type has an instance of a type class and why. Through the course of conversation, we touch on the nature of types, type constructors, and type classes, which led to us talking about math, set theory and category theory, and what they have to do with types and type classes.
- The partial options monoid
> Parsing options is not the hardest problem. However, if you do not create a pattern the rest of your team can follow, your program can become a tangled mess of random file reads, environment variable lookups and unpredictable defaulting. The Monoid class is a rock solid abstraction for combining options.
- Playing with lens-aeson
> That works, but it's far from inspiring. We're declaring a Color data type simply for the purpose of writing a type class instance. But it feels pretty heavyweight to have to declare a data type and make a type class instance for just one use site.
### Packages of the week
Several interesting packages were announced this week. Instead of
picking one to feature, all four are this week's packages of the week!
Simulates and renders a double pendulum system.
Implements a simple block chain server that synchronizes nodes over
Aims to end the Wadler/Leijen zoo dilemma by being a modern,
well-documented pretty printer.
Generates static sites with plain values and less magic.
More information about the Haskell-Cafe