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

• A weekend replication of STOKE, a stochastic superoptimiser by Siddharth Bhat

  STOKE is a superoptimizer that finds optimal instruction sequences to perform a particular task by using numerical techniques which rely on randomness (markov-chain-monte-carlo/MCMC) to explore the space of “all possible programs”.

• Analyzing Our Parameters by Monday Morning Haskell

  Our goal for this week will be to write some simple analysis functions. These will play through the game without needing to display anything on the screen. Then we’ll be able to play different versions in quick succession and compare results.

• Dimensions and Haskell: Singletons in Action by Rinat Stryungis and Danya Rogozin

  In our previous blogpost, we introduced a reader to our subject matter and briefly observed several numeric libraries in Haskell. In this part, we describe our approach to the matrix data type that is parameterised via its numbers of columns and rows.

• GHC 8.8.1-rc1 released by Ben Gamari

  The GHC team is pleased to announce the second and likely last alpha release of GHC 8.8.1. This release is the culmination of over 3000 commits by over one hundred contributors and has several new features and numerous bug fixes relative to GHC 8.6.

• Guide to Implementing Custom Monadic Effects in Issue-Wanted by Rashad Gover

  Over the past few weeks I’ve been making steady progress on the issue-wanted project I’m working on for Google Summer of Code 2019. Today I would like to present my work on adding a custom monad/effect to issue-wanted and what I learned during the process.

• Insane in the Membrain by Veronika Romashkina

  Membrain is not about creating memes, it’s about a type-safe memory data type with units being on the type level, so all the computations are guaranteed to be trustworthy and some of them even performed during compile time.

• Lambda the Ultimate Pattern Factory by Thomas Mahler

  Recently, while re-reading through the Typeclassopedia I thought it would be a good exercise to map the structure of software design-patterns to the concepts found in the Haskell type class library and in functional programming in general.

• Parsing With Haskell Parser Combinators by David Lettier

  Need to parse to something? Never heard of a “parser combinator”? Looking to learn some Haskell? Awesome! Below is everything you’ll need to get up and parsing with Haskell parser combinators.

Jobs

• Interos Solutions, Inc.- Full Stack Sr. Software Engineer (Haskell) (ad)

  Interos Solutions, Inc Engineering is hiring. We are committed to building a world class product organization that leverages tools like Haskell and the latest machine learning techniques to achieve outsized results as individuals and as a team. We’re looking for engineers who relish solving the hard-technical and analytics challenges and diving into the subtle details that make products amazing.

• Operations Engineer at Obsidian Systems in Manhattan

• PureScript/Haskell Developer at Nonbili in Fujisawa

• Haskell Programmer at Standard Chartered in Warsaw

Trying to hire a Haskell developer? You should advertise with us!

In brief

• Cabal, or Stack? A dialogue
• flatmap.io: Discover new opportunity
• Haskell Weekly Podcast episode 15: Lazy sharing
• poly: Fast polynomial arithmetic in Haskell
• reflex-widgets: Atidot Reflex FRP widgets

Package of the week

This week’s package of the week is Lucid, a library that provides a clear to write, read and edit DSL for HTML.

Call for participation

• pretty-simple: pPretty detected tty for whether to enable color or not