Eli Bendersky personal blog
Type inference
Type inference is a major feature of several programming languages, most notably languages from the ML family like Haskell. In this post I want to provide a brief overview of type inference, along with a simple Python implementation for a toy ML-like language.
- Points
- 146
- HN comments
- 44
- Submissions
- 1
- Cited by
- 3 commenters
Programming LanguagesSoftware Engineering2018
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Nov 15, 2018 | Type inference by luord | 146 | 44 |
Cited in comments
Linked from 5 Hacker News comments by 3 different people, from Apr 2020 to Sep 2024.
Most recent:
- emmanueloga_ · Sep 28, 2024
- emmanueloga_ · May 1, 2023
- emmanueloga_ · Oct 11, 2022
- samhw · Dec 9, 2021
- chubot · Apr 12, 2020
