Awesome Open Source

Programming Languages

Search results for polymorphism type inference

type-inference x

8 search results found

Type Systems ⭐ 1,300

Implementations of various type systems in OCaml.

Infernu ⭐ 318

Type inference and checking for a safer JavaScript.

Write You An Inference In Fsharp ⭐ 120

Different type inference algorithms implemented in F#

Vanilla Lang ⭐ 73

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

Polytype Rs ⭐ 40

A Hindley-Milner polymorphic typing system

A simple, purely-functional programming language

Evaltrees ⭐ 10

A simple term-rewriting interpreter that displays intermediate expressions.

Rk2015orescript ⭐ 9

Tiny language with HM type inference

The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax

1-8 of 8 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.