LR on Nostr: the built-in `range` operator has been used so far to generate counters, e.g. `x = ...
the built-in `range` operator has been used so far to generate counters,
e.g. `x = range 0 10` would evaluate all following terms with x iterating through the range, but now `x` can also be already constrained.
so `x = 4; x = range 0 10` would turn the generator into a range check (which passes). it composes neatly at lower level.
in this example, only one case is required for `i` being either defined or undefined.
#devlog #nudl
Published at
2026-04-28 16:24:15 UTCEvent JSON
{
"id": "74d323cf7bbcfcf2a590dead05e3499cab59ec10a56606df13df9732da70a2b8",
"pubkey": "6f9534fa269f1eaee951aa573bb4a5887fe94136e6ee13b3e0dac087d2e2d186",
"created_at": 1777393455,
"kind": 1,
"tags": [
[
"t",
"nudl"
],
[
"t",
"devlog"
],
[
"proxy",
"https://mastodon.gamedev.place/@lritter/116483257467781132",
"web"
],
[
"imeta",
"url https://cdn.masto.host/mastodongamedevplace/media_attachments/files/116/483/253/851/363/822/original/455337ac1a6174a7.png",
"m image/png"
],
[
"proxy",
"https://mastodon.gamedev.place/users/lritter/statuses/116483257467781132",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mastodon.gamedev.place/users/lritter/statuses/116483257467781132",
"pink.momostr"
],
[
"-"
]
],
"content": "the built-in `range` operator has been used so far to generate counters, \n\ne.g. `x = range 0 10` would evaluate all following terms with x iterating through the range, but now `x` can also be already constrained.\n\nso `x = 4; x = range 0 10` would turn the generator into a range check (which passes). it composes neatly at lower level.\n\nin this example, only one case is required for `i` being either defined or undefined.\n\n#devlog #nudl\nhttps://cdn.masto.host/mastodongamedevplace/media_attachments/files/116/483/253/851/363/822/original/455337ac1a6174a7.png\n",
"sig": "2da2b2916c13f32b18ab919794197d7094b09158fe78e17c20c43df00f1ee3b516cdccd8dcd78a72ac48b49a48594e0d18e1feeb6141f63dd43854f3481ec10c"
}