‹ BackHN Continuity

Thread

Show HN: AttaLambda: a language where types and data are made of untyped lambdas

49 points · 7 comments · kserrec

  1. rsrsrs86 · · focus · HN ↗
    This is uninteresting, because 1) you could just share your prompt: “implement Greg Michaelsons book in racket” 2) you added nothing to it 3) you skipped about everything that is interesting to study when learning the lambda calculus
    1. kjs3 · · focus · HN ↗
      I'm printing this out and mounting it on the wall. Well played, my friend...well played.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.