A strict, purely functional, statically typed language with emphasis on structural typing. Wip in progress.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Gil Mizrahi 296a4a0fa5 update to stackage lts 17 1 month ago
repl Init 3 months ago
src Annotate top level names with types 1 month ago
test Annotate top level names with types 1 month ago
.dir-locals.el Fix inference issue and add var rename rewrite 2 months ago
.gitignore adding some tests, mainly saving changes from fried old computer 2 months ago
.gitlab-ci.yml documents 3 months ago
LICENSE Init 3 months ago
Makefile WIP Syntax and parser work, literals, App, Fun and indentation 1 month ago
README.org File parsing, still needs "using" tests and more module tests 1 month ago
expectations.org documents 3 months ago
giml.cabal Operators and qualified names 1 month ago
goals.org documents 3 months ago
overview.org newtype parser 1 month ago
stack.yaml update to stackage lts 17 1 month ago
stack.yaml.lock update to stackage lts 17 1 month ago
todo.org Minimal type inference 3 months ago

README.org

GiML ג

> Status: WIP in progress.

A strict, statically typed, functional programming language with emphasis on structural typing for practical usage.

We want code to be straightforward and predictable, easy to read and refactor, minimize the amount of features one need to be aware of to write effectively, and maximize the usefulness/complexity ratio.