polaris

所属分类:编译器/解释器
开发工具:OCaml
文件大小:0KB
下载次数:0
上传日期:2023-08-26 18:38:15
上 传 者sh-1993
说明:  一种具有shell脚本功能的函数式编程语言,
(A functional programming language with shell scripting capabilities,)

文件列表:
.ocamlformat (96, 2023-12-02)
bin/ (0, 2023-12-02)
bin/dune (217, 2023-12-02)
bin/main.ml (8276, 2023-12-02)
dune-project (589, 2023-12-02)
lib/ (0, 2023-12-02)
lib/async.pls (433, 2023-12-02)
lib/list.pls (4149, 2023-12-02)
lib/random.pls (527, 2023-12-02)
polaris.opam (792, 2023-12-02)
polarislsp/ (0, 2023-12-02)
polarislsp/diagnostic.ml (1128, 2023-12-02)
polarislsp/diagnostic.mli (217, 2023-12-02)
polarislsp/driver.ml (948, 2023-12-02)
polarislsp/driver.mli (96, 2023-12-02)
polarislsp/dune (240, 2023-12-02)
polarislsp/jsonrpc.ml (5614, 2023-12-02)
polarislsp/jsonrpc.mli (374, 2023-12-02)
polarislsp/jsonutil.ml (3843, 2023-12-02)
polarislsp/jsonutil.mli (960, 2023-12-02)
polarislsp/lsp.ml (2709, 2023-12-02)
polarislsp/main.ml (5776, 2023-12-02)
polarislsp/model.ml (3800, 2023-12-02)
polarislsp/model.mli (692, 2023-12-02)
polarislsp/trace.ml (774, 2023-12-02)
polarislsp/trace.mli (257, 2023-12-02)
src/ (0, 2023-12-02)
src/argparse.ml (3246, 2023-12-02)
src/classes.ml (2160, 2023-12-02)
src/config.ml (434, 2023-12-02)
src/config.mli (224, 2023-12-02)
src/difflist.ml (556, 2023-12-02)
src/difflist.mli (816, 2023-12-02)
src/disambiguate.ml (3537, 2023-12-02)
src/disambiguate.mli (323, 2023-12-02)
src/driver.ml (5189, 2023-12-02)
src/driver.mli (878, 2023-12-02)
src/dune (299, 2023-12-02)
... ...

# Polaris Polaris is a statically typed, fully inferred programming language with first class access to shell scripting capabilities. ## Installation Install [opam](https://opam.ocaml.org/doc/Install.html) and run ```opam init``` Then run ```bash git clone https://github.com/Innf107/polaris cd polaris opam pin add eio_main --dev-repo opam install . ``` And you're done! To check your installation, run ``` polaris --help ``` If you have any trouble building polaris, feel free to open an issue. ## Documentation Polaris is still very unstable at the moment. There will be proper documentation once the type system is stable enough. If you have any concrete questions, you can open an issue, but please don't expect to be able to use Polaris for now.

近期下载者

相关文件


收藏者