lambda calculus is easy if you ignore substitution and evaluation strategies and . . .
that said, it's referentially transparent which is nice. maybe that's what they mean by "easier to reason about", relative to some other models of computation.
typeswitch
npub1e9…2vdd5
2025-10-20 15:13:35 UTC
in reply to nevent1q…64tt
Author Public Key
npub1e9y64jhalql35k2cfhntmkvnnz5937pwrq0267578qrpty6uafzsc2vdd5Seen on
wss://relay.momostr.pinkPublished at
2025-10-20 15:13:35 UTCEvent JSON
{
"id": "ae296db7ab51dfbe274d6f66cddd62e6da3f4d9397aec443430c429c38206571",
"pubkey": "c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45",
"created_at": 1760973215,
"kind": 1,
"tags": [
[
"p",
"11c7275dd741db3ec7007f05abb72d50da0fe512f7c6cc43d0789b4d12454b7b"
],
[
"e",
"935ceb8d3f5283ef0c46cb742da4d97f138089585a6ec7767850f2aa1b36b373",
"",
"root",
"11c7275dd741db3ec7007f05abb72d50da0fe512f7c6cc43d0789b4d12454b7b"
],
[
"proxy",
"https://gamedev.lgbt/@typeswitch/115407140625330445",
"web"
],
[
"proxy",
"https://gamedev.lgbt/users/typeswitch/statuses/115407140625330445",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://gamedev.lgbt/users/typeswitch/statuses/115407140625330445",
"pink.momostr"
],
[
"-"
]
],
"content": "lambda calculus is easy if you ignore substitution and evaluation strategies and . . . \n\nthat said, it's referentially transparent which is nice. maybe that's what they mean by \"easier to reason about\", relative to some other models of computation.",
"sig": "82fe4cbbebb5dff373dbbb8e72cb599e52c3770577b3951fe5d1d54b8912d58ba23b3959d19327fc22022a8fedada3460c945d88babb814f6a4e604e2e1aab39"
}