Awesome Open Source

Programming Languages

Search results for functional programming type inference

functional-programming x

type-inference x

13 search results found

Gluon ⭐ 3,022

A static, type inferred and embeddable language written in Rust.

Write You A Haskell ⭐ 2,744

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Haskell ⭐ 278

Potigol ⭐ 242

Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners

Mlscript ⭐ 124

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.

Typeinferencer ⭐ 33

Algorithm W and Algorithm M in F#

A simple, purely-functional programming language

Lambda Dti ⭐ 20

Interpreter of the ITGL with dynamic type inference

Simple and powerful programming language with type inference

Ts Pattern Matching ⭐ 18

Pattern matching in TS with Record Patterns, Type Patterns, type inference and more

Mlstruct ⭐ 11

Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"

typing haskell in haskell

my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice

The Lily programming language ⚜

Hindley Milner ⭐ 6

Kotlin Hindley-Milner type inference with Arrow

Related Searches

Javascript Functional Programming (2,473)

Java Functional Programming (850)

Typescript Functional Programming (775)

Scala Functional Programming (499)

Haskell Functional Programming (390)

Types Functional Programming (195)

Language Functional Programming (188)

1-13 of 13 search results

Privacy | About | Terms | Follow Us On Twitter

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