1 Repo
Awesome GitHub RepositoriesType Error Diagnostics
Detailed diagnostic output provided by the type checker to help resolve type mismatches.
Distinct from Variance Error Diagnostics: None of the candidates cover general compiler type-checker diagnostics; they focus on DOM portals or variance errors.
Explore 1 awesome GitHub repository matching programming languages & runtimes · Type Error Diagnostics. Refine with filters or upvote what's useful.
Awesome Type Error Diagnostics GitHub Repositories
Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
- frege/frege
Frege/frege
3,700Auf GitHub ansehenFrege is a purely functional programming language that compiles to JVM bytecode, providing Haskell-like semantics for the Java platform. It is built around a Haskell-inspired compiler that implements non-strict evaluation and a static type inference system to ensure data immutability and prevent side effects. The project distinguishes itself through a sophisticated type system featuring rank polymorphism, type-class based dispatch, and static purity enforcement. It includes a JVM language bridge and a foreign function interface that map Java classes and interfaces into functional types, allow
Produces detailed diagnostic output from the type checker for specific line ranges to resolve mismatches.
Frege
