小编gle*_*nsl的帖子

我想知道如何在对齐环境中标记每个方程？例如

\begin{align} \label{eq:lnnonspbb}
\lambda_i + \mu_i = 0 \\
\mu_i \xi_i = 0 \\
\lambda_i [y_i( w^T x_i + b) - 1 + \xi_i] = 0
\end{align} 

只标记第一个等式,后面只能引用第一个等式.

感谢致敬!

ReasonML(https://reasonml.github.io/)和TypeScript(https://www.typescriptlang.org/)之间有什么权衡？

我不明白varC#7 中模式的用例.MSDN:

与模式匹配的var模式总是成功的.它的语法是

expr is var varname

其中expr的值始终分配给名为的局部变量 varname.varname是一个与expr.相同类型的静态变量.

在我看来,MSDN上的例子非常无用,特别是因为它if是多余的:

object[] items = { new Book("The Tempest"), new Person("John") };
foreach (var item in items) {
  if (item is var obj)
    Console.WriteLine($"Type: {obj.GetType().Name}, Value: {obj}"); 
}

在这里我没有看到任何好处,如果你item直接访问也是类型的循环变量,你可以有相同的Object.这if也是令人困惑的,因为它永远不会false.

我可以使用var otherItem = item或使用item.有人可以更好地解释用例吗？

我有一个清单,现在我想要第n项.在Haskell我会使用!!,但我找不到榆树的变种.

下面的F#程序定义了一个函数,该函数返回表示为struct tuples的两对int中的较小者,并且运行需要1.4s:

let [<EntryPoint>] main _ =
  let min a b : int = if a < b then a else b
  let min (struct(a1, b1)) (struct(a2, b2)) = struct(min a1 a2, min b1 b2)
  let mutable x = struct(0, 0)
  for i in 1..100000000 do
    x <- min x (struct(i, i))
  0

如果我将CIL反编译为C#,我会得到以下代码:

    public static int MinInt(int a, int b)
    {
        if (a < b)
        {
            return a;
        }
        return b;
    }

    public static System.ValueTuple<int, int> MinPair(System.ValueTuple<int, int> _arg2, …

我正在运行elm-repl来玩这种语言.

我想看看现在的时间.我该怎么办？当前库似乎不可能.这是为什么？

编辑:我做了一个包来帮助解决这个问题.http://package.elm-lang.org/packages/z5h/time-app

这被问到榆树0.15左右 - 榆树0.17和0.18的情况有所不同:请参阅如何获得榆树当前时间0.17/0.18？

我对ReactJS很有经验,现在我正在努力学习ReasonML.但是我一直在努力理解的一件事是如何使用React/Reason导入npm包.

我不清楚网站上的说明(https://reasonml.github.io/guide/javascript/interop/).

那么,如果我有一个React/Reason项目并且想要使用npm包,我该怎么办呢？如何使用Reason lang导入它？

OCaml 对于多态类型注释有几种不同的语法：

let f :         \'a -> \'a = \xe2\x80\xa6 (* Isn\xe2\x80\x99t this one already polymorphic? (answer: NO) *)\nlet f : \'a.     \'a -> \'a = \xe2\x80\xa6\nlet f : type a.  a ->  a = \xe2\x80\xa6\n

当使用奇特的代数数据类型（通常是 GADT）时，我们经常会看到它们，它们似乎是必要的。

这些语法有什么区别？何时以及为何必须使用每一项？

我知道命令+'会带你到下一个问题,但有没有办法让你到下一个编译器错误并忽略警告？(xcode 9)

我喜欢pattern-matching在nullable intie 上使用int?:

int t  = 42;
object tobj = t;    
if (tobj is int? i)
{
    System.Console.WriteLine($"It is a nullable int of value {i}");
}

但是,这会导致以下语法错误:

• CS1003:语法错误,';' ,
• CS1525:无效的表达式术语')',
• CS0103:当前上下文中不存在名称"i".

'i)'标有红色波浪线.

使用旧运算符时表达式编译is:

int t = 42;
object tobj = t;    
if (tobj is int?)
{
    System.Console.WriteLine($"It is a nullable int");
}


string t = "fourty two";
object tobj = t;
if (tobj is string s)
{
    System.Console.WriteLine($@"It is a …