Type Inference by Example, Part 5

First demo—type inference for lambda calculus.

Continuing where we left off in part 4, let’s finish implementing a first version of the type inference — and see a small demo.

The first thing we’ll need is a language to infer types for. Let’s start with the lambda calculus:

sealed abstract class Expression
case class ELambda(x : String, e : Expression) extends Expression
case class EApply(e1 : Expression, e2 : Expression)…

--

--

--

MSc Computer Science, working with functional programming in the industry — github.com/ahnfelt

Love podcasts or audiobooks? Learn on the go with our new app.

Recommended from Medium

Everything we are doing wrong with AWS Lambda.

Conquer The Command Line: The open Command

.bash_profile (and how to customize your terminal)

We are listed on COINGECKO!

How to Use Searching by Source Code Productively

Java 8 — Method Reference | Code Factory

How To Get Class Name In Python — pythonpip.com

Saving data from a slow API to a Pickle File

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Joakim Ahnfelt-Rønne

Joakim Ahnfelt-Rønne

MSc Computer Science, working with functional programming in the industry — github.com/ahnfelt

More from Medium

[Solved] ‘Error: There are no scenarios; must have at least one’ Yarn Error

Hibernate criteria with subquery — using MAX projection and subqueries

L&D series: Pre-commit & Pre-push

How to run ESLint using a pre-commit hook | by Rahul Shetty | Level Up  Coding

把 SQLite DB 變成 App 專用資料格式