文件列表:

LICENSE (1061, 2023-02-14)
Setup.hs (46, 2023-02-14)
app (0, 2023-02-14)
app\Main.hs (4698, 2023-02-14)
capri.cabal (2515, 2023-02-14)
examples (0, 2023-02-14)
examples\mandelbrot (0, 2023-02-14)
examples\mandelbrot\main.capri (2213, 2023-02-14)
examples\polymorphism (0, 2023-02-14)
examples\polymorphism\main.capri (555, 2023-02-14)
examples\test (0, 2023-02-14)
examples\test\main.capri (307, 2023-02-14)
package.yaml (1338, 2023-02-14)
runtime (0, 2023-02-14)
runtime\entry.c (157, 2023-02-14)
runtime\temp.c (1547, 2023-02-14)
src (0, 2023-02-14)
src\Analyzer (0, 2023-02-14)
src\Analyzer\AnalyzerError.hs (1075, 2023-02-14)
src\Analyzer\DependencyCheck.hs (2189, 2023-02-14)
src\Analyzer\Resolver.hs (14655, 2023-02-14)
src\Analyzer\Substitution.hs (1394, 2023-02-14)
src\Analyzer\Typecheck.hs (16470, 2023-02-14)
src\Analyzer\Unify.hs (3187, 2023-02-14)
src\Codegen.hs (17285, 2023-02-14)
src\Lexer.hs (3151, 2023-02-14)
src\Monomorphize.hs (8788, 2023-02-14)
src\Name.hs (443, 2023-02-14)
src\OperatorDef.hs (265, 2023-02-14)
src\Parser.hs (12145, 2023-02-14)
src\Syntax.hs (3504, 2023-02-14)
src\SyntaxInfo.hs (262, 2023-02-14)
src\Type.hs (2168, 2023-02-14)
stack.yaml (2326, 2023-02-14)
... ...

# Capri Capri is a statically typed, general purpose programming language with an emphasis on functional programming and simplicity. It takes inspiration from other languages such as Rust or Haskell.   The compiler currently targets only LLVM (previously it generated C). Everything in the language is subject to change. Major planned features such as ad-hoc polymorphism are also currently missing. Here is a list of so far implemented features: - Type inference with an extended Hindley-Milner type system - Extensible records and enums (algebraic data types) - Isorecursive types - Parametric polymorphism - Module system (which will allow some sort of dynamic linking) - User-defined prefix, infix, and postfix operators with arbitrary precedences - Pattern matching (exhaustiveness checking is planned) - A small standard library Planned features: - Ad-hoc polymorphism (most likely via typeclasses) - Optional [garbage collector](https://en.wikipedia.org/wiki/Boehm_garbage_collector) - Lambdas/closures - Exhaustiveness checking for pattern matching Examples can be found [here](https://github.com/05st/capri/tree/master/examples). ## Documentation, Installation/Usage Instructions Language documentation and instructions can be found on the [docs](https://05st.github.io/capri-website/). --- Go [here](https://github.com/05st/capri-website) if you're looking for the Capri website repository.

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：