What is pense?

[gmhwxi]

What am I up to here?

I have long wanted a systematic way to turn a functional program

(FP making use of GC) into a linear functional program (LFP) that

does not make (extensive) use of GC.

The introduction of lense into ATS3 is a crucial step to achieve this goal.

Along a similar line, I suppose we can also introduce a notion of 'pense'

so as to support parallel programming. I am just not ready for it yet. But

I want to put out the idea here to remind myself. Just in case.

Cheers,

--Hongwei