小编Mai*_*tor的帖子

使用:

 $(my_div).width(window.innerWidth)

不提供所需的结果,因为它不考虑垂直滚动条,因此元素溢出窗口,创建一个水平滚动条,如下图所示.

插图http://dl.dropboxusercontent.com/u/62862049/Screenshots/om.png

例如,要使用单个命令转换foo(a,b,c)为foo(ax,bx,cx)您需要以下内容:

:s/[abc]/MATCHED_CHARACTERx/g

这种替换的正确语法是什么？

方案列表对于随机访问来说很慢,这是许多应用程序(例如图像处理)中的常见操作.这是否会使这种应用自然受到妨碍？

如果我理解正确,a monad只是绑定>>=和return运算符遵循某些规则的实现,这些规则基本上组成了不同返回类型的2个函数.因此,例如,那些是等价的:

putStrLn "What is your name?"
>>= (\_ -> getLine)
>>= (\name -> putStrLn ("Welcome, " ++ name ++ "!"))

(bind (putStrLn "What is your name?")
      (bind
          (\_ -> getLine)
          (\name -> putStrLn ("Welcome, " ++ name ++ "!"))))

但是如果我们强烈地规范化这个表达式,最终的结果就是:

(putStrLn ("Welcome, " ++ getline ++ "!"))

第一个陈述(putStrLn "What is your name?")完全丢失了.此外,getLine看起来像一个没有参数的函数,这是无稽之谈.那么这是如何工作的,以及函数的实际定义是什么？>>=return

假设您获得了输入/输出对的列表:

f 0 = 0
f 1 = 2
f 2 = 1
f 3 = -1
f 4 = 0
f 5 = 0
f 6 = -76
f 7 = -3
f 8 = 3
f 9 = -1
f 10 = -1
f 11 = -6
f 12 = -1
f 13 = -1
f 14 = 4
f 15 = -2
f 16 = -10
f 17 = 0
f 18 = 0
f 19 = …

我在看下面的定义cong:

cong : ? {a b} {A : Set a} {B : Set b} (f : A ? B) {x y} ? x ? y ? f x ? f y
cong f refl = refl

我无法理解为什么它的打字很好.特别是,似乎隐含的论点refl必须是f x和f y.为了使事情更清楚,我写了一个非隐式的相等版本,并试图复制证明:

data Eq : (A : Set) -> A -> A -> Set where
  refl : (A : Set) -> (x : A) -> Eq A x x

cong : (A : Set) -> …

obj = [1,2,3,4,5];
function iter(){
    for (var key in obj){
        key=key+key;
    };
};
function test1() { 
    iter(obj); 
};
function test2(){
    (function iter(obj){
        for (var key in obj){
            key=key+key;
        };
    })(obj);    
};

这里,test1和test2都执行相同的操作,即使test2每次被调用时都会创建一个新函数.为什么？