1 रिपॉजिटरी
Compilers that implement semantics and type systems based on Haskell, such as non-strictness and rank polymorphism.
Distinct from Haskell Compilation: Focuses on the architectural inspiration of the compiler rather than the Haskell language itself
Explore 1 awesome GitHub repository matching programming languages & runtimes · Haskell-Inspired Compilers. Refine with filters or upvote what's useful.
Frege 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
Implements non-strict evaluation, rank polymorphism, and type classes while targeting a virtual machine.