tl;dr:Polar, a language designed for permissions, is not Turing complete. That's a good thing because you need your permissions queries to be low latency and not run forever. Read our proof on why Polar isn't Turing complete and why that's a good thing.
tl;dr:Type inference is often used in programming languages to provide error-checking without needing much input from the developer. In this post, I talk about how we used type inference in our API to check for errors in the data you load into Oso Cloud.