PinnedJoakim Ahnfelt-RønneType Inference by ExampleIn this series, we’ll go through examples of how type inference works on actual code, and then see how to implement it.2 min read·Apr 10, 2020--2--2
PinnedJoakim Ahnfelt-RønneAsync/await inference in FireflyFirefly is a new general purpose programming language that tries to achieve convenience and safety at the same time, by using pervasive…2 min read·Feb 16, 2022----
Joakim Ahnfelt-RønneRow polymorphism crash courseWith type inference, structural records types can make a statically typed language feel almost like a scripting language, without giving up…2 min read·Jul 9, 2021--1--1
Joakim Ahnfelt-RønneType Inference by Example, Part 7Continuing where we left off in part 6, let’s add in mutually recursive functions with generics.5 min read·Apr 18, 2020--1--1
Joakim Ahnfelt-RønneinThe StartupType Inference by Example, Part 6Continuing where we left off in part 5, let’s extend the language and reconstruct the missing type annotations in the syntax tree.4 min read·Apr 15, 2020----
Joakim Ahnfelt-RønneType Inference by Example, Part 5Continuing where we left off in part 4, let’s finish implementing a first version of the type inference — and see a small demo.3 min read·Apr 13, 2020----
Joakim Ahnfelt-RønneType Inference by Example, Part 4Continuing where we left off in part 3, let’s take a look at unification.4 min read·Apr 12, 2020--1--1
Joakim Ahnfelt-RønneType Inference by Example, Part 3Continuing where we left off in part 2, we’ll now consider calling a generic function:2 min read·Apr 11, 2020----
Joakim Ahnfelt-RønneType Inference by Example, Part 2Continuing where we left off in part 1, let’s look at a more advanced example that uses local variables and type constructors:3 min read·Apr 10, 2020----