ipso
ipso copied to clipboard
LightAndLight
A functional scripting language.
Example job: https://github.com/LightAndLight/ipso/actions/runs/3505790488/jobs/5872341175 (click the settings icon and enable timestamps). Total duration: 4.5 minutes. Compiling Rust dependencies for `cargo test` takes ~30 seconds for definitely-non-ipso-packages ([start](https://github.com/LightAndLight/ipso/actions/runs/3505790488/jobs/5872341175#step:15:128), [end](https://github.com/LightAndLight/ipso/actions/runs/3505790488/jobs/5872341175#step:15:186)), and ~60 seconds...
When calling `file.read` on a missing file, I get: ``` thread 'main' panicked at 'No such file or directory (os error 2)', src/lib.rs:1717:80 note: run with `RUST_BACKTRACE=1` environment variable to...
This program: ``` f : (| A : a, r |) -> a f x = case x of A a -> a main : IO () main = io.pure...
https://vermaden.wordpress.com/2021/09/13/ghost-in-the-shell-part-6-learn-shell-scripting/ An introduction to shell scripting. `lsmod` may be more widely available than `kldstat`. ipso should be able to replicate this. A sketch: ## 0.1 ``` #! /usr/bin/env -S ipso...
Example job: https://github.com/LightAndLight/ipso/actions/runs/3505790488/jobs/5872341175 (click the settings icon and show timestamps) ([start](https://github.com/LightAndLight/ipso/actions/runs/3505790488/jobs/5872341175#step:15:11), [end](https://github.com/LightAndLight/ipso/actions/runs/3505790488/jobs/5872341175#step:15:60)). Total duration: 4.5 minutes. Downloading the dependencies for `nix develop .#tests` takes ~40 seconds. That's ~15% of the...
Example job: https://github.com/LightAndLight/ipso/actions/runs/3505790488/jobs/5872341175. Total duration: 4.5 minutes. `nix profile install nixpkgs#pueue` and `nix profile install github:LightAndLight/ipso` together take ~35 seconds. That's ~10% of the total job duration.
Currently I can read a command's output using `cmd.read`, but I can't run a command with a specified input.
I use Cloudflare R2 storage for my Nix cache, and buckets now have a public access mode: https://developers.cloudflare.com/r2/data-access/public-buckets/. ## Tasks * [ ] Set up public R2 access with custom...
The instruction count / heap usage of my usual benchmark (`./scripts/{callgrind,dhat} examples/todolist.ipso < ipso-cli/benches/todolist_1_input.txt`) crept up a little bit in #263. I suspect it's from the extra types I create...