Type Classes

Type Classes is a Substack focused on Haskell, covering programming concepts, guides, and latest advancements in GHC. It explores practical applications of Haskell in software development, including interactions with other languages like C, and delves into technicalities like managing environment variables and bitwise operations.

Haskell Programming Software Development Best Practices Programming Language Interoperability Technical Guides Project Management Library and Tool Overviews

The hottest Substack posts of Type Classes

And their main takeaways

What's new in GHC 2021

403 implied HN points • 14 Mar 23
🕹 Technology Programming
  1. Use GHC2021 as the language for Haskell projects to stay up-to-date.
  2. Haskell has evolved through different versions and compilers, with GHC being a major player.
  3. GHC 2021 introduces new features like expanding deriving power, more explicit type information, and new ways to write numbers.

Turtles aren't just for kids

302 implied HN points • 19 May 23
🕹 Technology Programming
  1. Code demonstrations can be boring and need to be made more engaging.
  2. Even if the concepts in Haskell are interesting, printing text can limit the demonstration.
  3. Consider subscribing for a 7-day free trial to access more content on Type Classes.

In the garden with NixOS and XMPP

100 implied HN points • 30 May 23
🕹 Technology Messaging Linux
  1. The post discusses a project involving NixOS and XMPP, focusing on setting up a server for sending messages to oneself.
  2. It delves into systemd service configuration and how to follow along if you have a NixOS server or just want to explore what NixOS is capable of.
  3. Readers are encouraged to subscribe to Type Classes for a 7-day free trial to access the full post archives and learn more about the project.
Get a weekly roundup of the best Substack posts, by hacker news affinity:

Erasing at the blackboard

100 implied HN points • 19 Apr 23
🕹 Technology Programming Coding Design
  1. Old math professors have a habit of erasing their work and then apologizing for it immediately.
  2. Teachers often erase at the blackboard to free up space.
  3. Subscribe to Type Classes for access to more content and a 7-day free trial.

memfd: An example of Haskell and C

3 HN points • 17 Mar 23
🕹 Technology Programming C++
  1. The article discusses the 'memfd' library as an example of Foreign Function Interface (FFI) in Haskell.
  2. It references Drew DeVault's book 'The Wayland Protocol' for illustrating shared memory allocation.
  3. To access the full post archives, readers can subscribe to Type Classes for a 7-day free trial.

The centrality of AffineTraversal

1 HN point • 05 Jun 23
🕹 Technology Programming
  1. The post discusses the centrality of AffineTraversal in the context of optics.
  2. The article provides a sample related to optics even for those unfamiliar with the subject.
  3. To access the full post and archives, readers can start a 7-day free trial of Type Classes.

Faking with type families

1 HN point • 03 May 23
🕹 Technology Programming
  1. Type families in Haskell provide powerful polymorphic capabilities.
  2. Using 'fake' instances with type families can help test code that was previously considered untestable.
  3. Haskell's approach to polymorphism allows for creating testable 'seams' in code.

Using AWS Secrets Manager

0 implied HN points • 08 Jun 23
🕹 Technology Programming AWS Open Source
  1. The author replaced Amazonka with their own library for accessing passwords in AWS Secrets Manager.
  2. The new library is a small wrapper for the official AWS command line interface.
  3. The author's library is named aws-secrets and is available on Hackage.