Issue 144
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
-
Hakyll Pt. 4 — Copying Static Files For Your Build by Robert Pearce
This short hakyll tutorial will show you a simple way to copy static files over to your build folder.
-
Announcing Floskell by Enno Cramer
Floskell is a new Haskell source code formatter. Floskell tries to be flexible, meaning that the user should be able to tune the output to match their personal style preference.
-
Defining exceptions in Haskell by Chris Done
Let’s talk about exceptions. They’re not perfect in Haskell. They’re not perfect in any language, really. We’re always making adjustments to what we think is the best way to handle exceptional circumstances.
-
Fractals and Monads — Part 2 by Derek Wise
Last time I discussed the power set monad and how it shows up in certain methods of building fractals. This time I’ll go a bit further, and also explain some Haskell code I actually use to generate fractal pictures.
-
HLint Unused Extension Hints by Neil Mitchell
HLint has detected unused
LANGUAGE
pragmas for a while - where you enable an extension (e.g.{-# LANGUAGE EmptyDataDecls #-}
) but don’t use it. HLint v2.1.13 includes some improvements from Yair and myself making these hints even more powerful. -
Visualizing Prequel Meme Prefix Tries with Recursion Schemes by Justin Le
Not too long ago, I was browsing the prequel memes subreddit when I noticed that a fad was in progress constructing tries based on quotes as keys indexing stills from the movie corresponding to those quotes.
Jobs
-
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).
-
Senior Haskell Engineer at Habito in London
We are looking for a full-time senior engineer to join our team of full-stack engineers. Our core development values are strong, static typing and correctness, rigorous automation and everyone having a say.
In brief
- About BusConf
- Applicative Bidirectional Programming and Automatic Differentiation
- c-mix: Demo of C project with Haskell functions
- Compositional Typing for ML
- Haskell training: 101 and 102
- hermetic: Strategy game
- Mismatched global packages
- Towards a simple theorem prover
- Why Haskell IV: Typeclasses vs. Inheritance
- You should try Hadrian
Package of the week
This week’s package of the week is Silently, a library that allows you to prevent of capture writing to STDOUT and other handles.
Call for participation
Events
North America
- 2019-01-30 in Portland, OR, USA by Portland Functional Programming Study Group: PDX Func Theory Track - Logic and Proof
- 2019-01-31 in Raleigh, NC, USA by Raleigh Haskell Meetup: (hack . yack)
- 2019-01-31 in Chicago, IL, USA by The Project Euler Sprint: Project Euler Sprint
- 2019-02-02 in Berkeley, CA by Code Self Study: Open Programming Session (Saturday Afternoon)
- 2019-02-02 in Boston, MA, USA by Weekly Functional Programming Meetup: Hang out, chat FP, work on some code
- 2019-02-03 in Thousand Oaks, CA, USA by Monthly Full Moon World Healing Meditation Ceremony: Ceremonial Tribal Drum-Making Class
- 2019-02-04 in Irvine, CA by Orange Combinator - Functional Programming In OC: Combinating - The Weekly Function
- 2019-02-04 in Portland, OR, USA by Portland Functional Programming Study Group: PDX Func Practice Track - Parallel and Concurrent Programming in Haskell
- 2019-02-05 in Westlake, OH, USA by λ cleveland -> func: Hack Night
- 2019-02-05 in Madison, WI, USA by Haskallywags: Monthly Meetup (Topic TBD)
- 2019-02-05 in Santa Monica, CA, USA by Santa Monica Haskell Users Group: Haskell Hack Night
- 2019-02-05 in Atlanta, GA, USA by Atlanta Functional Programming Meetup: Introduction to Rust
- 2019-02-06 in Berkeley, CA by East Bay Functional Programming Study Group: Open Programming Session (Wednesday)
- 2019-02-06 in Austin, TX, USA by Austin Haskell Users Group: Haskell Beginner-Friendly Lab
- 2019-02-06 in Washington, DC, USA by The Joy of Programming Meetup: Next Round (TBD)
- 2019-02-06 in Bellevue, WA, USA by SeaLang: Understanding Git Internals
- 2019-02-06 in Montréal, QC, Canada by Lambda Montreal: Samuel Gélineau presents: Clowns to the left of me, Jokers to the right
Europe
- 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: Distribuirani real-time chat za 5 sati uz pomoć Elixir-a
- 2019-02-04 in Exeter, United Kingdom by Exeter Functional Programmers: Talk functional
- 2019-02-04 in Zagreb, Croatia by the Lambda Zagreb Meetup Group: Terminating and Productive Functions
- 2019-02-05 in Bristol, United Kingdom by CodeHub Bristol: Hack Night
- 2019-02-06 in Berlin, Germany by Berlin Haskell Users Group: Haskell Wednesday
- 2019-02-06 in Dublin, Ireland by Clojure Ireland: ClojureScript night: talks on shadow-cljs & CSS
- 2019-02-06 in Bucharest, Romania by Bucharest FP: Bucharest FP #39 — Haskell Book Study Group 01
- 2019-02-06 in Gdańsk, Poland by Functional Tricity: Funtional Tricity #15 Applicative Functors&Haskell
Oceania
- 2019-01-31 in Melbourne, Australia by Melbourne Haskell Users Group: Miso Diagrams - Noon Silk - MHUG
- 2019-02-04 in Melbourne, Australia by Elm Melbourne: Elm hack night
South America
- 2019-01-30 in Quito, Ecuador by Quito Lambda: Introducción a ReasonML y Reason-React
Asia
- 2019-02-03 in Bangalore, India by Bangalore Functional Programmers Meetup: Dependent Types