3 ms·
Inspiring Papers
- ced 18y agoThe Conservative Logic paper is intriguing http://calculemus.org/logsoc03/materialy/ConservativeLogic.pdf http://calculemus.org/logsoc03/materialy/ConservativeLogic.p... 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?
- eru 18y agoThe 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. http://clean.cs.ru.nl/ http://clean.cs.ru.nl/