René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Easier piping of string to stdin?","articleBody":"IIUC, the way to write something to a process's stdin is `Process.(echo \"foobar\" |. proc \"sha256sum\" [] |\u003e collect stdout)`. The `echo` will create a process invoking the `echo` binary -- this seems a bit wasteful. Is there some way of writing a string directly to the standard input of a process? Something like `(\u003c\u003c\u003c) : proc -\u003e string -\u003e proc`, analogous to the bash [here-strings](https://www.gnu.org/software/bash/manual/bash.html#Here-Strings) ? Such that the above could be written `Process.(proc \"sha256sum\" [] \u003c\u003c\u003c \"foobar\" |\u003e collect stdout_.","author":{"url":"https://github.com/arvidj","@type":"Person","name":"arvidj"},"datePublished":"2025-06-23T15:00:23.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":1},"url":"https://github.com/33/feather/issues/33"}