Here are
98 public repositories
matching this topic...
Awesome autocompletion, static analysis and refactoring library for python
Updated
Aug 30, 2020
Python
A static analysis tool for finding errors in PHP applications
Updated
Oct 20, 2019
Haskell
A static, type inferred and embeddable language written in Rust.
Updated
Aug 30, 2020
Rust
Extensions giving Swift's Codable API type inference super powers 🦸♂️ 🦹♀️
Updated
Jul 1, 2020
Swift
PySonar2: an advanced semantic indexer for Python
Updated
Aug 14, 2020
Java
Updated
May 15, 2020
Swift
C compiler frontend enabled with Haskel/ML-style type inference
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
Updated
Jun 21, 2020
Scala
an advanced semantic indexer for Ruby
Code from the book "Types and Programming Languages" in Scala
Updated
Apr 15, 2020
Scala
Tea is a humanized programming language. Code less, Express more.
A minimalist type-inferred programming language with procedural macro support
Updated
Aug 30, 2020
Racket
🎨 A complete Pattern Matching library for TypeScript, with smart type inference.
Updated
Aug 29, 2020
TypeScript
The Ntha Programming Language
Updated
Nov 17, 2016
Haskell
The IntercalScript programming language
Updated
Aug 30, 2020
Brainfuck
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Updated
Jun 22, 2019
Rust
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.
Updated
Dec 10, 2018
OCaml
Swift type checking and semantic analysis for developer tools
Updated
Jul 3, 2020
Swift
A pure functional type-inferred language based on JavaScript
Updated
May 27, 2020
HTML
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Updated
Jun 27, 2020
Haskell
A simple ML-like programming language with subtyping and full type inference.
Updated
Aug 29, 2020
Rust
Template for Hindley-Milner based languages
Updated
May 16, 2016
Haskell
Updated
Sep 12, 2019
Python
Probabilistic Type Inference using Graph Neural Networks
Updated
Aug 24, 2020
TypeScript
Runtime Extended Inference for json data.
Updated
Aug 1, 2020
Reason
Simple and powerful programming language with type inference
A Hindley-Milner polymorphic typing system
Updated
Dec 27, 2019
Rust
Improve this page
Add a description, image, and links to the
type-inference
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
type-inference
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
There's support for validating promise types, but I don't see a way to create async validators.
What I'm thinking of is something like this:
Where
idExistsAsyncis some function that asynchronously checks some backen