search

Plutonomicon / plutarch-core

Plutarch 2.0
MIT License
19 stars 6 forks source link

Subinterpreting example #6

Closed L-as closed 1 year ago

L-as commented 2 years ago

Make example for how to make something like the following:

f :: (EA edsl, EA edsl', EB edsl', IsEType edsl a, IsEType edsl b) => Term edsl a -> Term edsl' a

The idea is that we can implement EB in terms of EA. This might require changes to the core.

This is also important for emulating effects.

L-as commented 1 year ago

I think the approach might be to keep a single edsl/e, but give different constraints in continuations (i.e. CPS).