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.
The Essence of Datalog by Mistral Contrastin
In which we implement a simple Datalog engine in not many lines of Haskell to understand its semantics.
Welcome to GitLab! by Ben Gamari
I am happy to announce that CI on GHC’s GitLab instance is now stable. At this point GitLab is to be considered the official upstream repository of GHC.
Stackage LTS 13 with ghc-8.6.3 by Dan Burton
We are pleased to announce the release of lts-13.0, the first in a new LTS Haskell snapshot series, using ghc-8.6.3.
Abstraction levels in functional programming by Tomáš Zemanovič
I am delighted to see more people learning functional programming and find the effort that goes into making it accessible to a wider audience encouraging.
Advent of Haskell by Martín Valdés de León
Thoughts and lessons learned after using Haskell consistently for 25 days in a row.
Curses Pac-man game in Haskell by Alex Kavanagh
I wrote this as an exercise in improving my Haskell, which I started this year and for learning how to use lenses for a presentation I’m going to do for my local functional programming group.
Happy Haskell Programming for GHC 8.x by Kazu Yamamoto
I’m happy to announce that Happy Haskell Programming (HHP) version 0.0.0 has been released. In short, HHP is a fork from ghc-mod 4.1.6 and re-written for all GHC 8.x.
Rigid types and block arguments by Chris Martin
Rigid type variables: Understanding that phrase that shows up in your compile errors can help you learn more about the type system. BlockArguments: The fun new GHC extension stealing everyone’s dollars.
distributed-processapps using Hspec by Philip Cunningham
distributed-processis a Haskell library that brings Erlang-style concurrency to Haskell. Whilst developing an application at work that uses it, I found that there wasn’t much material online describing how to test
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).
- Balancing scans
- Compiling to categories 3: A bit cuter
- Fluent polymorphism with visible type applications
- Graphs are to categories as lists are to monoids
- Open Season on Hylomorphisms
- PureScript series now available
- Solving planning problems with Fast Downward and Haskell
- Xiaolin Wu’s fast antialiased line drawing algorithm in Haskell
- ZuriHac 2019 registration
Package of the week
This week’s package of the week is
a functional graph library.
Call for participation
- 2018-12-27 in Zacatecas, Mexico by Zac <3 Command Line: i3 or Bash scripting
- 2018-12-27 in Raleigh, NC, USA by Raleigh Haskell Meetup: (hack . yack)
- 2018-12-27 in Seattle, WA by A Course in Miracles, Puget Sound: New Location Bellevue Meeting on Thursday
- 2018-12-28 in Austin, TX, USA by Austin Types, Theorems, and Programming Languages: Going through Software Foundations by Benjamin Pierce et al
- 2018-12-28 in Victoria, BC, Canada by Westshore Meetup: Open Mic at Serious Coffee at Millstream Villiage
- 2018-12-29 in San Diego, CA, USA by San Diego Software Development Deep Dive: Diving deeper into software development discussions
- 2018-12-29 in Berkeley, CA by Code Self Study: Open Programming Session (Saturday Afternoon)
- 2018-12-31 in Irvine, CA by Orange Combinator - Functional Programming In OC: Combinating - The Weekly Function
- 2018-12-31 in Thousand Oaks, CA, USA by Monthly Full Moon World Healing Meditation Ceremony: New Year’s Eve Shamanic Intention Setting Ceremony with Patrick Harbula
- 2019-01-01 in Westlake, OH, USA by λ cleveland -> func: Hack Night
- 2019-01-02 in Asheville, NC, USA by Asheville Coders League: Weekly Low-Pressure Social Get Together
- 2019-01-02 in Washington, DC, USA by The Joy of Programming Meetup: Next Round (TBD)
- 2019-01-02 in Berkeley, CA by Code Self Study: Open Programming Session (Wednesday, Berkeley)
- 2019-01-03 in Raleigh, NC, USA by Raleigh Haskell Meetup: (hack . yack)
- 2019-01-03 in Harwich, USA by Cape Cod Functional Programming Meetup: Lenses 👓 & hooks 🎣
- 2019-01-03 in Roanoke, VA, USA by Roanoke Valley .NET User Group (RVNUG): RVNUG Monthly Meeting
- 2019-01-02 in Leeds, United Kingdom by Code & Coffee (Leeds): Code & Coffee
- 2019-01-02 in Bristol, United Kingdom by Bristol Clojurians: Clojure Study Group
- 2018-12-29 in Pune, India by Reactive Application Programmers in Pune: Building Microservices with Reactive Architecture
- 2019-01-03 in Mumbai, India by DelhiNCR Haskell And Functional Programming Languages Group: FPNCR Monthly meetup
- 2019-01-03 in Taipei, Taiwan by Functional Thursday: Functional Thursday #71
- 2018-12-31 in Sydney, Australia by Sydney Type Theory: Homotopy Type Theory
- 2019-01-03 in Santiago, Chile by Santiago Scala Meetup: Santiago Scala Meetup