Kind1
Kind1 copied to clipboard
HigherOrderCO
A next-gen functional language
In order to check empty types faster.
Currently the coverage checker does not check indices
We are lacking some way to convert a function name to a kindelia name, and a way to type check the return of the called function. The first behaviour could...
Would make resulting kdl code more readable and closer to the original kind source
The kind to kdl compiler currently generates code that sometimes contains `let`s that are never used, with an unbound variable, `let`s binding a variable to another (useless indirection) and `dup`s...
- branch experimental into kind-driver crate - api to create commands for repl - control c twice to leave or control d - auto complete on tab - a banner...
If I try to check this: ``` Flat_map (f : x -> List y) (l : List x) : List y Flat_map f List.nil = List.nil Flat_map f (List.cons x...
Currently, function inlining only occurs in some very restricted cases 1. When a function has no arguments, it can always be inlined. 2. When a function has arguments, but it...
The following code does not typecheck in kind2 0.2.79, and the current master branch neither. ``` Wrapper : Type Wrapper.new (v: a): Wrapper a MyFn (w: Wrapper (Wrapper U60)): U60...
