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.

Featured

• Haskell community priorities for GHC

  We want to ask your advice about what our key priorities should be in developing GHC. Please help us by completing this very short, but open-ended, survey.

• Typed Functional Programming and Software Correctness

  In this post I’ll explain why functional programming and static type systems are important for software correctness.

• Category Theory for Programmers by Bartosz Milewski is now available in hardcover!

  It’s been a wild ride! I’m happy to announce that after many bug fixes and tweaks, the book is now available to purchase on a print-on-demand service in full color print.

• Algebraic data types in four languages

  In this blog post, I’m going to compare how the concept of “sum” algebraic data types is supported by four languages I use, namely: Haskell, Scala, Rust, and TypeScript.

• Announcing Profiterole: GHC profile viewer

  Profiterole reads standard GHC .prof files and generates both textual and HTML reports which are typically more than 10x smaller.

• Applicative WTF?

  While I was writing up last week’s long article about Traversable, I wrote this stuff about Applicative also. This is a disorganized collection of loosely-related paragraphs on that topic.

• Introduction to singletons: Part 4

  Hi again! Welcome back; let’s jump right into the fourth and final part of our journey through the singleton design pattern and the great singletons library.

• REST-ish services in Haskell: Part 1

  A general tour through a bunch of patterns/strategies I use when developing robust-ish REST-ish web services with Haskell.

• TChan vs TQueue: What’s the difference?

  I always forget the difference between a TChan and a TQueue. They appear to have an almost identical API, so whenever I need a concurrent message thing, I spend some time working out what the difference is.

• Your easy guide to functional reactive programming

  Managing state. It’s the bane of programmers everywhere. The more stateful widgets there are, the harder it is to keep your app from becoming a giant mud pit. But fear not! You can use functional reactive programming (FRP) in your quest to manage state.

Jobs

• Careers at Galois

  Galois is growing and hiring Technical Project Leads, Software Engineers/Researchers, and Principal Scientists for all three of our locations (Portland, OR/Arlington, VA/Dayton, OH). Galwegians apply cutting edge computer science and mathematics to advance the state of the art in software and hardware trustworthiness. Engineers work in small team settings and must successfully interact with clients, partners, and other employees in a highly cooperative and intellectually challenging environment. Creativity thrives in a work environment that respects employees’ quality-of-life.

In brief

• Any Haskell or programming related podcasts you recommend?
• Applicative combinations of functions
• Benchmarking Formality vs GHC and Node!
• Elm: Functional frontend
• Introducing the Rust crash course
• Linear types proposal conditionally accepted by the committee
• Running from the past
• Type Classes: Restructuring
• What your favorite weird/exotic data type?
• What’s the Difference? video and slides

Package of the week

This week’s package of the week is Toodles, an application for managing TODO entries in your code. It scrapes your entire repository for TODO entries and organizes them so you can manage your project directly from the code.

Call for participation

Looking to participate in the fifth annual Hacktoberfest? Check out some of these issues with the “Hacktoberfest” label from Haskell repositories on GitHub!

• HaskGames: The name picker view should display an error when the name is taken
• hledger: hledger-ui –watch does not notice changes saved by IDEA on mac