Issue 141 2019-01-10
Welcome to another issue of Haskell Weekly! Haskell is a safe, purely functional programming language with a fast, concurrent runtime. This is a weekly summary of what’s going on in its community.
Purely Functional GTK+, Part 1: Hello World by Oskar Wickström
In the last episode we explored gi-gtk, a package providing Haskell bindings to the GTK+ library, and noted in the end that the programming style was imperative and object-oriented. In this episode, we’ll program in a more functional style using gi-gtk-declarative.
Advent of Schemes by Fintan Halpenny
On the lookout for the perfect opportunity to add some skill points to my recursion schemes knowledge I decided to tackle the Advent of Code challenges but force myself to use recursion schemes.
Consider the following data type:
data TrafficLight = R | Y | GIt’s straightforward enough to see that if I have a value of type
TrafficLight, there’s only 3 (moral) possibilities.
Parsing and generating ABIF files (DNA chromatograms) by Andre Van Der Merwe
Hyrax ABIF is a Haskell package, that I created at HyraxBio to test our bioinformatics software pipeline. In this post I’ll show how the package can be used as a standalone tool as well as looking at how the Haskell code works.
Post-Christmas Advent of Code In Haskell: Day 1 by Tobias Pflug
Now that Advent Of Code 2018 is over I decided to return to the challenges but instead of just solving them I will try to also explain how I am solving them in Haskell.
Typeable is a module in base package. Maybe you already know, the Typeable class is used to create runtime type information for arbitrary types. This post gives you a short story about the innovation of Typeable along with GHC extensions.
Validating Form Data via Applicative Functors by Kostiantyn Rybnikov
I’ve had an interesting mini-journey while I was in search of a way to validate input data in Haskell recently, and ended up implementing one myself, and then got an interesting comment on reddit, which I will unwrap in this post.
Galois is looking for Software Engineers/Researchers and Project Managers! We collaborate with organizations like NASA, DARPA, and Amazon Web Services to explore blue sky ideas and turn them into usable technology. Some of the things we’ve worked on in the past: Formal methods, static analysis, binary analysis, cryptographic algorithms, domain specific languages, programming languages theory, abstract interpretation, type theory, formal verification and software correctness, reinforcement learning, autonomous systems assurance, communication security, cyber-deception for network defense, DDoS defense, provable hardware security, statistical anomaly detection for detecting advanced persistent threats. We think working here is awesome (see https://lifeatgalois.com).
We’re an agile and lean small team of engineers, teachers and product people working on solving important problems in education. We hyper-focus on speed, communication and prioritizing what matters to our millions of users.
Hasura.io is hiring senior Haskell developers. We build tools for developers to lessen the effort that goes into building backends for applications. One of our core products is graphql-engine which gives the developer a realtime GraphQL backend on a Postgres database.
I’m looking to recruit an excellent new PhD student to come and work with me in the Functional Programming Lab in Nottingham.
- Call for Participation: BOB 2019
- Ginger examples
- Hakyll + TikZ
- Hiding code blocks in literate programming blogs
- hypthon: Python language tools
- Onto syntax for exhaustive construction of a data type
- What library is the Haskell ecosystem missing?
- Why Haskell I: Simple Data Types!
Package of the week
This week’s package of the week is suavemente, an applicative functor capable of seamlessly talking to HTML elements.