Higher RAII, and the Seven Arcane Uses of Linear Types(verdagon.dev)

10 pointsby ingvevor 2 Jahren1 comments

Higher RAII, and the Seven Arcane Uses of Linear Types

https://verdagon.dev/blog/higher-raii-uses-linear-types

1 comments

omezevor 2 Jahren

If you have to create new types then why can’t this just be done by existing type systems, eg in Typescript:

Linear<T, S> = { state: S, data: T }

type CompletedTxState = ‘commit’ | ‘rollback’

Then eg for db transactions:

const commit = (t: Transaction, dbconn: DBConn): Linear<Transaction, CompletedTxState>