小编Sof*_*mur的帖子

我用来启动latex内Emacs上.tex按文件C-c C-c.

我只是改变了我的机器,需要重新配置所有.我已经安装texlive-full,并.emacs从以前的机器复制到新机器.

当我打开.tex文件Emacs,启动C-c C-c,然后键入时LaTeX,它会打开另一个名为的缓冲区,*tex-shell*如下所示:

谁能告诉我发生了什么？

给定一个包含大量公式的工作簿，我意识到当它的单元格值是最新的时F9，ActiveWorkbook.Calculate或Sheets(1).calculate不会触发重新计算。

但是，如果另一个单元格通过公式引用的单元格值发生更改F9，ActiveWorkbook.Calculate或Sheets(1).calculate将触发重新计算依赖于更改的单元格的所有公式。

一句话，Excel 只是重新计算，这是必要的。

但是，我想测量工作簿的完整计算的行为（例如，时间）（即，从常量值刷新，然后是取决于它们的公式，然后是更高级别的公式......）。

有谁知道如何在 VBA 中触发如此完整的计算？

由于这个线程，我需要使用的高版本ui-bootstrap-tpls.js。但是，我意识到此功能已禁用bootstrap pagination，它适用于的较低版本ui-bootstrap-tpls.js。

例如，此分页功能可用于https://cdnjs.cloudflare.com/ajax/libs/angular-ui-bootstrap/0.11.0/ui-bootstrap-tpls.js，而https://cdnjs.cloudflare.com/ajax/libs/angular-ui-bootstrap/2.5.0/ui-bootstrap-tpls.js 无效。

有人知道我能做什么吗？

我的 Let's Encrypt SSL 证书将在 0 天后过期（尚未）...

我将它用于 nginx 中的网站和 DigitalOcean 中的 ubuntu 14.04 服务器。

我找到了一个文件夹/etc/letsencrypt/，在服务器块中：

ssl_certificate /etc/letsencrypt/live/mysite.com/fullchain.pem;
ssl_certificate_key /etc/letsencrypt/live/mysite.com/privkey.pem;

但是，我找不到例如 letsencrypt-auto

有谁知道如何手动更新它？

我想知道是否已经存在一些Ocaml的命名约定,特别是对于构造函数的名称,变量的名称,函数的名称以及记录标签的名称.

例如,如果我想定义一个类型condition,你建议显式地(例如Condition_None)声明它的构造函数,以便直接知道它是一个构造函数condition吗？

另外你如何命名这种类型的变量？c还是a_condition？我总是犹豫不决a,an或者the.

要声明一个函数,是否有必要给它一个名称,允许从其名称推断出参数的类型,例如remove_condition_from_list: condition -> condition list -> condition list？

另外,我在我的程序中使用了很多记录.如何命名记录以使其看起来与普通变量不同？

有很多方法可以命名,我希望找到一个有着良好品味的传统方法,坚持下去,这样我在命名之前就不需要思考了.这是一个公开的讨论,任何建议都将受到欢迎.谢谢!

我已经定义了一个包含许多标签的记录类型.我经常需要检查此记录类型的2个值之间的差异---以查看哪些标签不同的内容.

我想没有自动的方法(例如迭代),我必须逐个检查不同的情况.

例如,要检查2个值是否总是相同的内容,除了一个标签,目前我做的{v0 with label1 = a_content_of_label1} = {v1 with label1 = a_content_of_label1},它看起来不漂亮,因为我需要选择a_content_of_label1自己.

有没有更好的方法呢？非常感谢你!

我想写一个匹配如下的模式:

match ... with
...
| Const1 (r, c) | Const2 (m, n) 
  -> expr

它返回一个错误:Error: Variable c must occur on both sides of this | pattern.

我必须写expr两次(一次是Const1,另一次是Const2)？有人可以帮忙吗？

由于Ocaml不接受函数重载,有时我必须为不同类型定义一些类似的函数.例如,

let reduce_a (a: A): A = ...
let reduce_b (b: B): B = ...

let a_compare (a0: A) (a1: A): bool = ...
let b_compare (b0: B) (b1: B): bool = ...

我知道,最好的办法是有两个模块A和B,使2个功能A.reduce和B.reduce.但在创建模块之前,我只想知道命名函数的最佳约定.

人们通常喜欢命名reduce_a(a_reduce类型前的动词)还是(动词前的类型)？我们能在标准库中找到一些例子吗？

我看到一些实现如下:

let rec fact =
  fun n ->
    if n <= 0 then 1 else n * fact (n - 1)

另一个实现是:

let rec fact n =
  if n <= 0 then 1 else n * fact (n - 1)

谁能告诉我这两种风格之间是否有任何区别？

我已经定义了一个Matrix模块如下:

module Matrix =
  struct
    type 'a matrix = 'a array array

    let make (nr: int) (nc: int) (init: 'a) : 'a matrix =
      let result = Array.make nr (Array.make nc init) in
      for i = 0 to nr - 1 do
        result.(i) <- Array.make nc init
      done;
      result

    let copy (m: 'a matrix) : 'a matrix =
      let l = nbrows m in
      if l = 0 then m else
        let result = Array.make l m.(0) in …