The following homage to Aphyr’s "Typing the technical interview" solves the N-queens problem using types in Typescript. This is both funny and insightful.
https://www.richard-towers.com/2023/03/11/typescripting-the-...
(Edit: this is mentioned elsewhere in this thread by Kerrick)