Cool! Will definitely check it out. Is this at all related to Vincent's work? [1]
[1]: https://github.com/stamourv/rash On Sat, Aug 20, 2016 at 3:17 PM, William G Hatch <will...@hatch.uno> wrote: > Hello everyone, > > Being obsessed with shells and wanting very badly to have a racket > shell, I've spent a good chunk of time over the last couple of weeks > working on shell-related stuff for Racket. First is a library for shell > pipelines (that may also contain racket functions). The interface is > roughly like this (assuming `my-grep` is a racket function that > implements grep): > > (run-pipeline '(ls -l) (list my-grep "foobar") '(wc -l)) > > The docs for that library are here [1]. > > Additionally, I've got a rough sketch of a line-based syntax for writing > shell > scripts or using a shell repl with embedded racket code. Right now its > syntax > looks like this: > > #lang rash > ls -l | @my-grep "foobar" | wc -l > ;; A line is not wrapped in a pipeline if it starts with & > ;; You can get back into #lang rash syntax with @rash{} or @rash/out{} > &@(define ttys @rash/out{ls /dev | grep tty}) > > I want to change the line syntax a lot (especially to not need &), but I > decided to put it up (with some very rough documentation) here [2] to > get some feedback on what people think of it. > > I'm really interested in people's thoughts about both parts and ways people > think they could be improved. > > Thanks, > > William Hatch > > [1] http://docs.racket-lang.org/shell-pipeline/index.html > [2] http://docs.racket-lang.org/rash/index.html > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
