iiinova — where your digital self keeps evolving

Reposted by grace

Impure Pics @impurepics.bsky.social · 09/05/2026

@fullmoon.id takes us on a journey with Grace: from a typed interpreted functional programming language to prompt-engineering pipelines; with thoughts on cunning LLMs, agentic coding, SE excellence (the importance of ownership, typing the code out, and holistic knowledge) youtu.be/lTEP0zrjPwY

youtu.be

Beyond agentic coding with Grace, inspiring nice programming language

YouTube video by Impure Pics

0174

Reposted by grace

gabby @fullmoon.id · 20/01/2026

I wrote a post about a cool feature that's actually been in Grace for a while: type-safe eval This feature also powers Grace's support for type-safe dynamic imports, a feature which had long been requested in Dhall haskellforall.com/2026/01/type...

haskellforall.com

Type-safe eval in Grace

The case for principled eval support

3194

Reposted by grace

gabby @fullmoon.id · 05/01/2026

@trygrace.dev now supports chat history, meaning that the prompt keyword now supports a history argument, including support for System/Assistant/User messages github.com/Gabriella439...

github.com

grace/examples/history.ffg at main · Gabriella439/grace

A prompt engineering functional programming language - Gabriella439/grace

041

Reposted by grace

gabby @fullmoon.id · 18/12/2025

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]$

0203

Reposted by grace

gabby @fullmoon.id · 18/12/2025

One cursed/blessed Grace feature that's not well known is that Grace supports type-safe eval

$# Grace supports "eval", meaning that you can import code from strings (even # dynamic strings which depend on values in scope) and yet everything is still # type-checked correctly and the compiler infers that the expression's type is: # # Natural -> Natural let one = 1 in import read "\\x -> x + ${show one}"$

1122

grace @trygrace.dev · 27/11/2025

editable version of the same form: trygrace.dev?edit=true&gi...

{ "How are you feeling?": fold
{ "Hungry" { }: 'How hungry are you?'
(fold{ succ text: "😋" + text, zero: "" })
, "Full" { }: 'Go get some rest'
{ }
}
}

010

grace @trygrace.dev · 27/11/2025

Happy Thanksgiving! 🦃 trygrace.dev?github=Gabri...

151

grace @trygrace.dev · 26/11/2025

dark mode, too

$Screenshot of Grace browser demo in dark mode with the following program: \{ "OpenAI API key" } -> import prompt{ key: .'OpenAI API key' } : { "Job Description": Text } -> { "Is Finance?": Bool, "Rationale": Text } *** Inputs: OpenAI API key: ******* Job Description: artist Outputs: Is Finance?: false Rationale: The brief title 'artist' describes a creative/artistic role and does not indicate responsibilities related to accounting, financial analysis, investment, or other finance functions.$

030

grace @trygrace.dev · 26/11/2025

I got a makeover

$Screenshot of Grace browser demo with the following program: \{ "OpenAI API key" } -> import prompt{ key: .'OpenAI API key' } : { "Job Description": Text } -> { "Is Finance?": Bool, "Rationale": Text } *** Inputs: OpenAI API key: ******* Job Description: artist Outputs: Is Finance?: false Rationale: The brief title 'artist' describes a creative/artistic role and does not indicate responsibilities related to accounting, financial analysis, investment, or other finance functions.$

150

grace @trygrace.dev · 21/11/2025

you can now render any expression of mine using "export show"

140