Re: [racket-users] Interpolating Polynomial in Newton Form

> On Nov 6, 2015, at 9:07 PM, dyrueta wrote: > > Hi All -- > > I'm hoping the answer to the question below will serve as an intro to macros, > a subject I've been interested in for awhile but haven't had time to look > into much. Here goes, fingers crossed: > > Given a list of constants (a0

[racket-users] Interpolating Polynomial in Newton Form

Hi All -- I'm hoping the answer to the question below will serve as an intro to macros, a subject I've been interested in for awhile but haven't had time to look into much. Here goes, fingers crossed: Given a list of constants (a0, a1… an) and a list of x-values (x0, x1,….xn), I want to desig

[racket-users] Redex pattern-matching up to alpha-equiv

I was under the impression that redex-match now matches up to alpha-equivalence. If so, then I would expect the result of this example from the docs to return #t, but it returns #f: ``` Furthermore, the notion of equality used by the pattern-matcher is alpha-equivalence, not naive equivalence. Fo

Re: [racket-users] More concise testing in PLT Redex? (new redex-chk pkg)

They do not currently --- all the tests are expanding into simple rackunit forms such as 'check-equal?', 'check-false', 'check-true', etc with redex's 'term' wrapped around the original syntax. However, you could mimic `default-equiv` by defining a redex metafunction/relation/judgment that capture