4 ms·
Is there any programming language based on abstraction logic? This is all a bit too abstract for me right now but seems interesting.
by cardanome 1y ago
Is there any programming language based on abstraction logic?
This is all a bit too abstract for me right now but seems interesting.
- practal 1y agoThere is nothing practically usable right now. I hope there will be before the end of the year. Algebraic effects seem an interesting feature to include from the start, they seem conceptually very close to abstraction algebra.