8000 GitHub - ikko-lang/ikko: Ikko language
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

ikko-lang/ikko

Folders and files

8B59
NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Ikko

Ikko is a programing language. See ikkolang.com for a bit more information, or the examples directory for some example code.

Building

This requires stack to be installed.

Run:

  • make to build
  • make test to run tests
  • make run to run an example
  • stack exec ikko -- examples/fib.ik to run a specific file

Example

See the examples/ directory for more examples.

fn identity<A>(a A) A:
    return a

fn main():
    print(identity("Hello generics\n"))

Features

  • Static typing with type inference.
  • No null value.
  • The type system has generics and tagged unions.
  • Garbage colection.
  • Pattern matching.

Not yet implemented:

  • Typeclasses (called traits in Rust).
  • Any kind of standard library.

About

Ikko language

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

0