An interpreted programming language with mathematical functionality.
-
Updated
Feb 14, 2019 - C++
An interpreted programming language with mathematical functionality.
Descriptions & implementations of type-reconstruction/inference algorithms.
It includes the topics and exercises I explained in the training 🚀
Type inference framework for Emacs. Build better APIs, tools, linters and optimizers with type info!
Gentle introduction to Java 10 local variable type inference.
implementation of HMF type system, for higher rank types
Interpreter for a small functional language
A toy type checker (mirrored from https://gitlab.com/ilankri/lambda)
Row + Implicit arguments + MLF.
Delicious runtime type-checking
Stuff related to my Ph.D. research
Implementing numerous functions in Haskell that test core knowledge of haskell and understanding of the type inference in the lambda calculus.
An implementation of a featherweight muse interpreter written in Rust.
Typesafe front matter
⚖️ Compare two Zod schemas recursively.
Lambda Calculus compiler targeting x86, written in Racket
Naive Hindley-Miler Type Inference Impl
Implementation of a COOL interpreter that has type inference by adding the type AUTO_TYPE
Toy functional language with type inference and let-polymorphism
Add a description, image, and links to the type-inference topic page so that developers can more easily learn about it.
To associate your repository with the type-inference topic, visit your repo's landing page and select "manage topics."