Issue 199 2020-02-20
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.
What I wish I knew when learning Haskell Version 2.5 by Stephen Diehl
This is a guide for working software engineers who have an interest in Haskell but don’t know Haskell yet.
Porting to Rio by Colin Woodbury
If your Haskell program runs from the terminal and has a runtime environment type, then Rio would bring you a lot of value.
Property testing in depth:
genvalidity-*performance improvements by Tom Sydney Kerckhove
genvaliditylibrary and its companion libraries have recently gotten some nice random distribution and performance upgrades.
Competitive Programming in Haskell: modular arithmetic, part 1 by Brent Yorgey
Modular arithmetic comes up a lot in computer science, and so it’s no surprise that it is featured, either explicitly or implicitly, in many competitive programming problems.
Implementation status of QUIC in Haskell by Kazu Yamamoto
If you wonder why I’m using Haskell to implement network protocols, please give a look at my position paper for NetPL 2017. In short, I love its strong and rich type system and concurrency based on lightweight threads (green threads).
Replace Random by Dominic Steinitz
Following a great blog post by @lehins, a group of us are trying to improve the situation with the
Typing TABA by Donnacha Oisín Kidney
There’s an excellent talk by Kenneth Foner at Compose from 2016 which goes through a paper by Danvy and Goldberg (2005) called “There and Back Again” (or TABA).
On linear types and exceptions by Arnaud Spiwack
How can linear types, which require that values be used exactly once, accommodate exceptions, which interrupt my computation?
At Interos, we are disrupting the way Fortune 500 companies and government agencies identify and respond to risk within their supply chains. We deliver the data and insights to business leaders that help them identify, visualize and understand the ripple effects that could impact their supply chains, before they happen. Recently funded by Kleiner Perkins and pivoting to an automated solution, Interos is in essence, a start-up SaaS environment.
Trying to hire a Haskell developer? You should advertise with us!
LTS Haskell 15.0 (ghc-8.8.2) by Stackage
I have written Meta-Cedille in Agda, used Coq to do verification of Haskell blockchain code and Idris at Statebox for various things.
The refreshing simplicity of compiling Formality to anything by Victor Maia
Formality is a new programming language featuring theorem proving that, unlike most in the category, is designed to have a familiar syntax and run efficiently.
Show & tell
- acts: Semigroup actions, groups, and torsors
- base16, base16-lens, base32, base32-lens
- fakedata: Library for producing quality faked data
- mod: Modular arithmetic, promoting moduli to the type level