[Art competition] Type inference

[iv-y]

Name

Yunghee Lee

Tool You Used

Bing Image Generator

Short Description

For me, [type inference] means [a conveyor belt with jigsaw puzzle pieces on it, with a mold and a robot arm forging a piece at the end of the belt]".

Long Description (up to 3 sentences)

Type inference is done by the unification algorithm, where new type variables are created by the collection process. The manufactured puzzle pieces stands for the introduced type variables. The puzzle will then be solved to find a correct position in which the shapes of the pieces match (satisfy the type equation) with the neighbors.