descriptive claim
Some programming-language-theory approaches use pure functional, relational formulations and abstract away a solver that translates relationships that are always true into code.
swyx · Academia is for Ambition — Alex Zhang, MIT · 2 Oct 2026
In their words
The transcript segments this claim was taken from
“uh programming language theory uh where everything is like pure functional and like completely relational and”
“and you sort of abstract away the solver that translates the relationships that is always true into code so yeah I feel like this is maybe a little bit too out”Play from 1:31:45Report a misattribution
75%how strongly it was put, not whether it is true
60%importance to the conversation
86%confidence the claim was read correctly