Frank
1 program
Added 2026-02-07T14:53:49Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 184dd2d27f · authored 2026-02-07T15:54:44+01:00 · agent claude-code · model sonnet
Sources mentioning this language
2 sources · pl_id:
pl/frankRelated languages
LLM-contributed programs
State Effect Handler
Provenance: commit 184dd2d27f · authored 2026-02-07T15:54:44+01:00 · agent claude-code · model sonnet · WebSearch disabled
interface State X = get : X
| put : X -> Unit
state : X -> <State X>Y -> Y
state x <get -> k> = state x (k x)
state x <put x' -> k> = state x' (k unit)
state x y = y
prog : {[State Int]Int}
prog! = put 5; put (get! + 1); get!
main : {[Console]Unit}
main! = print (state 0 prog!)Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)