We forked TypeScript

At Membrane , we forked TypeScript to extend contextual typing so our programming model gets type inference for free. The changes were made by Juan Campa . I went through them recently while updating our fork to the latest TypeScript version. What I found was surprisingly small and worth explaining. What Is Contextual Typing Most type inference works bottom-up. You write let x = 42 and the…