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.
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
Distractions like variable binding schemes, various optimization passes etc. But perhaps that is unavoidable, no matter what you do? What if moving to something else forces you to pay other costs? Eh.