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.Apr 10, 20202Apr 10, 20202

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…Feb 16, 2022Feb 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…Jul 9, 20211Jul 9, 20211

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.Apr 18, 20201Apr 18, 20201

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.Apr 15, 2020Apr 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.Apr 13, 2020Apr 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.Apr 12, 20201Apr 12, 20201

Joakim Ahnfelt-RønneType Inference by Example, Part 3Continuing where we left off in part 2, we’ll now consider calling a generic function:Apr 11, 2020Apr 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:Apr 10, 2020Apr 10, 2020