gatlin/precursor-ts

ultimately, a "closure" is a special case of a letk

Closed this issue · 0 comments

gatlin commented

precursor-ts/src/ceskm.ts

Line 26 in 8527aa5

= { _exp: Cbpv, _env: Env }

Typescript's structural-ness provides a nice way to distinguish the two types while allowing them to overlap.

Then, values are either captured continuations or wrapped values of the Value<T> parameter.