Issue 161 2019-05-30
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.
I have been very interested in codata, mainly because it relates to data in a category-theory way, but, as usual, I didn’t understand many of the words involved.
Corydalis v0.4 released! by Iustin Pop
Corydalis is a web-based image/video viewer to be used for local (non-cloud) image collections. Think of it as Geeqie but web-based and understanding your entire image collection.
Cursors, Part 5: The Tree Cursor by Tom Sydney Kerckhove
This is the fifth post in a series about cursors. It prepares the first data structure to write a simple forest editor
Dimensions and Haskell: Introduction by Danya Rogozin
We investigate features of functional programming in the context of machine learning. Python and R are the most widely used languages in this area. In this post, we discuss Haskell advantages in comparison to Python and R.
Faking Fundeps with Typechecker Plugins by Sandy Maguire
Today I want to talk about another sort of GHC plugin: type-checker plugins! TC plugins let you hook into GHC’s constraint machinery and help it solve domain-specific problems that it wouldn’t be able to otherwise.
Integrating Lua tests with
tasty-luaby Albert Krewinkel
I wrote a little utility, tasty-lua, to integrate Lua tests into tasty Haskell tests. It’s not much, but I liked how it turned out.
Introducing Bipartite Graphs in Alga by Vasily Alferov
I am a student at Summer of Haskell this year and I am very thankful to authors of this site who provided me this platform to have a blog about GSoC. This is an introduction post about my project.
On the arity of type families by Ryan Scott
Alas, not everything can be partially applied. In particular, GHC offers a type families extension that lets you define functions for use at the type level.
Ormolu: Format Haskell code like never before by Mark Karpov
If we think of the average Haskeller, who do we see? A poor, broken person. Tired head falls into the open palms, sobbing, deprived of the basic human right for automated source code formatting.
The Next 700 Module Systems by Musa Al-hassy
A requirements driven approach to coherent modularisarion constructs in Dependently-typed languages.
Including but not limited to: Software Engineers/Researchers, Project Managers, Hardware Engineers, Red Team Lead, 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.
Trying to hire a Haskell developer? You should advertise with us!
- Deriving a Linear-Time Applicative Traversal of a Rose Tree
- Faking SQL Server in Haskell
- Haskell Weekly podcast episode 11: Profiling performance
haskell-src-exts: no more releases
hove-letter: An implementation of the game Love Letter in the terminal
- How is Haskell faster than C?
- MIT spinout offering up to $1.5M to ventures in Applied Category Theory
- Montevideo: a toolkit for live-coding music in Haskell
- Smarter Enemies with BFS!
- Stack 2.1 release candidate
- Zurihac news
Package of the week
This week’s package of the week is
servant-elm, a library that automatically derives Elms functions to query Servant webservices.