我一直在研究依赖types，我理解以下内容： 为什么通用量化被表示为依赖函数types。 ∀(x:A).B(x)意思是“对于所有typesA x有一个typesB(x) ” 。 因此，它被表示为一个函数，当给定的任何值typesA返回typesB(x) 。 为什么存在量化表示为从属对types。 ∃(x:A).B(x)表示“存在typesA的x ，其typesB(x) ” 。 因此，它被表示为一个对，其第一个元素是一个特定值x的A型A而其第二个元素是一个B(x)型的值。 另外：有趣的是，通用量化总是与物质含义 一起使用，而存在量化总是与逻辑连接一起使用 。 无论如何，维基百科有关依赖types的文章指出： 与依赖types相反的是依赖对types ， 依赖和types或sigmatypes 。 它类似于联产品或不相交的联合。 一个对types（通常是一个产品types）是如何类似于不相交的联合（这是一个和types）？ 这一直困扰着我。 另外，依赖函数types与产品types相似如何？

我听说querySelector ＆ querySelectorAll是selectDOM元素的新的更好的方法。 这是真的？ querySelector ＆ querySelectorAll比getElementById ＆ getElementsByClassName更好吗？ 我应该一般使用哪个？ 我是networking编程新手！ 谢谢！！！

我如何读取一个.csv文件（没有标题），什么时候我只想使用pandas的一个列的子集（总共20列中的第4和第7）？ 我似乎无法做usecols

在我的火花shell中，当我执行一个函数时，下面的input是什么意思？ [Stage7:===========> (14174 + 5) / 62500]

我可以使用getent和awk组合来做到这一点： getent passwd $user | awk -F: '{ print $6 }' getent passwd $user | awk -F: '{ print $6 }' 为了参考，在木偶我可以使用一个自定义的事实，就像这样： require 'etc' Etc.passwd { |user| Facter.add("home_#{user.name}") do setcode do user.dir end end } …将用户的主目录作为home_<user name>事实提供。 编辑： 我需要得到家的任意用户的主目录的目录，不仅是用于与Ansible服务器连接的目录。

在第3（d）节中， Microsoft公共许可证 （Ms-PL）指出：“如果您以编译或目标代码forms分发软件的任何部分，则只能在符合本许可证的许可证下进行。 在我看来，声明“符合本许可证”意味着包含Ms-PL许可代码的软件也必须像Ms-PL许可的那样免费。 这是一个病毒性的要求，类似于GNU GPL？

CSS或属性需要什么组合？

Ruby On Rails Wiki列出了一些便于在Rails中生成PDF 的库 。 我需要打印出地址标签（以字母格式，因此每页12-15个地址），不能决定使用哪一个。 任何build议？

我将两个元组从一个域（date）映射到另一个（时间戳）。 不幸的是，它看起来像jQuery.map自动展平我返回的二元组，我没有看到一个do_not_flatten参数。 我是否在图书馆丢失了一些不会自动变平的东西？ 附录：我认为我不应该使用Array.map ，因为它是JavaScript 1.6 。 据我了解，jQuery应该为了兼容性的原因抽象出我正在运行的JavaScript版本。

一段时间以来，我一直在想，一些软件如何隐藏秘密密钥，使得它们不能被轻易发现。 只是几个例子： DVD播放器软件隐藏CSS密钥 带有序列号/注册码的软件隐藏用于validation序列号的密钥/散列 很明显，这些程序不仅仅是在一个字节[]中做了一些事情，因为这样可以很容易地窃取他们的密钥并生成自己的序列号等等。 用什么样的策略来隐藏这些密钥，使它们不易被发现？