Oops, I forgot to post this here last week!
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.
Featured
-
A cheatsheet to regexes in Haskell by William Yao
While Haskell is great for writing parsers, sometimes the simplest solution is just to do some text munging with regular expressions.
-
Evaluating RIO by Patrick Brisbin
As an experiment to see if we’d be interested in using
rio
in our applications at Freckle, I converted the main app in my Restyled side project to use it. -
Every Day Recursion Schemes by David Smith
In this post I want to present a simple pattern that I have started seeing quite often, I think it’s reasonably easy (and useful) to start using without really knowing what’s going on underneath.
-
Haskell coreutils - which by Austin
On most operating systems (Linux, Windows, MacOS, *BSD), the
PATH
environment variable defines which directories contain executables. which helps you find an executable by searching through these directories. -
Polimorphic.com – Haskell Web Development using Miso in Production by Daniel Smith
Polimorphic’s codebase is written in Haskell. We have found Haskell to be a great pleasure to work with and thought it would be worthwhile to do a technical writeup for this sub.
-
Property-Based Testing in a Screencast Editor, Case Study 2: Video Scene Classification by Oskar Wickström
This post covers the video classifier, how it was tested before, and the bugs I found when I wrote property tests for it.
-
Some limits of MTL with records of functions by Sam Halliday
This is a follow up to address some of the shortcomings of the approach when a project scales, to explain why people continue to explore alternatives to MTL and why many Haskell developers do not consider application design to be a solved problem.
-
Stack: building GHC from source by Sylvain Henry
With Stack 1.9.* we can’t use this kind of syntax to build GHC (and the other global packages such as
base
ortemplate-haskell
) from source. But as my patch has been merged, the next major release of Stack will support it!
Jobs
-
Galois is hiring for a variety of roles (ad)
Including but not limited to: Software Engineers/Researchers, Project Managers, Hardware Engineers, Red Team Lead, Software Integration Engineer.
We collaborate with organizations like NASA, DARPA, and AWS 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, cryptographic algorithms, abstract interpretation, type theory, formal verification, reinforcement learning, autonomous systems assurance, communication security, cyber-deception for network defense, DDoS defense, provable hardware security, and statistical anomaly detection for detecting advanced persistent threats. We think working here is awesome; see lifeatgalois.com.
In brief
- Compiler Optimizations for Functional Languages
- Declaring Victory! (And Starting Again!)
- Initial Hacking of GHC for GCC Link-time Optimization
- Testing for beginners at Monadic Party
- The monads of Haskell
- Units of Measurement in Haskell - Survey on Lack of Adoption
- Why Stack is moving its CI to Azure Pipelines
Package of the week
This week’s package of the week is Propellor, a tool which ensures that the system it’s run in satisfies a list of properties, taking action as necessary when a property is not yet met.
Call for participation
Events
North America
- 2019-04-18 in Raleigh, NC, USA by Raleigh Haskell Meetup: (hack . yack)
- 2019-04-18 in Las Vegas, NV, USA by Las Vegas Functional Programming User Group: Functional Programming Meetup
- 2019-04-18 in Austin, TX, USA by Austin.Elm: Elm Hack Night at Lunar Collective
- 2019-04-18 in Philadelphia, PA, USA by Elm Philadelphia: Elm Hack Night
- 2019-04-18 in San Diego, CA, USA by San Diego Functional Programmers: April Meetup - First-class Functions
- 2019-04-18 in Bellevue, WA, USA by Fun(c)tional Programming Group: Adam Rosien - Free Boolean Algebras: Boolean Logic for Free!
- 2019-04-18 in San Francisco, CA, USA by Coda Protocol: Program with zk-SNARKS! A Night of Zero Knowledge Proofs
- 2019-04-20 in San Diego, CA, USA by San Diego Software Development Deep Dive: Diving deeper into software development discussions
- 2019-04-20 in Boston, MA, USA by Weekly Functional Programming Meetup: Hang out + short talk (topic not yet announced)
- 2019-04-20 in Berkeley, CA by Code Self Study: Open Programming Session (Saturday Afternoon)
- 2019-04-20 in Bellevue, WA, USA by Seattle Area Haskell Users’ Group: General discussion
- 2019-04-22 in Irvine, CA by Orange Combinator - Functional Programming In OC: Combinating - The Weekly Function
- 2019-04-23 in Brooklyn, NY, USA by New York Haskell Users Group: Parallel and Concurrent Haskell Reading Group
- 2019-04-23 in Philadelphia, PA, USA by Serverless PHL: Serverless Philly Spring Meetup: Hosted by Armor
- 2019-04-24 in Berkeley, CA by Code Self Study: Open Programming Session (Wednesday, Berkeley)
- 2019-04-24 in Asheville, NC, USA by Asheville Coders League: Weekly Low-Pressure Social Get Together
- 2019-04-24 in San Francisco, CA, USA by Bay Area Haskell Users Group: Haskell Hacking and Talk at SwiftNav
- 2019-04-24 in San Francisco, CA, USA by Erlang & Elixir SF: Error Handling and Beam Extreme
- 2019-04-25 in Chicago, IL, USA by The Project Euler Sprint: Project Euler Sprint
Europe
- 2019-04-19 in Wien, Austria by Vienna Haskell Exchange Meetup: Welcome meetup
- 2019-04-23 in London EC2, United Kingdom by Skills Matter - X Matters Keynote Series - Developer Events: Keynote by Léonie Watson: There’s More to Performance than Meets the Eye
- 2019-04-23 in Paris, France by haskell-paris: Meetup haskell de printemps
- 2019-04-24 in Leipzig, Germany by Funktionaler Stammtisch Leipzig: “Funktionaler Stammtisch” Clojure, Elm, Haskell, Scala and Co…
- 2019-04-25 in Karlsruhe, Germany by The Karlsruhe Functional Programmers Meetup Group: Stammtisch (gemeinsam mit der C++ UG KA)
- 2019-04-25 in München, Germany by Elm |> Munich: Monthly Elm Meeting #15
- 2019-04-25 in Zürich, Switzerland by HaskellerZ: Jasper Van der Jeugt - Implementing In-memory Caches in Haskell
- 2019-04-25 in Lille, France by Lille FP: LilleFP 14 : du Rust pour les API natives en NodeJS et Nix/NixOS
- 2019-04-25 in Copenhagen, Denmark by Mødegruppe for F#unktionelle Københavnere: [Simon Marlow]: Haskell in the Datacentre
South America
- 2019-04-24 in Quito, Ecuador by Quito Lambda: Pensar en React y Elm
Oceania
- 2019-04-25 in Melbourne, Australia by Melbourne Haskell Users Group: Melbourne Haskell Users Group Meetup