Is clojure.spec's use of "regular expression" idiosyncratic, or is there some prior use for something other than text matching?
-
-
Replying to @duelinmarkers
Definitely prior use for matching more abstract "things", but I've only seen things from a finite set, not predicates
3 replies 0 retweets 0 likes -
Replying to @gfredericks_
What about for the expressions not being their own self-contained language? /cc
@gfredericks_1 reply 0 retweets 0 likes -
Replying to @duelinmarkers
Are you referring to the fact that it's just a pile of clojure functions/macros? That's certainly been done before
1 reply 0 retweets 0 likes -
Replying to @gfredericks_
the only regex composition I've found has been string concatenation. (In over 3 minutes of searching!)
2 replies 0 retweets 0 likes -
Replying to @duelinmarkers
this stuff I wrote five years ago smells similar https://github.com/gfredericks/ranguages/blob/master/src/ranguages/core.clj …
2 replies 0 retweets 1 like -
Replying to @gfredericks_ @duelinmarkers
I'll be surprised if
@webyrd hasn't done something similar with minikanren1 reply 0 retweets 0 likes -
Replying to @gfredericks_ @duelinmarkers
Are you familiar with Parsing with Derivatives? http://matt.might.net/articles/parsing-with-derivatives/ … Based on Brzozowski's regex derivative
1 reply 1 retweet 4 likes -
Replying to @webyrd @duelinmarkers
I remember first learning about regex derivatives and it was probably the best thing I heard that whole month
1 reply 0 retweets 0 likes -
I find the VM approach much easier, even though derivatives are interesting. Been wondering rationale..
2 replies 0 retweets 0 likes
derivative pushes all branches in parallel, thus can give 'all failures' w/o (back)tracking
-
-
Replying to @richhickey @eraserhd and
VMs also parse all branches in lockstep, cf
@cgrand's seqex. Linear lookahead too1 reply 0 retweets 2 likes -
Replying to @CursiveIDE
.
@CursiveIDE@richhickey@gfredericks_@webyrd@duelinmarkers@cgrand yup. Mine does. This makes it significantly simpler, surprisingly.1 reply 0 retweets 0 likes - 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.