Issue 168 2019-07-18
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.
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-peaceis 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.
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.
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!
- 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.