Plurrrr

Thu 20 Oct 2022

What does "isomorphic" mean (in Haskell)?

Sometimes you’ll hear someone describe two things as being “isomorphic” to one another and I wanted to explain what that means.

You might have already guessed that “isomorphic” is a synonym for “equivalent”, and that would have been a pretty good guess. Really, the main difference between the two words is that “isomorphic” has a more precise and more general definition than “equivalent”.

In this post I will introduce a more precise definition of “isomorphic”, using Haskell code. This definition won’t be the fully general definition, but I still hope to give you some taste of how “isomorphic” can denote something more than just “equivalent”.

Source: What does "isomorphic" mean (in Haskell)?, an article by Gabriella Gonzalez.

Quirks, Caveats, and Gotchas In SQLite

The SQL language is a "standard". Even so, no two SQL database engines work exactly alike. Every SQL implementation has it own peculiarities and oddities, and SQLite is no exception to this rule.

This document strives to highlight the principal differences between SQLite and other SQL implementations, as an aid to developers that are porting to or from SQLite or who are trying to build a system that works across multiple database engines.

Source: Quirks, Caveats, and Gotchas In SQLite.

Announcing the Haskell Error Index

The Haskell Error Index is a community-driven web site for improving the documentation of Haskell tooling. In the upcoming release of GHC, each error message or warning includes a unique code. This code can be looked up on the index to find user-contributed explanations and examples. As the specific phrasing of messages in GHC is improved over time, the codes will remain constant, which allows the documentation on the site to retain its value and its search-engine usefulness.

Source: Announcing the Haskell Error Index, an article by David Thrane Christiansen.

The Gray Man (2022)

When the CIA's most skilled operative-whose true identity is known to none-accidentally uncovers dark agency secrets, a psychopathic former colleague puts a bounty on his head, setting off a global manhunt by international assassins.

In the evening I watched The Gray Man. I liked the movie somewhat and give it a 6.5 out of 10.