HasChor icon indicating copy to clipboard operation
HasChor copied to clipboard
verified publisher icon gshen42

Hide `unwrap` using constraints

Open gshen42 opened this issue 2 years ago • 0 comments

The idea is proposed by Arnaud Spiwack at ICFP 2023.

The idea is to define located values as type a @ l = (Unwrap l) => a where Unwrap is a constraint that can only be satisfied when doing local computation at l.

gshen42 avatar Oct 16 '23 22:10 gshen42