PinnedJoakim Ahnfelt-Rønne·Apr 10, 2020Type 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.A response icon2A response icon2
PinnedJoakim Ahnfelt-Rønne·Feb 16, 2022Async/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…
Joakim Ahnfelt-Rønne·Jul 9, 2021Row polymorphism crash courseWith type inference, structural records types can make a statically typed language feel almost like a scripting language, without giving up…A response icon1A response icon1
Joakim Ahnfelt-Rønne·Apr 18, 2020Type Inference by Example, Part 7Continuing where we left off in part 6, let’s add in mutually recursive functions with generics.A response icon1A response icon1
InThe StartupbyJoakim Ahnfelt-Rønne·Apr 15, 2020Type 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.
Joakim Ahnfelt-Rønne·Apr 13, 2020Type 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.
Joakim Ahnfelt-Rønne·Apr 12, 2020Type Inference by Example, Part 4Continuing where we left off in part 3, let’s take a look at unification.A response icon1A response icon1
Joakim Ahnfelt-Rønne·Apr 11, 2020Type Inference by Example, Part 3Continuing where we left off in part 2, we’ll now consider calling a generic function:
Joakim Ahnfelt-Rønne·Apr 10, 2020Type 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:
