delay-pure

Non-cached promises for Typed/Racket, like delay/name. Should be sound for occurrence typing (unlike delay/name) because only pure functions are allowed.

Build status: failed missing license metadata

Download
Authors
Documentation
  • delay-pure
Tags
License
    Language familiesRacket
    Last updatedWednesday, June 17th, 2026 1:39:54am (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Build platformsany platform
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://delay-pure-git.suzanne.soy/delay-pure.git#main19541b8094b1aac23268f13d308202627275a360
    Last checkedSaturday, June 20th, 2026 6:26:26pm (UTC)
    Last editedFriday, February 13th, 2026 11:30:38am (UTC)
    Date addedTuesday, March 25th, 2025 1:37:52am (UTC)
    Modules
    • delay-pure/private/pure-function.rkt
    • delay-pure/private/fully-expanded-grammar-no-set.rkt
    • delay-pure/test/test-immutable-struct-constructor-mod2.rkt
    • delay-pure/test/test-pure-safe.rkt
    • delay-pure/test/test-immutable-struct-constructor.rkt
    • delay-pure/scribblings/delay-pure.scrbl
    • delay-pure/test/test-pure-lifted.rkt
    • delay-pure/private/pure-safe.rkt
    • delay-pure/test/test-immutable-struct-constructor-mod.rkt
    • delay-pure/private/pure-exception.rkt
    • delay-pure/private/immutable-struct-constructor.rkt
    • delay-pure/test/test-pure-function.rkt
    • delay-pure/test/test-unsafe.rkt
    • delay-pure/private/pure-unsafe.rkt
    • delay-pure/main.rkt
    • delay-pure/test/test-external-mutation.rkt