« earlier | later » Page 1 of 1
C&C - An Explanation of Type Inference for ML/Haskell
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
"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
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
« earlier | later » Page 1 of 1
| - type-inference | |
| 2 | c++ |
| 1 | cmp409 |
| 1 | compiler |
| 1 | functional |
| 1 | generics |
| 1 | haskell |
| 1 | language-design |
| 1 | ml |
| 1 | python |
| 1 | translation |
| 3 | type-inference |
| 2 | types |
tasty by Adam Sampson.