Haskell Weekly

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.

Articles

• Adventures assembling records of capabilities
• Code style and moral absolutes
• Compile Driven Development In Action: Refactoring to Arrays!
• Dhall version 7.0.0
• Do we need effects to get abstraction?
• Exercises for understanding lenses
• foldr under the hood
• Formatting tabular data
• Four tweaks to improve Haskell
• GHC 8.8.1-alpha1 released
• Good Symbolic Differentiation Requires Multidimensional Wobbliness
• Haskell IDE Engine Nix builds for all GHC versions
• Intro to Higher Kinded Types in Haskell
• Limiting side-effects of applications at compile-time
• Monthly Hask Anything (May 2019)
• Python and the Monoid in the Applicative

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.

• Security Engineer at Habito in London

Call for participation

• Allure: Go to allureofthestars.com when clicked in any menu
• polysemy: Reimplement runState in terms of hoistStateIntoStateT
• spago: Port tests to Haskell