Issue 143 2019-01-24
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.
Hakyll Pt. 3 — Generating RSS and Atom XML Feeds by Robert Pearce
We dove in to generating Atom & RSS XML feeds with hakyll, uncovered a nice refactor opportunity via
feedCompiler, learned how to validate our feeds and ultimately learned about how a seemingly harmless
updateddate could prevent us from having a totally valid feed!
An in-depth look at
quickcheck-state-machineby Edsko de Vries
In this blog post we will take an in-depth look at
quickcheck-state-machine, a library for testing stateful code. Our running example will be the development of a simple mock file system that should behave identically to a real file system.
Building a Blog Part 5: Continuous integration with CircleCI by Gabriel Aumala
Every time I push to the master branch of my GitHub repository, a web hook is triggered and CircleCI checks out the latest code, runs a few tests, and finally deploys it. The process isn’t that simple under the hood, and I want to explain in this post how it works.
Post-Christmas Advent of Code In Haskell - Day 2 by Tobias Pflug
Today’s post is about Day 2: “Inventory Management System” . We are given a file containing random looking strings and are asked to calculate some checksums and also find a certain pair among them.
Purely Functional GTK+, Part 2: TodoMVC by Oskar Wickström
In the last episode we built a “Hello, World” application using
gi-gtk-declarative. It’s now time to convert it into a to-do list application, in the style of TodoMVC.
State of WebGHC, January 2019 by Will Fancher
WebGHC has undergone some significant improvements in the past year. Time has been quite scarce for all those involved, but we’ve managed to eek out some really useful progress.
Towards Interactive Data Science in Haskell: Haskell in JupyterLab by Matthias Meschede & Juan Simões
This post presents Jupyter and JupyterLab - both important ingredients of the Python ecosystem - and shows how we can take advantage of these tools for interactive data analysis in Haskell.
When Rust is safer than Haskell by Michael Snoyman
A large part of the higher safety of Haskell is its expressive type system. You can simply state more invariants, in general, in Haskell than in Rust. However, I’d like to point out a situation where Rust’s safety guarantees are in fact stronger than Haskell’s, and how the compiler naturally pushes us towards the correct, safe solution.
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).
Standard Chartered bank is hiring Haskell developers for Strats roles at all levels. We’re now always hiring; if you have demonstrated typed functional programming experience, and if you are interested in a position in New York, London, Singapore, or Hong Kong, please consider applying.
We’re looking for internship candidates who are enthusiastic and passionate about learning programming. Even basic familiarity with Haskell is welcome, as our developers are dedicated to helping you learn and grow as you work on projects that will be used by people in the real world.
Package of the week
This week’s package of the week is Typograffiti, text rendering library that uses OpenGL and freetype2 to render TTF font strings quickly.
Call for participation
- gi-gtk-declarative: Document need for -threaded GHC option
- stack: (Code ?) improvement: always use verified downloads
- 2019-01-24 in Raleigh, NC, USA by Raleigh Haskell Meetup: (hack . yack)
- 2019-01-24 in Las Vegas, NV, USA by Las Vegas Functional Programming User Group: Functional Programming Meetup
- 2019-01-24 in San Francisco, CA, USA by Bay Area Haskell Users Group: Haskell talks at Airbnb!
- 2019-01-25 in Austin, TX, USA by Austin Types, Theorems, and Programming Languages: Going through Software Foundations by Benjamin Pierce et al
- 2019-01-26 in San Diego, CA, USA by San Diego Software Development Deep Dive: Diving deeper into software development discussions
- 2019-01-26 in Boston, MA, USA by Weekly Functional Programming Meetup: Hang out, chat FP, work on some code
- 2019-01-28 in Irvine, CA by Orange Combinator - Functional Programming In OC: Combinating - The Weekly Function
- 2019-01-28 in Plano, TX, USA by Dallas Functional Programmers: TBD
- 2019-01-29 in Chattanooga, TN, USA by Chattanooga Haskell Users Group (CHUG): Curry in a Hurry
- 2019-01-29 in Madison, WI, USA by Haskallywags: Monthly Meetup (Topic TBD)
- 2019-01-30 in Berkeley, CA by East Bay Functional Programming Study Group: Open Programming Session (Wednesday)
- 2019-01-30 in Portland, OR, USA by Portland Functional Programming Study Group: PDX Func Theory Track - Logic and Proof
- 2019-01-31 in Chicago, IL, USA by The Project Euler Sprint: Project Euler Sprint
- 2019-02-13 in Toronto, ON, Canada by Toronto Haskell Meetup: Haskell Meetup: Lightning Talks and Hack Night
- 2019-01-24 in Karlsruhe, Germany by The Karlsruhe Functional Programmers Meetup Group: Stammtisch (gemeinsam mit der C++ UG KA)
- 2019-01-26 in Berlin, Germany by Study Haskell: Weekly Haskell-studying session
- 2019-01-26 in Madrid, Spain by Madrid Haskell Users Group: Cardano: Primer reunión en Madrid
- 2019-01-28 in Karlsruhe, Germany by Karlsruhe Haskell Meetup: Haskell Monday
- 2019-01-29 in Rennes, France by Meetup Lambda Rennes - Programmation fonctionnelle: Nix : Déploiement purement fonctionnel
- 2019-01-29 in Göteborg, Sweden by Elm Gothenburg: I tried Elm and you won’t believe what happened next…
- 2019-01-29 in London, United Kingdom by Skills Matter - X Matters Series - Developer Events: Skills Matter Open House | January
- 2019-01-29 in Copenhagen, Denmark by Mødegruppe for F#unktionelle Københavnere: [Claes Worm] - Flappy, an extended variant of the flappy-bird game in OCaml
- 2019-01-29 in Katowice, Poland by Functional Miners: Functional Miners - Spotkanie 01.2019 (Programowanie Funkcyjne na JVM)
- 2019-01-29 in Amsterdam, Netherlands by FP AMS: Domain Modeling Made Functional with Scott Wlaschin
- 2019-01-30 in Sophia-Antipolis, France by Lambda Riviera: Lambda Riviera: Doing Deep Learning in Functional Programming
- 2019-01-30 in Málaga, Spain by Málaga Scala Developers: Primeros pasos en Rust de un Scalero & Haskell with Stack
- 2019-01-30 in Rotterdam, Netherlands by Functional Rotterdam: Talks and Drinks at Lunatech
- 2019-01-31 in Zürich, Switzerland by HaskellerZ: Michal Terepeta - Implementing Immutable Vectors in Haskell
- 2019-01-31 in Belgrade, Serbia by Elixir |> Belgrade: Scaling Your Elixir Business logic with DDD
- 2019-01-30 in Quito, Ecuador by Quito Lambda: Introducción a ReasonML y Reason-React
- 2019-01-31 in Melbourne, Australia by Melbourne Haskell Users Group: Miso Diagrams - MHUG