type-inference

    2热度

    2回答

    与函数类型Scala的类型推断

    考虑下面的代码：（见下文，需要解决的实际代码） def applyAll[T,S, U <: Seq[T => S]](l : U, x: T) = l.map(f => f(x)) val u = List((i: Int) => i + 1, (i: Int) => i + 2) println(applyAll(u,1)) （给出的T => S一个Seq和价值，我们期望得到funti
    scala generics types type-inference 2016-03-03

    0热度

    1回答

    如何统一这两个浮点函数？

    我发现这个neat trick计算的平均值和标准差在一遍数据。我想要这个工作float32和float。 Again，我很努力地用通用数字来解决这个问题。 module Seq = let inline private avgVarianceReducer toFloat (count, oldM, oldS) x = if count = 1 then 2,
    generics f# numbers type-conversion type-inference 2016-03-03

    3热度

    1回答

    F＃管道和功能应用程序之间的神秘区别

    前提：我认为管道操作员只是语法糖，因此x |> f应该与f(x)完全一样。 类似，我认为f (fun x -> foo)相当于let g = fun x -> foo; f g 但显然有一些我不明白的差异。 实施例1： static member contents = let files = Directory.EnumerateFiles (__SOURCE_DIRECTORY__+
    f# type-inference piping 2016-03-03

    1热度

    1回答

    为什么这是Any类型的数组？

    为什么Q型的Any？我想它乘以针对Float64阵列并获得“无匹配方法” qi=5000.0 b=0.9 di=0.6 mnths=600.0 t=1.0 AI=(1/b)*((1-di)^-b-1) ai=AI/12 q(t)=qi/(1+b*ai*t)^(1/b) Q=[q(t-1) for t=1:mnths]
    julia-lang type-inference 2016-03-04

    3热度

    1回答

    这个JEP中的“远处行动”是什么？

    这里我说的是abou this JEP。在文中，“远处的行动”被多次提及;例如： 排除没有初始化程序的本地化程序消除了“远距离行为”推理错误，并且只排除了典型程序中的一小部分本地人。 或： 同样，我们也可以推断类型时，而不仅仅是初始化所采取的所有任务考虑;虽然这会进一步增加可以利用此功能的本地人的百分比，但也会增加“远距离行动”错误的风险。 我明白大部分的JEP，但是那部分没有我。 这里的“远处的
    java type-inference 2016-03-10

    2热度

    1回答

    神秘的GADT skolem：什么类型试图逃避其范围？

    斯卡拉11.2是给我这个错误： error: type mismatch; found : Seq[Some[V]] required: Seq[Option[?V8]] where type ?V8 <: V (this is a GADT skolem) val output = f(ivs.map(iv => Some(iv.get._1))) ^
    scala recursion type-inference gadt 2016-03-15

    1热度

    1回答

    类型具有反向约束的泛型之间的推理

    这是this question的扩展，它的答案适用于该特定情况。 我实际的代码看起来更像是这样的： public abstract class BaseComparable<TLeft, TRight> { } public class LeftComparable<TLeft, TRight> : BaseComparable<TLeft, TRight> where TLeft : IC
    c# generics type-inference 2016-03-22

    3热度

    1回答

    型歧义

    我试图拼凑下面的类Domain及其实例TrivialDomain {-# LANGUAGE TypeFamilies #-} data Transition = Transition class Domain d where type Set d type Engine d :: * -> * top :: Engine d (Set d) --
    haskell type-inference type-families 2016-03-23

    0热度

    1回答

    推导函数模板参数的确切类型

    在下面的代码使用类型推理规则模板参数（此问题是关于C++ 14）： #include <iostream> template <typename T> void test(T x) { std::cout << "T x" << std::endl; } template <> void test<int>(int x) { std::cout << "
    c++ templates c++11 c++14 type-inference 2016-03-28

    1热度

    1回答

    类型推断代理参数的方法

    我一直在C＃中进行类型推理，我已经阅读了this thread。正如在线程中所述，类型推断不适用于泛型委托（当您将方法传递给此委托参数而没有任何显式转型时），例如Func，Action等。然后，我想尝试LINQ运算符，如SelectMany和.net Func类而不是lambda表达式来查看结果。但是，这不是我预期的结果。 我创建了一个名为L1的测试类，其中包含一个字符串列表以便在SelectMa
    c# .net linq generics type-inference 2016-03-31
最新问题