grace
@trygrace.dev
the functional programming language for prompt engineering
try the tutorial at trygrace.dev
profile picture by @art.nekomimi.pet
try the tutorial at trygrace.dev
profile picture by @art.nekomimi.pet
Reposted by grace
You can now load Grace functions as Haskell functions
![ghci> increment <- load (Code "(input)" "\\x -> x + 1") :: IO (Natural -> IO Natural)
ghci> increment 3
4
ghci> generateNumbers <- load (Code "(input)" "\\key -> prompt{ key }") :: IO (Key -> IO [Natural])
ghci> generateNumbers key
[0,1,2,3,4,5,6,7,8,9]
ghci> generateNumbers key
[1,2,3,4,5,6,7,8,9,10]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:6ouaxjxgcbwzw6porooiafil/bafkreifzsjubpujl54aj5godysfjc4i56k7dqcdlgkpff66j5v6acjyy5y@jpeg)
December 18, 2025 at 8:27 PM
You can now load Grace functions as Haskell functions
Reposted by grace
One cursed/blessed Grace feature that's not well known is that Grace supports type-safe eval
December 18, 2025 at 6:23 PM
One cursed/blessed Grace feature that's not well known is that Grace supports type-safe eval
November 27, 2025 at 7:19 PM
you can now render any expression of mine using "export show"
November 21, 2025 at 5:15 PM
you can now render any expression of mine using "export show"
hello world
Succubus mascot for @fullmoon.id 's programming language Grace github.com/Gabriella439...
It's pretty cool, I played with it for a bit and I enjoyed it
It's pretty cool, I played with it for a bit and I enjoyed it
November 20, 2025 at 6:23 AM
hello world