Issue 122 2018-08-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.
p5library, and showed how to draw 3D graphics using a 2D graphics library. It got me wondering if I could recreate it in Haskell.
In this blog post I will properly introduce the
pdepoperations and how they relate to the performance of our conceptual succinct data-structure based CSV parser.
In this blog post, I’d like to tell one story that had happened with one Haskell application. Then explain how we can start threaded RTS, so it is aware of the CPU layout on your system.
The post is about the most obvious things a user will run into when upgrading. Thus, we will talk about breaking changes and new ways of doing certain things. Finally, there a bit of benchmarking bravura, because yes, we’re now faster than ever (sometimes a bit faster than Attoparsec).
These notes compare Idris code in the book against Haskell. My goal is to write Haskell code very closely mimicking Idris to see the value added by dependent types.
I’m positively surprised about Agda’s termination checker. I’m working on a larger exercise, and Agda believes my main lemma (which does all the work for one liner theorem) terminates. But I don’t, yet.
The “package environment file” feature (silently) introduced into GHC and cabal-install has caused a good deal of discussion already. But it seems we have so far missed one more fundamental issue.
The course starts next week. But before it does, I wanted to take this opportunity to tell a little bit of the story of how I learned Haskell. I want to share the mistakes I made, since those motivated me to make this course.
Roles, safe zero-cost coercions, and
In 2015, I spent some of my spare time trying out Elm, to render something simple in the browser and also to run some programs in Node. In this post, I’ll just highlight some of the most important things I’ve learned since the beginning of 2016 by using PureScript.
We are an early stage startup with a newly released product that is growing and changing as we continue gathering more customer feedback. Our small team of extremely talented and friendly folks is working closely with customers to ensure their success.
- Announcing Eta v0.8.6b2
- Eta GSoC 2018 wrap up
- Haskell development workflows 4 ways
- HaskellRank 7: Purely functional solutions to imperative problems
- Kids coding: Part 3
- PureScript: Instance chains and overlapping Instances
- The abstract calculus
- What’s the consensus on Unicode symbols these days?
Packages of the week
- Abstract Calculus: A minimal programming language and model of computation
- BuBBLE: A DSL/LISP dialect written
emacs-module: A Haskell package for writing Emacs modules
http2-client-grpc: A native HTTP2 gRPC client library
- Kiwi: A B+ tree based persistent key-value store
- Termonad: A terminal emulator configurable
- Yaar: An experimental type level framework for bulding type safe web applications