Plurrrr

Fri 10 Apr 2020

Understanding GADTs

Generalized algebraic datatypes, or simply GADTs, are a generalization of the algebraic data types that you are familiar with. Basically, they allow you to explicitly write down the types of the constructors. In this chapter, you'll learn why this is useful and how to declare your own.

Source: Haskell/GADT

map in JavaScript

When I first started learning JavaScript I thought it was hard to understand map. I will attempt to explain map to someone who never heard of it, a beginner trying to learn JavaScript.

Source: map in JavaScript, an article by Claes-Magnus Berg.

Generics in Go – How They Work and How to Play With Them

Go is a bit infamous for not supporting generics, but lately generics have come much closer to becoming a reality. There's a draft design that seems to be relatively stable and is gaining traction in the form of a prototype source-to-source translator implemented by the Go team. Here's what the latest design looks like and how you can try out generics yourself.

Source: Generics in Go – How They Work and How to Play With Them, an article by Chris Brown.