Prelude Modules

bakgatviooldoos
Sun, 20 Jul 2025 22:17:05 +0000
General

Hi, Racket Discourse.

I was reading @notjack's post about what they call prelude modules, and I find the term to be an interesting addition to the nomenclature, should it take hold. One can become friends with a named concept.

Long-story short, the term describes the module prelude imported by a module foo upon instantiation (if that's the right word), which provides its initial bindings:

(module foo prelude
  ... body ...)

The comparison being drawn toward the end of the post, is to Haskell, which of course employs this term to mean something very similar.

What do you think about this term; have you any pet term that you like to use to describe this concept? I see the docs simply say, "initial module", for what it's worth.

On a more whimsical note, it might be cool to have something like:

#lang foo
#:prelude bar

to abstract over this concept, where applicable.

7 posts - 5 participants

Read full topic