1 个仓库
Awesome GitHub RepositoriesHaskell-Inspired Compilers
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.
Awesome Haskell-Inspired Compilers GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- frege/frege
Frege/frege
3,700在 GitHub 上查看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.
Frege
