Haskell - determine set of free and bounded variables of a function -


i have determine set of free , bounded variables of function s1 , s2:

s1 := \x -> if y \z -> (x \y -> y) else (\z -> w) x

so, s1 i'll write:

fv(s1):= fv (y) ∪ fv (x) ∪ fv (w)

am correct? or should be:

fv(s1):= fv (y) ∪ fv (x) ∪ fv (y) ∪ fv (w) ∪ fv (x)

since y , x 2 times free. once y in if , result of -> y , x: x free once in result of \z , second @ end.

the bounded variables be:

bv(s1):= bv (x) ∪ bv (z) ∪ bv (y) ∪ bv (z)

since z occurs twice bounded var.

in same way i'd determine fvs , bvs of s2:

s2 := let f x1  x2 = y1  (\x -> x2) in let y1 = f w (f y2  y2), y2 = y1  in f  fv(s2):= fv (y1) ∪ fv (x2) ∪ fv (w) ∪ fv (y1)  bv(s2):= bv (f) ∪ bv (x1) ∪ bv (x2) ∪ bv (x) ∪ bv (y1)

could please tell me whether i'm correct or wrong?

thanks in advance

general idea: bound vs free variables

a rule of thumb free , bound variables value of free variable affects value of expression.

for simple example, if defined identity x = x , separately said x = 6, wouldn't change fact identity 10 10; in identity x = x, variable x bound because stands whatever input there is. can write identity y = y without changing meaning of function.

conversely, if define gimmez x = z, z isn't bound. if separately z = 6 gimmez different if said z = putstrln "zed zed zed zed can tell i'm british?", or gimmez x = zz. in either case, function gimmez has changed - z wasn't bound.

can find-and-replace varname othervarname without changing meaning?

  • yes - varname bound.
  • no - varname appears free in expression.

let's @ actual examples

example 1

s1 := \x -> if y \z -> (x \y -> y) else (\z -> w)

you wrote fv(s1):= fv (y) ∪ fv (x) ∪ fv (w) or fv(s1):= fv (y) ∪ fv (x) ∪ fv (y) ∪ fv (w) ∪ fv (x)

let's @ variables in turn

  • the initial \x -> binds x scope of lambda - end of line. it's not free variable @ all.
  • y free after if, bound in invalid expression (x \y -> y). second occurrence in bracket has value of bound y, rather free one. obliteration of otherwise free variable called shadowing. y free in expression, because of first appearance.
  • z bound in final lambda expression.
  • w isn't bound anywhere - it's free.

summary: y , z free. x , z bound, y shadowed - occurs bound variable later in expression. fv(s1) = {y,z}, , bv(s1)={x,z,y}

notation

i disagree use of notation fv(s1):= fv (y) ∪ fv (w). suggests find free variables of s1 should @ free variables of y , w. disagree - y , z are free variables of s1. true if wanted free variables of module in s1 defined need add fv (y) ∪ fv (w), that's different question.

(the notation ∪ indicates set union. things either in or out of set, don't need add them multiple times.)

example 2

s2 := let f x1  x2 = y1  (\x -> x2) in let y1 = f w (f y2  y2), y2 = y1  in f

the let f x1 x2 = binds f, x1 , x2, if f feels different; introduce new variable shadow external definition same name, , find-and-replacing them in expression wouldn't change meaning, they're bound.

  • f, x1, x2 bound let.
  • y1 free first time appears - second let binding not in scope here.
  • x bound lambda
  • y1 bound let (more shadowing)
  • w free
  • y2 looks free @ first, retrospectively bound in expression y2 = y1
fv(s2):= {y1, w} bv(s2):= {f, x1, x2, x, y1, y2}

Comments

Post a Comment

Popular posts from this blog

jquery - How can I dynamically add a browser tab? -

since using iframes house external pages are, accounts "not preferred method" , disallowed sites (flickr, one), want dynamically generate browser tabs. e.g., when user submits form, want dynamically generate tab on browser in response submitted. e.g., might want add new tab url like: http://www.bigsurgarrapata.com/contact how in jquery? you want form target attribute action attribute. http://www.w3schools.com/tags/att_form_target.asp browsers have ultimate control on result of target attribute open new tab value of _blank. <form action="contact_submit.php" target="_blank" method="post">
Read more

node.js - Getting the socket id,user id pair of a logged in user(s) -

i have web application done using node js , in it,i have authentication system requires users log in before can access pages. have 2 pages,the homepage , updates page. from read docs,a new socket id issued when user opens tab in browser. me being admin,i know socket id of logged in user , more so,the socket id,logged in user id pair logged in users. what method can use socket id,logged in user id pair make sure broadcast realtime info users online?.
Read more

keyboard - C++ GetAsyncKeyState alternative -

i using windows.h library's getasynckeystate function define key pushed on keyboard . here program returns int value of pushed key example. #include <iostream> #include <windows.h> using namespace std; int main (){ char i; for(i=8;i<190;i++){ if(getasynckeystate(i)== -32767){ cout<<int (i)<<endl; } } return 0; } but trying make opengl simple game , function appeared slow . there function not need cycle 180 times , if statement . thanks you're trying make opengl game, you're going use glfw. if that's case can away using glfwgetkey() such: if (glfwgetkey(glfw_key_up) == glfw_press) {...} if (glfwgetkey(glfw_key_down) == glfw_press) {...} that method nicely explained in tutorial 6 opengl-tutorial.org . should start first tutorial of beginners tutorials , later intermediate tutorials . if you're going make win32 window can listen wm_keydown or wm_keyup messages , virtua
Read more