ichigo-lang

KO | EN

gitlite — search

#javascript #python #hacktoberfest #react #ai #typescript #llm #go #golang #android #machine-learning #rust #deep-learning #linux

★ 15 Open GitHub ↗

write a little simply typed functional language to practice Rust

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Ichigo Lang

![ichigo-logo](https://raw.githubusercontent.com/PragmaTwice/ichigo-lang/master/doc/logo.png)

*to commemorate those fucking times*

[![Build Status](https://travis-ci.com/PragmaTwice/ichigo-lang.svg?branch=master)](https://travis-ci.com/PragmaTwice/ichigo-lang)
[![Project Status: WIP – Initial development is in progress, but there has not yet been a stable, usable release suitable for the public.](https://www.repostatus.org/badges/latest/wip.svg)](https://www.repostatus.org/#wip)
[![License](https://img.shields.io/badge/License-Apache%202.0-blue.svg)](https://opensource.org/licenses/Apache-2.0)

## Intro

- It's trivial, just a toy, used to familiarize with Rust
- **NO DEPENDENT TYPE**

## Quick Start
```sh
cargo run -- -i example/hello.ichigo
```

## TODO List
- core task
    - [x] parser
    - [x] type checker
    - [x] type inference
    - [ ] evaluator
- peripheral task
    - [x] REPL
    - [x] pretty printer

## Language Feature
- Algebraic data type
- Lambda calculus
- Pattern matching
- Unicode symbol

## Quick View

```ichigo
ℕ = σ {
    0    : ℕ
    1+   : ℕ → ℕ
}

+ = λ x : ℕ . λ { 
    1+ y . 1+ (+ x y)
    0    . x
}

ℕ𝓁 = σ {
    ∅  : ℕ𝓁
    ++ : ℕ → ℕ𝓁 → ℕ𝓁
}

take = λ {
    1+ n . λ {
            ∅       . ∅
            ++ x xs . ++ x (take n xs)
    }
    0    . λ x . ∅
}

```

ichigo-lang

Explore Similar Repositories

Was this content helpful?

Recent Feedback

Download README