bijan: Check out MONA: Monadic Second-Order Logic in Practice.
bijan: And be sure to read the YakYak paper. "...YakYak, which extends Yacc with first-order logic for specifying constraints that are regular tree languages."
bijan: "Concise formulas about the parse tree replace explicit programming, and they are turned into canonical attribute grammars through tree automata calculations." It's slick!
bijan: And be sure to read the YakYak paper. "...YakYak, which extends Yacc with first-order logic for specifying constraints that are regular tree languages."
bijan: "Concise formulas about the parse tree replace explicit programming, and they are turned into canonical attribute grammars through tree automata calculations." It's slick!
DanC: dc:date "Tue, 13 Jun 2000 15:43:51 GMT".
DanC: I keep hearing about monads all over the place. I don't quite grok yet.
bijan: Monads are cool, but not well explicated (...that is, well enough for my little brain to use them).
DanC: says """This section is perhaps less "gentle" than the others.""". No joke... """When the pattern in this second form of do is refutable,""". Refutable? wtf?
bijan: What I recall from my last bout with monads: Brush up on your abstract algebra. Monads are for IO but not only for IO and the IO focus is both a help and a hinderance. Monads are for sequencing but not only for sequencing, yadda yadda yadda.
bijan: And most of all...that I'd rather be reading Leibniz's Monadology :)
DanC: I keep hearing about monads all over the place. I don't quite grok yet.
bijan: Monads are cool, but not well explicated (...that is, well enough for my little brain to use them).
DanC: says """This section is perhaps less "gentle" than the others.""". No joke... """When the pattern in this second form of do is refutable,""". Refutable? wtf?
bijan: What I recall from my last bout with monads: Brush up on your abstract algebra. Monads are for IO but not only for IO and the IO focus is both a help and a hinderance. Monads are for sequencing but not only for sequencing, yadda yadda yadda.
bijan: And most of all...that I'd rather be reading Leibniz's Monadology :)