A weird thing?
Conversation
I’m not sure what they are! But yes, maybe predicates. More interested in a graph-based language for nodal editing, but also interested in other projections of the same thing.
1
Some of my colleagues at YesLogic use Mercury, a logic language with explicit ‘modes’. So yeah, that is an inspiration.
2
No clue what the metatheory would look like though. Just very interested in what happens if you start thinking about other ways of looking at functions. 🤔 (I’m probably reinventing _something_) though.
Replying to
I think promoting functions to predicates could make certain proof terms more elegant?
1
1
Oh really? How so? I'm really interested in this - like, I wonder if lambdas are distracting us… but I've got no justification over this. And others may have had this feeling before.
3
Show replies