pikelet - GitLite

KO | EN

gitlite — search

#javascript #python #hacktoberfest #ai #typescript #go #android #machine-learning #java #windows #cli #vue #security #open-source

pikelet

(★ 621)

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

파일 탐색기

최종 버전 다운로드 (.zip)

- - ci.yml
- extensions.json
- - pikelet.png
- - development.md
  - guide.md
  - index.md
  - reference.md
  - specification.md
  - SUMMARY.md
- .gitignore
- book.toml
- index.js
- package.json
- README.md
- hello-world.pi
- meta.pi
- prelude.pi
- README.md
- record-mesh.pi
- window-settings.pi
- - lang.rs
  - lib.rs
  - literal.rs
  - pass.rs
  - reporting.rs
- build.rs
- Cargo.toml
- README.md
- - check.rs
  - lib.rs
  - main.rs
  - repl.rs
- - source_tests.rs
- Cargo.toml
- README.md
- - lib.rs
- Cargo.toml
- README.md
- - lib.rs
- Cargo.toml
- README.md
- - lib.rs
- Cargo.toml
- comments.pi
- functions.pi
- literals.pi
- record-term-deps.pi
- record-type-deps.pi
.editorconfig
.gitignore
Cargo.toml
CODE_OF_CONDUCT.md
CONTRIBUTING.md
LICENSE
package.json
README.md
yarn.lock

# 설치 가이드

1. 코드 내려받기

git clone https://github.com/pikelet-lang/pikelet

깃허브에서 프로젝트 코드 전체를 내 컴퓨터로 내려받습니다.

cd pikelet

방금 내려받은 프로젝트 폴더 안으로 이동합니다.

2. Node.js

쉬움 추천

사전 준비물

Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
Node.js npm 명령어를 쓰려면 Node.js가 설치되어 있어야 합니다. LTS(장기지원) 버전을 추천합니다.

cd book

이 프로젝트의 관련 파일이 하위 폴더 안에 있어서, 먼저 그 폴더로 이동합니다.

npm install

package.json에 명시된 라이브러리들을 내려받아 설치합니다.

npm start

개발/실행 서버를 켭니다.

✅ 명령어 실행 후 터미널에 나타나는 주소(보통 http://localhost:3000 형태)를 브라우저에서 열어보세요.

3. Rust

보통

사전 준비물

Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
Rust (rustup) rustup으로 설치하면 cargo도 함께 설치됩니다.

cargo build --release

Rust 프로젝트를 컴파일합니다.

cargo run

빌드 후 바로 실행까지 진행합니다.

✅ cargo build가 에러 없이 끝나면 성공입니다. target/ 폴더에 실행 파일이 생성됩니다.

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Pikelet!

![Pikelet Mascot][pikelet-mascot]

[pikelet-mascot]: ./book/assets/pikelet.png

[![Actions Status][actions-badge]][actions-url]
[![Matrix][matrix-badge]][matrix-lobby]
[![License][license-badge]][license-url]

[actions-badge]: https://github.com/pikelet-lang/pikelet/workflows/ci/badge.svg
[actions-url]: https://github.com/pikelet-lang/pikelet/actions
[matrix-badge]: https://img.shields.io/matrix/pikelet:matrix.org?label=%23pikelet%3Amatrix.org
[matrix-lobby]: https://app.element.io/#/room/#pikelet:matrix.org
[license-badge]: https://img.shields.io/github/license/pikelet-lang/pikelet
[license-url]: ./LICENSE

Pikelet is a small, functional, dependently typed programming language.

Dependent types allow us to do a bunch of really interesting things, like using
records for modules, declaring the length of arrays at the type level, and
much more — many of great utility for low-level and high-level code alike!

We hope to one day grow Pikelet into fully-fledged systems programming language,
with support for unboxed data types, control over memory layout and allocation
strategy, linear types, and a flexible phase distinction and support for calling
other languages. At the moment however we've only implemented a type checker and
very slow  interpreter, so don't get your hopes up too much yet! There's still a
whole lot to do before it is even remotely useful to anyone! 😅

## Roadmap

Check out our plans in [the roadmap](./book/src/development/roadmap.md).

## Code of Conduct

Please note that this project is released with a [Code of Conduct](./CODE_OF_CONDUCT.md).
By participating in this project you agree to abide by its terms.