Many Factorials in Lambda Calculus

(text.marvinborner.de)

12 points | by marvinborner 10 days ago ago

3 comments

  • mpoteat 13 hours ago

    I like to refer to code that has been overly injected with syntactic sugar as "caramelized". We need more culinary metaphors for programming jargon!

    • mpoteat 12 hours ago

      @marvinborner

      Is there any hope for a "hashlife" style cache for a TC language? My understanding is that hashlife exploits spatial locality / "causation speed" in GoL, which isn't available in LC because of beta reduction. Thoughts?

    • nixpulvis 11 hours ago

      Problem is caramel is better than sugar, and I generally think adding too many layers of sugar makes things worse.

      Maybe it's a soufflé? Highly unstable, but occasionally very nice.