Issue 138 2018-12-20

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

How to Create 3D Games with PureScript Native and C++ by David Lettier

Hopefully others will use PureScript Native more and more. I’m very excited to turn the concept behind Lambda Lantern into a full featured game but I’m even more excited about using it to get the word out and build up the ecosystem around PSN.
GHC WebAssembly backend reaches TodoMVC by Shao Cheng

Today we demonstrate that writing web apps in Haskell compiled to WebAssembly works well enough that TodoMVC, the more intricate “Hello World!” of web apps, works in your browser.
Covariance and GUIs by Julie Moronuki

This week, we’ve added more reference material and new lessons to two of our ongoing courses.
Picosmos: Writing a simple single-line text-editor with brick by Tom Sydney Kerckhove

In this post we will write a purely functional text editor for a single line of text using brick.
Prisms: Preview, Review, and how to write your own! by Chris Penner

Hey folks! Just finished up a series of articles on using Prisms with the lens library! Hope you like it and learn something :D
Down with Show! Part 3: A replacement for Show by Harry Garrood

This is part three of three in a series in which I will argue that it is time to consign the Show type class to the dustbin of history.
Pure & Lazy Breadth-First Traversals of Graphs in Haskell by Donnacha Oisín Kidney

Today, I’m going to look at extending the previous breadth-first traversal algorithms to arbitrary graphs (rather than just trees).
Thoughts on bootstrapping GHC by Joachim Breitner

The problem is that contemporary Haskell has only one viable implementation, GHC. And GHC, written in contemporary Haskell, needs GHC to be build.
Why Dependent Haskell is the Future of Software Development by Vladislav Zavialov

There’s a tension between writing code that is performant, code that is maintainable and easy to understand, and code that is correct by construction. With available technology, we are in a “pick two” situation.
Classical Logic in Haskell by Vladimir Ciobanu

During a very pleasant conversation at a recent Bucharest FP meetup, somebody mentioned that Cont is, almost exactly, Peirce’s law.

Jobs

Galois is Hiring! (ad)

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).
Backend Software Engineer at SimSpace in Boston

SimSpace is looking for a backend software developer to help shape the future of realistic environments used for cyber security development, testing, and training.
Senior Haskell Engineer at Hasura.io in Bangalore

Hasura.io is hiring senior Haskell developers. We build tools for developers to lessen the effort that goes into building backends for applications.

In brief

Package of the week

Instead of picking a package this week, we’re going to pick two interesting projects that were announced recently.

thinking-with-types

This repository is all of the original source material for my book Thinking with Types: Type-Level Programming in Haskell.
jhc-components

This is a fork of JHC Haskell Compiler 0.8.2. The source code is split into reusable components and builds with Haskell Stack.

Call for participation

Events

North America

2018-12-20 in Raleigh, NC, USA by Raleigh Haskell Meetup: (hack . yack)
2018-12-20 in Seattle, WA by A Course in Miracles, Puget Sound: New Location Bellevue Meeting on Thursday
2018-12-21 in Victoria, BC, Canada by Westshore Meetup: Open Mic at Serious Coffee at Millstream Villiage
2018-12-22 in Berkeley, CA by Code Self Study: Open Programming Session (Saturday Afternoon)
2018-12-22 in San Francisco, CA, USA by Let’sMakeStuff: Engineers+Designers+Artists+Makers+Creatives: Make-a-thon: Come Work On Your Project!
2018-12-26 in Leeds, United Kingdom by Code & Coffee (Leeds): Code & Coffee
2018-12-26 in Sandy, UT, USA by Utah Elm: TBA
2018-12-26 in Asheville, NC, USA by Asheville Coders League: Weekly Low-Pressure Social Get Together
2018-12-26 in Berkeley, CA by Code Self Study: Open Programming Session (Wednesday, Berkeley)

Asia

2018-12-20 in Voronezh, Russia by λ-vrn (ex Scala User Group): Встреча сообщества λ-vrn (ex Scala User Group)
2018-12-21 in Noida, India by Reactive Application Programmers in Delhi NCR: Rust - Next big language in the tech industry!
2018-12-24 in Sydney, Australia by Sydney Type Theory: Homotopy Type Theory
2018-12-26 in Delhi, India by DelhiNCR Haskell And Functional Programming Languages Group: FPNCR Unscripted Online meetup

Europe

2018-12-20 in Karlsruhe, Germany by The Karlsruhe Functional Programmers Meetup Group: Stammtisch (gemeinsam mit der C++ Usergroup KA)
2018-12-20 in Heverlee, Belgium by Belgian Scala User Group: Scalaz-ZIO Queue
2018-12-26 in Genève , Switzerland by Gōng-fu I/O ‹Creative Coders› Geneva: Gōng-fu I/O Weekly #347