小编Sav*_*xey的帖子

我想要的是写这样的东西:

let (a,b) = if *condition* then (first, second) else (second, first)

我发现即使是这样我也写不出来:

let (a,b) = (first,second)

它失败并出现错误:

 <interactive>:7:5:                                                                                                                          
Could not deduce (Arrow a0)                                                                                                             
from the context (Arrow a)
  bound by the inferred type for `a':
             Arrow a => a b c -> a (b, d) (c, d)
  at <interactive>:7:5-26
The type variable `a0' is ambiguous
When checking that `a' has the inferred type
  a :: forall (a :: * -> * -> *) b c d.
       Arrow a => …

我有这个代码:

template<typename T> T f() {
// ...
}

class A {
    friend A f();
};

class B {
    friend B f();
};

我收到ambiguating new declaration of ‘B f()’错误.

但是,如果我将我的代码更改为以下

template<typename T> void f(T arg) {
// ...
}

class A {
    friend void f(A);
};

class B {
    friend void f(B);
};

程序编译精细.

有人可以帮我弄清问题是什么？

我有这两段代码:

• [| 0 .. N-1 |] |> Array.map((<<<)1)

• [| 0 .. N-1 |] |> Array.map((*)2)

我认为他们做的事情完全相同,但事实并非如此.在第一种情况下,我得到1, 2, 4并在第二 - 0, 2, 4.我不明白为什么有1第一种情况？如果我写let a = 0 <<< 1,我明白0.这是一个错误吗？谢谢!

我有这个代码:

let timer = new System.Diagnostics.Stopwatch()
timer.Start()
Array.zeroCreate<int> 100000000

timer.Stop()
printfn "%ims" timer.ElapsedMilliseconds

timer.Reset()
timer.Start()
Array.create 100000000 0

timer.Stop()
printfn "%ims" timer.ElapsedMilliseconds

我测试了它并得到了这些结果:

0ms
200ms

如何Array.zeroCreate快速创建数组并确保其所有元素都具有默认值？在其他语言中,我知道没有这样的可能性(据我所知).在其他语言中,我只知道数组的快速初始化,哪些元素不能保证具有默认值,因为它们可以在存储器中初始化,其中存在一些垃圾.

谢谢!

我有这个代码:

f1 =: some function that returns list of numbers
f2 =: some function that returns list of numbers
f3 =: some function that returns list of numbers
f4 =: some function that returns list of numbers
max_mult_all =: (*/f1) >. (*/f2) >. (*/f3) >. (*/f4)

有没有更好的初始化方法max_mult_all？如果我有数百个这样的功能怎么办？是否可以使用Insert(/)样式？

谢谢!

我有两个功能:

f :: a -> Maybe a
g :: a -> a

我想创建这样的功能:

h :: a -> Maybe a

h x
| isJust(f x) = Just (g $ fromJust(f x))
| otherwise   = Nothing

我怎样才能以更优雅的方式做到这一点？

我有

functions :: IO[a -> b]   -- IO List of functions
param :: IO[a]            -- Single parameter

而且我想得到

result :: IO[b]
result = IO[*first function* <$> param, *second function* <$> param, ...]

我不知何故可以获得类型的结果IO[IO b],但我想要IO[b]

我有Merge Sort的这种实现:

import scala.annotation.tailrec

object MergeSort {
  def sortBy[T]: ((T, T) => Int) => Seq[T] => Seq[T] = comparator => seqToSort => {
    @tailrec
    def merge(xs : Seq[T], ys : Seq[T], accum : Seq[T] = Seq()) : Seq[T] = (xs, ys) match {
      case (Seq(), _) => ys ++ accum
      case (_, Seq()) => xs ++ accum
      case (x::rx, y::ry) =>
        if(comparator(x, y) < 0)
          merge(xs, ry, y +: accum)
        else
          merge(rx, ys, x +: accum)
    }

    @tailrec
    // Problem …