ParentFull threadcardanome·Is there any programming language based on abstraction logic?This is all a bit too abstract for me right now but seems interesting.View on HN