PinnedType 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
PinnedAsync/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
Row 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
Type 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
Published inThe 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
Type 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
Type Inference by Example, Part 4Continuing where we left off in part 3, let’s take a look at unification.Apr 12, 20201Apr 12, 20201
Type 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
Type 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