Issue 168
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
-
Building and Debugging FRP with CodeWorld and Reflex by Chris Smith
I’ll show you how the system has changed, and what you can do now that you couldn’t do before.
-
Evaluation of function calls in Haskell by Laszlo Treszkai
In this post I analyze the runtime differences between point-free and pointful definitions.
-
Fancy types for CSV library by Oleg Grenrus
This blog post is a thought on a following question: Can we make Cassava (= CSV) stuff a bit safer using fancy types?
-
Global Implicit Parameters by Csongor Kiss
Unlike type classes, implicit parameters are bound locally. But what if we want to bind one in the global scope?
-
Haskell-y Ever After: Summer Tales for Every Full-stack Developer (Part One) by Andika Demas Riyandi
A Google Summer of Code’s student story about implementing Haskell on the Hackage Matrix Builder’s frontend application using Functional Reactive Programming approach.
-
How I Intend to Help Steer GHC by Sandy Maguire
Yesterday I was (somewhat surprisingly) brought on as a new member of the GHC steering committee.
-
HSoC — Hadrian Optimisation: First GHC Contribution (Update 4) by James Foster
Everyone should now get a few minutes knocked off their GHC build times (with Hadrian anyway), with maybe a bit more or less depending on your hardware and build flavour.
-
Open Sum Types in Haskell with world-peace by Dennis Gosnell
world-peace
is not as fast as some other libraries providing open sum types, but it does have much better documentation than other libraries. -
Revelations from repetition: Source code headers in Haskell and Python by Simeon Carstens and Matthias Meschede
How do languages differ in their boilerplate content? Is it only the content of the boilerplate that changes, or also its quantity?
-
Show and Tell: Game: Water-Wars by FailWhaleBrigade
The game idea was to clone “Towerfall”, a fast paced multiplayer shooting/platforming game.
Jobs
-
Galois is hiring for a variety of roles (ad)
Including but not limited to: Software Engineers/Researchers, Project Managers, Hardware Engineers, 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.
-
Full Stack Sr. Software Engineer (Haskell)
Interos is hiring. We are committed to building a world class product organization that leverages tools like Haskell to achieve outsized results. We’re looking for engineers who relish solving the hard technical and analytics challenges and diving into the subtle details that make products amazing.
Trying to hire a Haskell developer? You should advertise with us!
In brief
- Advanced Search with Drilling!
- Announcing Stack 2.1.3
- Announcing type-errors-pretty: Combinators for writing pretty type errors easily
- Announcing yesod-static-remote
- Chu construction on linear logic
- Functor, Applicative, Monad, a play
- Haskell Weekly Podcast episode 14: Refinement Types
- How does making something first class give you power?
- Nimic: A language about nothing
- Upcoming stackage LTS 14 snapshot with ghc-8.6.5
Package of the week
This week’s package of the week is ghc-source-gen
, a library for generating Haskell source code. It uses the ghc
library to support recent language extensions, and provides a simple, consistent interface across several major versions of GHC.
Call for participation
Events
North America
- 2019-07-18 in Raleigh, NC, USA by Raleigh Haskell Meetup: (hack . yack)
- 2019-07-18 in San Diego, CA, USA by San Diego Functional Programmers: July Meetup - Haskell: From 30,000 Feet
- 2019-07-20 in Boston, MA, USA by Weekly Functional Programming Meetup: Hang out + short talk (topic not yet announced)
- 2019-07-20 in Bellevue, WA, USA by Seattle Area Haskell Users’ Group: General discussion
- 2019-07-20 in Berkeley, CA by Code Self Study: Open Programming Session (Saturday Afternoon)
- 2019-07-21 in Des Moines, IA, USA by Des Moines Haskell Study Group: (South DSM) Week 8. Review ch. 1 - 12 plus 13-14
- 2019-07-22 in Irvine, CA by Orange Combinator - Functional Programming In OC: The Weekly Function
- 2019-07-22 in Chicago, IL, USA by Chicago Elm: Chicago Elm - July Code Night
- 2019-07-23 in Middleton, WI, USA by Madhackers: Hack Night in Middleton
- 2019-07-23 in Philadelphia, PA, USA by Elm Philadelphia: Elm Show & Tell
- 2019-07-23 in San Francisco, CA, USA by Erlang & Elixir SF: Wrestling Time and Date & Managing Registry!
- 2019-07-24 in Berkeley, CA by Code Self Study: Open Programming Session (Wednesday, Berkeley)
- 2019-07-24 in Portland, OR, USA by Portland Functional Programming Study Group: PDX Func Theory Track - Lambda Calculus
- 2019-07-25 in Raleigh, NC, USA by Raleigh Haskell Meetup: (hack . yack)
- 2019-07-25 in Las Vegas, NV, USA by Las Vegas Functional Programming User Group: Functional Programming Meetup
- 2019-07-25 in Chicago, IL, USA by The Project Euler Sprint: Project Euler Sprint
- 2019-07-25 in Bellevue, WA, USA by Fun(c)tional Programming Group: Functional programming in Scala with Rafa Paradela
Europe
- 2019-07-19 in Dortmund, Germany by Elm-user-group-Dortmund: Hello World - second installation
- 2019-07-22 in Karlsruhe, Germany by Karlsruhe Haskell Meetup: Haskell Monday
- 2019-07-22 in London, United Kingdom by Skills Matter - xMatters Keynote Series - Developer Events: Skills Matter Open House July
- 2019-07-22 in London EC2, United Kingdom by Skills Matter - xMatters Keynote Series - Developer Events: Keynote by Portia Tung
- 2019-07-23 in London EC2, United Kingdom by Skills Matter - xMatters Keynote Series - Developer Events: Emily Jiang- On Stage Hacking: Build 12-Factor Microservices in an Hour
- 2019-07-24 in Berlin, Germany by Berlin Haskell Users Group: Haskell Wednesday
- 2019-07-24 in Stuttgart, Germany by Cardano Blockchain Stuttgart: Cardano Stammtisch no.4
- 2019-07-24 in Leipzig, Germany by Funktionaler Stammtisch Leipzig: “Funktionaler Stammtisch” Clojure, Elm, Haskell, Scala and Co…
- 2019-07-25 in München, Germany by Elm |> Munich: Monthly Elm Meeting #17
- 2019-07-25 in Bucharest, Romania by Bucharest FP: Bucharest FP #59: A Simple HTTP Server in Haskell
- 2019-07-25 in Zürich, Switzerland by HaskellerZ: Mauro Bieg - pandoc: converting documents for fun and profit!
- 2019-07-25 in London EC2, United Kingdom by Skills Matter - xMatters Keynote Series - Developer Events: Keynote by Angela Yu on Why I’m Building My Next App in Flutter
Asia
- 2019-07-18 in Noida, India by Reactive Application Programmers in Delhi NCR: [Webinar- 18 July]: Draw a line between Http/1.1 and Http/2 Client
Africa
- 2019-07-20 in Nairobi, Kenya by Nairobi JVM: Building Scalable Data Pipelines with Kafka and Apache Spark
Oceania
- 2019-07-25 in Melbourne, Australia by Melbourne Haskell Users Group: Melbourne Haskell Users Group Meetup