Stack Overflow
Stack Overflow

Questions tagged [redex]

17 questions
4
votes
1 answer

Reduction-relation's in-hole may match a hole many different ways

I have a language defined with PLT-Redex that has (dynamic) mixin types. Expressions look like the following: ; terms / expressions (e ::= x (lkp e f) (call e m e ...) (new C e ... ⊕ (e R e ...) ...) (bind x ... with (e R e ...)…
lschuetze
  • 1,218
  • 10
  • 25
3
votes
1 answer

Why do I need evaluation contexts in Redex?

It's perfectly possible to write the evaluation rules for my language without using evaluation contexts. My semantics are entirely call by value and do not permit the term to be stepped forwards inside of lambdas. Despite this, all the resources…
superlizardmo
  • 333
  • 1
  • 11
3
votes
2 answers

Please install double-conversion library when building redex

I am trying to build redex - unfortunately it fails with: checking for ceil in -ldouble-conversion... no configure: error: Please install double-conversion library But I installed this library: ➜ double-conversion git:(master) ✗ sudo scons install…
ligi
  • 39,001
  • 44
  • 144
  • 244
2
votes
1 answer

What are the redexes in this Haskell expression?

I am learning Haskell for a university course and i have a question about reducible expressions (redexes). I understand the concept yet I still have some questions that I can't seem to figure out on my own. Lets say you would want to find all the…
bigbusiness
  • 21
  • 2
2
votes
1 answer

Extending a reduction relation

While taking a look at PLT redex, I wanted to play with simplification rules; so I defined this minimal language for booleans: (define-language B0 (b T F (not b))) I wanted to simplify a chain of (not (not ...)) so I extended the language to…
jsaludes
  • 412
  • 1
  • 3
  • 8
1
vote
2 answers

Web Scraping Wikipedia

I need bring only the continent (North America) using Wikipedia by URL (in the code below, I will replace the country, in this case, "Guatemala", and make it be a parameter in power BI), but I am getting the whole
Kristen
  • 11
  • 2
1
vote
1 answer

Understanding lambda substitution in Redex

Let us say I have the following defined in Redex: (define-language L [e ::= (λ x e) (e e) x] [x ::= variable-not-otherwise-mentioned] #:binding-forms (λ x e #:refers-to x)) Now, I would think that the expression (λ y x) x…
nj2237
  • 1,220
  • 3
  • 21
  • 25
1
vote
1 answer

How to create a dictionary mapping on custom dictionary in Racket?

I have defined dictionary as this judgment in BNF grammar: d ::= () (any boolean) (list cons d d) Meaning, dictionaries are empty, or (any boolean) or a list of such pairs. If I want to create a mapping, say "a true", how do I do it? If I…
nj2237
  • 1,220
  • 3
  • 21
  • 25
1
vote
2 answers

Is my understanding of a reducible expression i.e. redex correct?

Programming in Haskell by Hutton says: An expression that has the form of a function applied to one or more arguments that can be ‘reduced’ by performing the application is called a reducible expression, or redex for short. Is a reducible…
Tim
  • 1
  • 141
  • 372
  • 590
0
votes
0 answers

use navigate not wroking

ANANDAN S S
  • 1
  • 1
0
votes
0 answers

Match text from two different lines using Regex

Hei. I have an accounting system called Adra Matcher and I want to use it to match two different lines containing some of the same text in both lines. An example of the text is "INV 7895852", but the numbers will always be different from pair to…
Maren
  • 1
  • 1
0
votes
1 answer

Exclude a word from Regex using PHP and YITH Bulk Editing

I'm New to PHP and Regex, I'm trying to exclude a word from the search using Yith Bulk Editing Woocommerce and WordPress. Now I paid for the plugin but the support is very slow and not helpful at all. When I use the regular expression to look for…
Classic Cars
  • 25
  • 7
0
votes
1 answer

Bizarre Contract Violation in Judgment

I have a judgement with the following contract: (define-judgment-form DynamicLam #:mode (down I I O O) #:contract (down Γ e Γ e) [----------------"Lambda" (down Γ_0 z_0 Γ_0 z_0)] ;; rest of the code ... ) When I run this: (define…
Max von Hippel
  • 2,856
  • 3
  • 29
  • 46
0
votes
2 answers

How to setup Facebook Redex in order to optimize Android Bytecodes?

There is a very good instruction in Redex page at http://fbredex.com/. I follow the instruction but I have problem in two steps. 1.I have no problem with run of first command (my OS is Ubuntu) sudo apt-get install \ g++ \ automake \ …
Hesam
  • 52,260
  • 74
  • 224
  • 365
0
votes
2 answers

Compiling Facebook Redex on OSX Yosemite

So I installed redex on Ubuntu last night and everything went smoothly. I'm having trouble today setting it up on my Mac. There are 3 errors I'm getting at this autoreconf -ivf && ./configure && make && make install step. Please install…
Shmuel
  • 3,916
  • 2
  • 27
  • 45
1
2