type-inference

2热度

4回答

我需要在switch语句之外声明查询变量，这样我只有一个变量可以处理LINQ查询的不同结果。请参阅下面的代码。这里的问题是，我不能没有初始化它 var query; Switch(filter) { case 1: var query = from c in Customers where c.Type equals == 'ABC' selec

15热度

4回答

何时利用Haskell中的类型推断？

我很好奇Haskell程序员在实践中真正使用类型推断的频率。我经常认为它比其他语言所需的总是明确的声明更受欢迎，但由于某种原因（也许仅仅因为我是新来的），几乎所有的时候都觉得写一个类型签名是正确的。。在某些情况下，我确信它确实是必需的。一些有经验的Haskellers（Haskellites？Haskellizers？）能提供一些输入吗？

16热度

3回答

C＃类型推断有多好？

C＃类型推断有多好？我在某处读到它仅用于局部变量？它是否适用于课堂级别的属性？对于方法签名？方法返回类型？等

2热度

1回答

类型推断统一问题

有没有人一个想法如何的类型推断问题 E > hd (cons 1 nil) : α0 与定型环境 E={ hd : list(α1) → α1 , cons : α2 → list(α2) → list(α2), nil : list(α3), 1 : int } 可以在统一的问题被转移？任何帮

0热度

2回答

是否有众所周知的算法来推导解析器规则的“返回类型”？

给定一个语法和附加的动作代码，是否有任何标准的解决方案来推导每个生产需要产生的类型（以及因此，调用生产应该从中得到什么类型）？我在考虑采用类似于c＃的var语法的OO程序和动作代码（但我并不是在寻找特定于c＃的东西）。如果不是函数重载和递归语法，这将非常简单。产生的问题是，像这样的情况： Foo ::= Bar Baz { return Fig(Bar, Baz); }

6热度

1回答

使Test.QuickCheck.Batch使用测试列表函数的默认类型

我正在测试称为提取的函数，该函数在任何列表上运行。 extractions :: [a] -> [(a,[a])] extractions [] = [] extractions l = extract l [] where extract [] _ = [] extract (x:xs) prev = (x, prev++xs) : extract xs (x : p

5热度

2回答

C＃3.0功能/排序依据的类型推断

这样奇怪的情况，我今天碰见与排序依据： Func<SomeClass, int> orderByNumber = currentClass => currentClass.SomeNumber; 然后： someCollection.OrderBy(orderByNumber); 这是好的，但我要创建一个方法，而不是因为它可能在orderBy以外的其他地方可用。 pri

227热度

3回答

Collections.emptyList（）返回一个列表<Object>？

我在导航Java规则中推断泛型类型参数时遇到了一些问题。考虑下面的类，它有一个可选的list参数： import java.util.Collections; import java.util.List; public class Person { private String name; private List<String> nicknames; pub

21热度

5回答

不明确的类型变量错误msg

我不认为这是一个错误，但我有点困惑，为什么这是行不通的。一个额外的问题是为什么它提到变量e？没有变量e。 Prelude> :m +Control.Exception Prelude Control.Exception> handle (\_-> return "err") undefined <interactive>:1:0: Ambiguous