News for hackers. Stuff that matters.

A comment on Alchemist – A non-deterministic programming language based on chemical reactions.

Re:Alchemist – A non-deterministic programming language base... by kummappp on Tuesday June 11, 2019 @02:22PM (#20158085)
Nice. If you would combine '->' operator with copy element 'I' and terminator element 'O' you could manipulate the syntax with category equations ( pure impelementation here https://github.com/kummahiih/python-category-equations and if you like to think as cats and balls, then usage example here: https://github.com/kummahiih/python-domain-equations ).
[ Parent | on HN ]
Re:Alchemist – A non-deterministic programming language base... by kummappp on Wednesday June 12, 2019 @08:01AM (#20163645)
I mean the notion here is of type "connect this source to this sink". Source -> Sink. That kind of setting is called category in mathematics, but the notation is a bit clumsy and can be made a bit more clear by introducing those copy 'I' and terminate 'O' -symbols to the mix. The python library above does that and it could be perhaps possible to plug it into this syntax easily.
[ Parent | on HN ]