leastfixedpoint

Archived tweet #10246 from the @leastfixedpoint Twitter Archive
@pradnelluru That's right. And Syndicate at the moment needs you to come up with a sound syntactic encoding of those semantics - it can't do it for you. There's some fun research on behavioral types for semantic search. Also, Alan Kay was interested at one point in search-by-meaning.