It's about introducing conservation prinples from physics into the logic that goes into building electronic circuits. The idea sounds bad to me, but it's such a long read... Does anyone have a comment on it?
The language 'Clean' uses some related principle, called linear logic. You can use this as an alternative to Monads to simulate state and in-place updates.
It's about introducing conservation prinples from physics into the logic that goes into building electronic circuits. The idea sounds bad to me, but it's such a long read... Does anyone have a comment on it?