https://github.com/pragmatwice/ichigo-lang

write a little simply typed functional language to practice Rust
https://github.com/pragmatwice/ichigo-lang

darling-in-the-frankxx functional-lang rust stlc type-checker

Last synced: about 2 months ago
JSON representation

write a little simply typed functional language to practice Rust

• Host: GitHub
• URL: https://github.com/pragmatwice/ichigo-lang
• Owner: PragmaTwice
• License: apache-2.0
• Created: 2019-04-29T09:49:47.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2023-07-22T04:22:46.000Z (over 1 year ago)
• Last Synced: 2024-11-08T09:03:10.775Z (about 2 months ago)
• Topics: darling-in-the-frankxx, functional-lang, rust, stlc, type-checker
• Language: Rust
• Homepage:
• Size: 523 KB
• Stars: 15
• Watchers: 3
• Forks: 0
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

        
# Ichigo Lang

![ichigo-logo](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 . ∅

}

```