4 ms·
I would love to see an implementation of `ls`, `grep`, and `pwd`, with said pipes, in such a typed system of tools. `grep` is likely the most complex b/c it mus
by JamesLeonis 10y ago
I would love to see an implementation of `ls`, `grep`, and `pwd`, with said pipes, in such a typed system of tools. `grep` is likely the most complex b/c it must do string comparison and I'm unsure how you would do this with types. I'm looking forward to seeing how such a system could be built.
- lmm 10y agoHopefully you'd replace grep with using the actual structure of what you're looking for. I mean there are type-safe pipeline libraries (I use fs2 a fair bit), it's just a question of modelling the things you want from a filesystem (or similar structure). If you're giving up unix compatibility then there's not so much value gained from having the unix filesystem model. So a better point of comparison is to take a business problem that you would solve with grep/ls/what-have-you, and solve it with fs2/conduit/... instead.