3 ms·
I first heard about interaction nets from HVM [1]. It sounds very interesting but I can't say I get it. [1] https://higherorderco.com/ https://higherorderco.
by ngruhn 2y ago
I first heard about interaction nets from HVM [1]. It sounds very interesting but I can't say I get it.
[1] https://higherorderco.com/ https://higherorderco.com/
- radenmuaz 2y ago[dead]
- sumnole 2y ago> Think inets as like sort of lambda calculus runtime: > lambdas -> inets -> reduced inets -> lambdas a bit like Tree Calculus but with nets.
- hyperbrainer 2y agoI am very interested in the work they are doing with Bend and Kind, but right now, I am just confused as to what language is actually being actively developed. As I see it, right now they have HVM3(the runtime), Bend, Kind, Kind2, and some other stuff. No idea how all of that is supposed to tie in together.