#

structural-types

Here are 2 public repositories matching this topic...

polytypic / f-omega-mu

Fωμ type checker and compiler

wip type-system hobby-project higher-kinded-types equirecursive-types structural-types impredicative-types

Updated Jan 28, 2023
OCaml

owaismohsin001 / CzariScript

A functional/OO programming language with global subtype inference

inheritance type-inference prototypes subtype structural-types subtype-inference

Updated Apr 7, 2022
TypeScript

Improve this page

Add a description, image, and links to the structural-types topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the structural-types topic, visit your repo's landing page and select "manage topics."