Tasty » Adam Sampson's type-inference bookmarks

C&C - An Explanation of Type Inference for ML/Haskell edit / delete

A succinct description of how to implement type inference for your typical functional language. Will be clear enough if you understand a functional language already.

to cmp409 functional haskell ml type-inference ... on 24 October 2018

lukasmartinelli/py14: Python to C++ 14 transpiler edit / delete

"C++14 has such powerful type deduction that it is possible to transpile Python into C++ without worrying about the missing type annotations in python. Only a small subset of Python is working"

to c++ compiler python translation type-inference types ... on 28 February 2016

Clay Programming Language edit / delete

A modern C++-style language; uses Haskell-ish type inference techniques to allow reasonably pretty generic programming.

to c++ generics language-design type-inference types ... on 14 December 2013