Project Page

Still heavily WIP. Inference rules are especially WIP, currently missing any lambda functionality, and there are likely bugs in other parts of the inference solver.

Jype

Jype is a library providing a set of classes fully representing Java's type system, including its primitives, generics, inference, and more. It is capable of generating signatures for these types, as well as testing assignability between types.

Components

• Jype Main - Main type system API
• Jype Stub - Utility for writing type system components and tests in YAML

Building

Jype may be built using jitpack:

repositories {
    maven {url 'https://jitpack.io'}    
}

dependencies {
    implementation 'com.github.HoneyRoasted.Jype:jype-main:Version'
}

Additionally, Jype is continuously built with GitHub actions. You may also download the repository and build from source using Gradle.