Been thinking recently: Could variable captures be considered as coeffects?
(\x => \y => x) : a -> b -> a
(\x => \y =(x)=> x) : a -> b -> a
(\y => x) : error!
(\y =(x)=> x) : b -(a)-> b
Kind of reminds me of capture lists in C++ 🤔
Conversation
Oleg K. had something about this! Didn't read it though, just the headline.
1
Replying to
I think you can google for it w/ basically just his name and the words you used :) (only thing I could do also)
1
Show replies