jb55 on Nostr: this is melting my brain. ghci> mapM_ printEval $ parseExpr "x. y. z. x = (y, z); x = ...
this is melting my brain.
ghci> mapM_ printEval $ parseExpr "x. y. z. x = (y, z); x = (z, 2); z"
{ x = ⟨y, z⟩, y = z, z = 2 }
↳ 2
can you see it?
this program calculus bring equational reasoning to your variables in your code. bizarre but cool.
I vibe coded a #Verse calculus interpreter in #Haskell:
https://github.com/jb55/verse-calculus-haskell
seems to work! functional logic programming is a weird but interesting way to program.
note1ewc…6gjl
Published at
2025-05-19 01:26:23Event JSON
{
"id": "198da6fa8be708978bfeac4cbae6078c690970b52bbafb48347290bf9d88e55a",
"pubkey": "32e1827635450ebb3c5a7d12c1f8e7b2b514439ac10a67eef3d9fd9c5c68e245",
"created_at": 1747617983,
"kind": 1,
"tags": [
[
"q",
"8acd9187a12fe558bf2a61ea1fd16d94108417c43843de616f9e40d33f22426f"
],
[
"p",
"32e1827635450ebb3c5a7d12c1f8e7b2b514439ac10a67eef3d9fd9c5c68e245"
]
],
"content": "this is melting my brain.\n\nghci\u003e mapM_ printEval $ parseExpr \"x. y. z. x = (y, z); x = (z, 2); z\"\n\n{ x = ⟨y, z⟩, y = z, z = 2 }\n↳ 2\n\ncan you see it?\n\nthis program calculus bring equational reasoning to your variables in your code. bizarre but cool.\nnostr:note13txerpap9lj430e2v84pl5tdjsggg97y8ppauct0neqdx0ezgfhsx62kjd",
"sig": "33c37749826b8fc34d630bd9d06089c887c2bd3b257c8d366a09f0523b764a4da1f12b2a029bb82a039f6f63d5ce967a94e75bd67cccf6a26a50ccca707b801d"
}
