小编Rom*_*aka的帖子

该页面包含两个按钮,分别来自twitter和facebook.

我在Firefox 3.5.15中观察到的是:

1. 页面加载时,按钮或多或少对齐(我的意思是它们的底边)
2. 加载页面时,Facebook按钮向下移动几个像素,使其底部低于twitter按钮的底部.
3. 如果我重新加载页面,按钮将再次对齐,即使在加载页面后仍保持此状态.

有人可以解释一下发生了什么以及如何解决它？

考虑具有自定义行名称的数据框:

> data <- data.frame(a=1:3,b=2:4,c=3:5,row.names=c("x","y","z"))
> data
  a b c
x 1 2 3
y 2 3 4
z 3 4 5

如果我选择多个列,则R会将它们与行名称一起打印:

> data[,c("a","c")]
  a c
x 1 3
y 2 4
z 3 5

但是,如果我只选择一列,则R将其打印为一个简单的向量,而不是行名:

> data[,"c"]
[1] 3 4 5

我的问题是,我该如何让R打印一列在它打印多列以同样的方式,那就是,与该行的名字？

group_by除了给定的列之外,如何通过所有列对数据进行分组？

有aggregate,它会aggregate(x ~ ., ...).

我尝试了group_by(data, -x),但是这个组由负x组成(即与x分组相同).

我已经定义了类型级别的析取如下:

{-# LANGUAGE DataKinds, TypeFamilies #-}

type family Or (a :: Bool) (b :: Bool) :: Bool
type instance Or False a = a
type instance Or True a = True

现在我想(在Haskell中)证明它是幂等的.也就是说,我想idemp用类型构建一个术语

idemp :: a ~ b => proxy (Or a b) -> proxy a

这在操作上等同于id.(显然,我可以定义它,例如unsafeCoerce,但这是作弊.)

可能吗？

我正在实现一种简单的依赖类型语言,类似于Lennart Augustsson描述的语言,同时还使用绑定来管理绑定.

当检查依赖的lambda术语时,例如?t:* . ?x:t . x,我需要:

1. "Enter"键外的λ粘结剂,通过实例t来的东西
2. Typecheck ?x:t . x,屈服?x:t . t
3. Pi抽象t,屈服?t:* . ?x:t . t

如果lambda是非依赖的,我可以在步骤1中t使用它的类型实例化,因为类型是我在第2步的类型检查时需要知道的变量.但是在第3步我缺乏决定哪些变量的信息摘要.

我可以引入一个新的名称供应并t使用Bound.Name.Name包含类型和唯一名称的实例化.但我认为,bound我不应该生成新的名字.

有缺点的替代解决方案吗？

只需阅读类别理论书,并决定将其应用于haskell.

作者将Monoid定义为:

Monoid是一个L组,配有二进制运算*:LxL-> L和L中的区分单位元素u等...

将"List"结构作为monoid,很明显二进制运算是concat单位的[].

但是这里的M是什么？我试过L = {set of all lists}但是我认为这导致我遇到"L在L中？"的麻烦 问题,这似乎与集合有同样的问题.

还是我想错了什么？

编辑:正如@a​​pplicative所指出的,Haskell的列表是名为Free monoids的monoid !

我正在使用rabbitMQ,我使用basic_get从队列中获取每条消息而不自动执行acking过程,这意味着消息保留在队列中,直到我确认或无法消息.

有时我会抛出因为抛出一些异常而无法处理的消息,这会阻止它们被完全处理.

问题是,如果我同时收到成功的消息和抛出的异常,那么重要的是,我的意思是结果消息总是会从队列中消失,所以如果我在这种情况下使用ack或nack,那有什么关系呢？也许我在使用每个操作时都会错过一些东西？

根据info groff(第5.11节字符翻译), \.应该只打印点.然而,这似乎并非如此.如果我渲染此联机帮助页

.TH x x x x
\.SH foo

我被foo渲染为一个部分标题,并.SH没有打印.

那么,为什么会发生这种情况,如何在groff线的开始处逃避点(和撇号)？

根据我的理解,Data.Constraint.Forall背后的想法是在实现中使用强制,但使用类型系统确保安全性.我对后者有两个问题.

1. 为什么我们需要两个skolem变量--A和B？我想如果一个约束被一个"未知"类型满足,那么它就是多态的.第二种类型如何提高安全性？
2. 为什么这些类型称为skolem变量？我认为石油化用于去除存在量化,在这里我们看到普遍量化.我错过了哪个标志翻转？

我想知道现代类型的功能面向对象语言(如Scala和OCaml)如何结合参数多态,子类型和其他功能.

它们是基于System F _< :,还是更强大或更弱的东西？

是否有一个经过充分研究的正式类型系统,如Haskell的System F _C,它可以作为这些语言的"核心"？