[<<][rtl][>>][..]
Tue Jul 24 21:06:52 EDT 2018

Applicative sharing


What works: in AppSeq.erl, see "dup"


So given that, is it possible to write a kind of "let"?
Yes.


square x' = var x' $ \x -> x `mul` x
var mv f = mv >>= \v -> f $ return v


So there...



[Reply][About]
[<<][rtl][>>][..]