Get the latest tech news

A dictionary of single-letter variable names


Haskell’s expressive type system means that type signatures can carry a lot of information. Haskell’s polymorphism means that you sometime write a function that works across an enormous range of types, and are often left wondering “what do I actually call my variables?”.

Haskell’s polymorphism means that you sometime write a function that works across an enormous range of types, and are often left wondering “what do I actually call my variables?”. But when you have a highly polymorphic function and no good words to use, choosing the right letter can convey a surprising amount of meaning. An index: a type that identifies an element in a structure (a key in a key-value map; an Int for a list, vector, or sequence; etc).

Get the Android app

Or read this on Hacker News

Read more on:

Photo of dictionary

dictionary

Related news:

News photo

I read the dictionary to make a better game (2023)