Awk in Haskell
github.com
github.com
It parses a sed script into an AST, then interprets that AST. sed is simple enough that such an interpretor is easy to write. e.g. each input line is only processed once, and in order
Maybe one of the more interesting parts is the testing of the parser using specification-based testing. First, define how to generate an arbitrary sed script (in its AST form). Haskell's QuickCheck will then generate 100 random sed scripts, and check that upon being pretty printed (to a sed script in its usual textual form), and then parsed, produces the original AST.
Specification-based testing is a nice complement to unit-based testing, that I'm beginning to rely more on, to avoid the tedium of writing so many unit tests.
The parser does not yet support nested sed expressions that contain more than one subexpression. The qualifier "suchThat (\xs -> length xs == 1)" at https://github.com/tomfitzhenry/hs-sed/blob/master/tests/Pre... documents this, and as a side-effect serves as a todo list [which I have since ignored for months :)].
In particular, the changes in Execute.hs are where using a monad made this code more clear.
If you're new to the usefulness of monads, I don't suggest you read this code, however, and that instead you read:
1. "You Could Have Invented Monads!" http://blog.sigfpe.com/2006/08/you-could-have-invented-monad...
2. "Monad Transformers Step by Step" http://www.cs.virginia.edu/~wh5a/personal/Transformers.pdf
I thought it was going to be an implementation of AWK written in Haskell, but it's actually an AWK-like text-processing tool that uses Haskell as the language.
Not sure whether that's better or worse than traditional AWK. Haskell's certainly a well-respected language, but I found the examples in the README kind of confusing. I don't know much about Haskell in detail, so maybe that's just me, but it does suggest that this lacks some of AWK's readability for the uninitiated....
for interact:
#!/bin/bash ghc -e "interact ($1)"
line processing:
#!/bin/bash ghc -e "interact (unlines . map ($1) . lines)"