An Accessible Introduction to Type Theory and Implementing a Type Checker

• type-inference-by-example

  3 144 10.0 Scala

  A series of down-to-earth articles on implementing type inference

Also a good, accessible intro: https://github.com/Ahnfelt/type-inference-by-example

• cone

  7 502 0.0 C

  Cone Programming Language

Hm sounds interesting ... but I couldn't find the type checker here? https://github.com/jondgoodwin/cone/tree/master/src/c-compiler

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

Suggest a related project