用于类型推断的通用标识函数
在计算机编程中，类型推断是一种编译器技术，用于确定变量或表达式的数据类型，而无需显式声明。通用标识函数（Universal Type Inference，简称 UTI）是一种类型推断方法，用于自动确定编程语言中变量或表达式的类型。
UTI 可以在编译时自动推断出变量的类型，从而避免了显式声明类型时可能出现的错误。这种技术可以提高编程的效率和可读性，同时也可以减少因类型不匹配而导致的错误。
UTI 的优势在于可以减少编程时的工作量，同时也可以提高代码的可读性和可维护性。同时，UTI 也可以提高编译器的效率，因为编译器不需要花费额外的时间和资源来确定变量的类型。
UTI 的应用场景包括但不限于以下几个方面：
- 变量声明：在编程时，可以使用 UTI 来自动确定变量的类型，从而避免了显式声明类型时可能出现的错误。
- 函数调用：在函数调用时，UTI 可以自动确定函数的返回类型和参数类型，从而提高编程的效率和可读性。
- 类型转换：在进行类型转换时，UTI 可以自动确定转换后的类型，从而避免了显式声明类型时可能出现的错误。
推荐的腾讯云相关产品：
腾讯云 CloudBase 是一种 Serverless 云端一体化平台，可以帮助开发者快速构建、部署和管理应用程序。CloudBase 提供了一系列的云端服务，包括数据库、存储、云函数等，可以帮助开发者快速构建应用程序，同时也可以帮助开发者减少服务器管理和运维的工作量。
腾讯云 CloudBase 的产品介绍链接地址：https://cloud.tencent.com/product/cloudbase
相关·内容
1回答
我已经为我自己的习惯语言做了一段时间的语义分析，但没有太多成功。但是如果我在谷歌上搜索任何这样的东西，那么绝大多数的链接都是使用大学课程材料，或者学术论文，或者只是完全不相关的过程，例如对英语文本的语义分析，而不是有用的知识。
我也在寻找传奇的Dragon Book，但我读到它在这方面真的没有太多内容(而且目前也超出了我在亚马逊上的价格范围)。
关于在哪里可以找到这一特定阶段的编译材料，有什么建议吗？
浏览 2提问于2013-02-08得票数 1
1回答
我有很多类型声明：
module SumProduct where
data GuessWhat = Chickenbutt deriving (Eq, Show)
data Id a = MkId a deriving (Eq, Show)
data Product a b = Product a b deriving (Eq, Show)
data Sum a b = First a
| Second b
deriving (Eq, Show)
data RecordProduct a b =
浏览 8提问于2017-06-16得票数 1
回答已采纳
1回答
public abstract class Flattenable<T_Id, T_Order> where T_Id : struct, IComparable
where T_Order : IComparable
{
public abstract T_Id ID { get; }
public abstract Nullable<T_Id> Parent_ID { get; }
public abstract T_Order Order {
浏览 3提问于2021-12-06得票数 0
回答已采纳
我有一个字符串，文本，联合类型，动物：
type Animal = 'GOAT' | 'GIRAFFE' | 'SALMON' | 'TUNA'
我还有一个类型的鱼，它是动物的一个子集：
type Fish = Extract<Animal, 'SALMON' | 'TUNA'> // type Fish = "SALMON" | "TUNA"
现在，我希望有一个包含Fish的字符串数组，以便在逻辑中使用该数组(例如，使用includes()函数)。我可以
浏览 11提问于2022-10-24得票数 1
回答已采纳
1回答
我想知道有没有人会有一些关于lambda演算的不错的资源，特别是关于类型推断的。我正在为一次考试而学习，在我做过的任何教程中，我似乎找不到任何关于lambda类型和如何推断的信息。
我有一道考题，我在想周二要考的问题。
推断以下lambda演算表达式中所有变量和带括号的子表达式的类型：(\表示lambda)
(\x.(\y.(x，y)y))g)h)
我保证这不是作业！任何帮助都是非常受欢迎的。
浏览 5提问于2014-01-11得票数 1
/home/disk/p/atms380/xx/October-Runs/timeManMod/SourceMods/time_manager.F90(664):
error #6404: This name does not have a type, and must have an explicit
type. [FLOOR]
tmd = day_earth/PLANET_DAY_RATIO - floor(day_earth/PLANET_DAY_RATIO)
我正在使用ifort编译器运行Fortran 90。据我所知，floor是Fortran 90中引入的一个函数
Using
浏览 3提问于2011-10-05得票数 1
回答已采纳
1回答
下面的代码是类元组类的代码片段，可以在其中获取对元组中给定类型的引用，或者如果找不到该类型，则将返回提供的默认值。
如果默认值是lvalue，则必须返回引用，如果默认值是rvalue，则必须返回rvalue。
下面的代码说明了我遇到的问题：
struct Foo {
Foo(int d) : data(d) {}
template <typename T, typename TT>
const TT get_or_default(TT&& t) const {
return data;
}
template
浏览 1提问于2014-03-21得票数 1
回答已采纳
如果我有一个以void*作为参数的泛型函数，那么C++11中的Auto能帮助停止对该参数的任何错误转换吗？
例如，我们可能有一个发送事件的事件系统和一个指向与其发送的事件相关的数据的指针。
void EventClass::SendEvent (eventTypeEnum eventType, void* eventData)
{
int* castEventData = static_cast<int*> (eventData);
//.. Do something
}
在上面的示例中，一个eventType可以以eventData作为浮点数*发送，另一个可以作为指
浏览 0提问于2014-08-06得票数 0
回答已采纳
1回答
我正在接触lambda (是啊，太晚了)。我正在尝试将字符串列表转换为HashMap，键是toString()返回的值，值是原始的String对象。
List<String> metas = new ArrayList<String>();
metas.stream().collect(Collectors.toMap(String::toString), Function.identity());
我得到了“类型字符串没有定义适用于这里的toString(T)”。如所示，Collectors.toMap()的参考文档还调用了一个不带任何参数的方法
那么为什么我的程序说
浏览 20提问于2018-08-22得票数 -1
回答已采纳
2回答
假设我有一个通用元组类型：
type MyTuple<A, B> = [A, B]
由于我给它提供了泛型类型，所以可以使用以下方法：
const thing2: MyTuple<number, string> = [20, 'hello']
我想这样使用它，但是它产生了一个错误：
const thing1: MyTuple = [20, 'hello'] // -> Generic type 'MyTuple' requires 2 type argument(s).
我不明白为什么它需要这个实例中的泛型args -
浏览 9提问于2022-05-20得票数 1
回答已采纳
如何使类型记录将字符串类型限制为仅作为同一对象中的键？下面是一个简化的例子。我尝试过各种K extends string类型的逻辑，但都遇到了困难。
{
players: {
uniquePlayerId1: {
isTargeting: 'uniquePlayerId2' // should only be able to be `uniquePlayerId1` or `uniquePLayerId2` or any other keys of the `players` object
},
uniquePlayerId2: {
浏览 0提问于2022-02-27得票数 1
回答已采纳
1回答
我有一个类似于此的代码：
const x = 'a';
const y = 1;
const arr1 = [x, y]; // -> (string | number)[]
const arr2: [string, number] = [x, y]; // -> [string, number]
我不明白为什么类型记录的类型推断是得到(string | number)[]而不是[string, number]。
我是否必须具体告诉TypeScript arr2: [string, number]，还是有更简单的方法？
上面的例
浏览 0提问于2019-04-05得票数 0
回答已采纳
我不明白为什么有时打字本不能推断出一般类型的const。
这就是一个例子：
type OneTwoThree = 1 | 2 | 3;
type MyType<num extends OneTwoThree> = {
n: num;
}
const first: MyType = { // <-- Generic type 'MyType' requires 1 type argument(s).(2314)
n: 2,
};
const second: MyType<3> = {
n: 3,
};
为什么打字稿不能推
浏览 14提问于2022-09-29得票数 1
回答已采纳
OCaml中的单引号'a表示常规类型。a'代表什么？看起来这不是语法错误，如下面的代码所示：
type nat =
| O
| S of nat
let rec plus n m =
match n with
| O -> m
| S n' -> S (plus n' m)
浏览 0提问于2019-04-06得票数 2
我正在玩排名-N-类型，并试图键入x x。但我发现这两个函数可以以同样的方式输入，这是违反直觉的。
f :: (forall a b. a -> b) -> c
f x = x x
g :: (forall a b. a -> b) -> c
g x = x x x x x
我还注意到，类似于f x = x x ... x x (许多xs)的东西仍然具有相同的类型。有人能解释为什么会这样吗？
浏览 5提问于2021-11-08得票数 8
回答已采纳
1回答
我一直在阅读斯科特上一篇关于c++11和14的主要文章中的通用引用，尽管有一个参数被分配给lvalue或rvalue类型的引用参数，但在这两者之间有一种叫做泛引用的东西，它可以根据传递的论点的类型特征推导出任何一个l/rvalue。我可以理解是什么使参数成为一个通用引用，但我不清楚的一点是，为什么将const添加到类型参数const T&& p中，将p作为rvalue：
template<typename T>
void f(T&& param); // param is an universal reference
template<typ
浏览 2提问于2016-08-07得票数 32
回答已采纳
我正在按照教程在Typescript上使用React和Redux构建聊天应用程序，但在导出我的连接组件时遇到错误：
Type 'InferableComponentEnhancerWithProps<ConnectedState & ConnectedDispatch, OwnProps>'
is missing the following properties from type 'Component<OwnProps, {}, any>':
context, setState, forceUpdate, render, a
浏览 10提问于2021-03-10得票数 2
回答已采纳
我有一个对象，我希望强制它包含Enum的所有键，我还希望推断它的值的类型。所以如果我这么做
enum RequiredKeys {
A = 'a',
B = 'b'
}
const objectThatShouldContainAllRequiredKeys = {
[RequiredKeys.A]: (id: string) => {}
};
// Argument of type '123' is not assignable to parameter of type 'string'
// Wh
浏览 3提问于2020-12-10得票数 3
回答已采纳
当我遇到一个我不明白的类型推断错误时，我正在玩一个业余项目。我将其简化为下面的简单示例。
我有以下课程和职能：
class Foo { }
class Bar { }
class Baz { }
static T2 F<T1, T2>(Func<T1, T2> f) { return default(T2); }
static T3 G<T1, T2, T3>(Func<T1, Func<T2, T3>> f) { return default(T3); }
现在考虑以下示例：
// 1. F with explicit type
浏览 0提问于2012-09-04得票数 22
回答已采纳
我不确定这是不是一个愚蠢的问题，但我正在看VS2010附带的教程，有一个函数是这样的：
let rec factorial n = if n=0 then 1 else n * factorial (n-1)
这个递归函数被标记为rec关键字的原因是什么？
是不是这样编译器就可以确保它是递归的，这样就可以进行某些优化？
如果排除它会发生什么？
浏览 0提问于2010-09-18得票数 17
回答已采纳
我有一个返回react <option>元素数组的函数：
function mapOptionToValues(
element: any,
valueKey: ?string,
optionKey: ?string
): React$Element<*> {
if (!valueKey && !optionKey) {
return (
<option key={element}>
{element}
</option>
);
}
return (
浏览 2提问于2017-08-25得票数 0
1回答
下面的代码工作得很好，但我无法根据C++标准的哪些要点确定它应该是有效的。
template< class C, class signature >
void f(signature C::*ptr) { }
当C = A和signature = void(float, int)时，函数f将是
void f(void(A::*ptr)(float, int))
基于标准的哪些部分，模板是否适用于后者？
浏览 3提问于2015-05-09得票数 5
回答已采纳
2回答
以下是EMGU文档(摘自)：
DenseHistogram.Calculate<TDepth> Method (Image<Gray, TDepth>[],
Boolean, Image<Gray, Byte>)
下面是实际应用程序中的示例用法：
dh.Calculate(new Image<Gray, Byte>[] { img[0] }, false, null);
其中dh是作为DenseHistogram创建的。
<TDepth>有什么用途(在Calculate之后)？它没有在示例代码中使用，但似乎没有引起问题，尽管
浏览 3提问于2015-02-16得票数 0
回答已采纳
我在Haskell中定义了如下函数
func x | x > 0 = 4
| otherwise = error "Non positive number"
其推断类型为
func :: (Ord a, Num a, Num t) => a -> t
为什么它的类型不能是
func :: (Ord a, Num a) => a -> a
浏览 0提问于2016-11-24得票数 2
1回答
模式匹配推断类型
、、
为什么不检查下面的类型呢？_的类型被推断为Double。
{-# LANGUAGE ScopedTypeVariables, Rank2Types #-}
module Main (main) where
data D a = D a
main =
let
n = D (1 :: forall a. (Floating a) => a)
in
case n of
D (_ :: forall a. (Floating a) => a) -> return ()
浏览 2提问于2017-01-02得票数 2
回答已采纳
1回答
在前奏中，关于ReaderT的类型信息是：
newtype ReaderT r (m :: k -> *) (a :: k)
= ReaderT {runReaderT :: r -> m a}
(m :: k -> *) it是什么意思？m接受k类型的参数，但m是一种更高级的类型。
关于高级外貌的信息也是连线的：
Prelude> :k ReaderT
ReaderT :: * -> (k -> *) -> k -> *
浏览 2提问于2017-09-27得票数 3
以下代码无法编译：
data Point a b = Point { x :: a
, y :: b
} deriving (Show)
instance Eq (Point a b) where
(Point x _) == (Point y _) = x == y
错误是：
No instance for (Eq a)
arising from a use of `=='
In the expression: x == y
In an equation for `==':
浏览 0提问于2014-06-22得票数 3
3回答
我记得我读过JDK7的一个新特性(现在Netbeans编辑器也支持它，但只支持当前的主干构建)。
在没有类型变量的情况下编写instanceof SomeClass<?>时，这个微小的特性将不再产生警告。
这个特性是如何命名的？
有人知道什么参考资料，在哪里描述的？
最重要的是：在JDK7中是否还有与类型变量相关的其他更改？
浏览 3提问于2010-11-28得票数 10
回答已采纳
2回答
Java推断的泛型类型
、、、
我正在寻找一个类似的概念来推断捕获的泛型类型，类似于下面的方法片段，但是对于捕获泛型类型的类：
public <X, Y, Z> static void someMethod(ObjectInterface<X, Y, Z> object) {
// code that uses inferred generic type parameters X, Y and Z...
}
此代码段中的代码将捕获类型并将它们分配给泛型参数类型X、Y和Z。这允许在代码正文中使用泛型类型变量，并使方法的使用更加灵活。在这个片段中，如果调用方法时没有指定类型(即没有参数化)，那么J
浏览 2提问于2017-10-20得票数 2
回答已采纳
哈斯克尔给了f x = f x t1 -> t的类型，但有人能解释一下为什么吗？
还有，有没有可能其他不等价的函数也有同样的类型呢？
浏览 1提问于2011-01-31得票数 4
回答已采纳
因此，这个函数应该接受一个满足interface TransactionActionModel的对象数组。这意味着它们都必须有一个名为"save“的函数来接收interface SaveOptions的参数。
当前，此saveUsingTransaction函数的返回类型是Promise<any[]>。
interface TransactionActionModel {
save: ({ session }: SaveOptions) => any;
}
const saveUsingTransaction = async (
newEntities
浏览 8提问于2022-09-23得票数 0
我把这段代码写成一个
record Person( String name , int age ) { }
List < Person > persons =
List.of(
new Person( "Alice" , 52 ) ,
new Person( "Bob" , 23 ) ,
new Person( "Carol" , 39 )
);
List < Person > sorted =
浏览 11提问于2022-03-25得票数 1
1回答
抽象语法树中的类型信息
、、、
抽象语法树中存在什么类型的信息？AST如何用于类型推断？当所有节点都没有指示具体类型时，我不明白如何获得给定AST的类型输入和输出。是否仅从树结构推断类型？例如，有一堆IfStatement(Statement)，所以它很可能会返回一个bool？例如，javalang模块使用以下AST节点：
CompilationUnit(Node)
Import(Node)
Documented(Node)
Declaration(Node)
Type(Node)
TypeArgument(Node)
TypeParameter(Node)
Annotation(Node)
ElementValuePair
浏览 4提问于2017-03-06得票数 1
1回答
同时实现一个简单的记录器
struct DebugOutput {
DebugOutput(std::ostream& out = std::cerr) : m_Out(out) {}
template<typename T>
inline DebugOutput& operator <<(T&& value) {
m_Out << value;
return *this;
}
private:
std::ostream& m_Out;
};
我
浏览 2提问于2013-09-27得票数 12
回答已采纳
我试图为“service”函数编写一个通用函数定义，它将始终接受两个参数：
context --对于每个函数，这将是相同的结构。
params -这将是不同的，每次，并将键入使用通用。
由于每个服务函数是不同的，所以我不希望为函数写出返回类型，我更希望TypeScript根据函数体推断返回类型。但是，当使用接口函数类型时，我不知道如何告诉TypeScript这样做。
以下是我想要做的事情：
// authenticate.service.ts
export const authenticate: ServiceFn<{
bearerToken: string;
}&g
浏览 4提问于2020-10-22得票数 0
interface Example {
value?: string
[prop: string]: any
}
const xxx: Example = { name: 'Thomas' }
const v = xxx.name
在这里添加"any“实际上删除了name上推断的"string”类型，否则如果xxx没有赋值给Example，该类型就会存在。
有没有办法让接口或类型传递推断类型？
浏览 0提问于2019-11-13得票数 0
例如，引用中的这个片段
template <class InputIterator, class T>
typename iterator_traits<InputIterator>::difference_type
count(InputIterator first, InputIterator last, const T& val)
{
typename iterator_traits<InputIterator>::difference_type ret = 0;
while (first!=last) {
if
浏览 5提问于2016-11-21得票数 3
回答已采纳
2回答
下面的代码有两个问题。
interface MyForm {
age: number;
email: string;
name: string;
}
function Form<
T,
ComponentProps extends {
name: string;
onChange: (event: React.ChangeEvent) => void;
}
>(
props: {
component:
| React.ComponentClass<ComponentProps>
| Re
浏览 3提问于2021-10-20得票数 2
回答已采纳
考虑下面的示例，其中我在泛型数据类的辅助对象中定义了两个泛型函数：
data class CommonResponse<T>(
var data: T? = null
) {
companion object {
// WITH return type
fun <T> succeed1(): CommonResponse<T> = CommonResponse()
// WITHOUT explicit return type
fun <T> succeed2() =
浏览 18提问于2022-04-25得票数 1
回答已采纳
1回答
我要做的是创建一个简单的函数，它可以选择接受transformer方法作为输入和返回：
或者原始结果(如果没有提供transformer )
或基于transformer的返回类型转换的结果。
下面是一个展示我的意思的小例子：
// our basic example interface
interface Person {
name: string;
age: number
};
// the transformer fn type
type TransformerFn = <T>(person: Person) => T;
// method
浏览 0提问于2021-10-26得票数 0
回答已采纳
有时我写项目，直到几个月后才返回。不幸的是，对我来说，我忘记了要传递给函数的内容。我希望能够将鼠标悬停在参数上并查看类型，如整数、字符串、某个类等。有没有IDE可以帮我做到这一点？任何帮助都是非常感谢的。
浏览 3提问于2011-05-31得票数 5
回答已采纳
1回答
我一直在阅读关于从创建我们自己的类型和类型类的文章。当我向data声明中添加类型约束时，我不太理解Haskell编译器的行为。
例如，我有
{-# LANGUAGE DatatypeContexts #-}
data (Ord a) => OrderedValue a = OrderedValue a
getOrderedValue :: OrderedValue a -> a
getOrderedValue (OrderedValue a) = a
如上文所示，我的数据声明中有一个类型约束，说明包含在OrderedValue中的任何值都必须有一个Ord实例。
我试着编译这段代
浏览 1提问于2018-10-17得票数 2
回答已采纳
在a.ml中，记录类型t被定义，并且在a.mli中也被透明地定义，即在d接口中，以便该类型定义可用于所有其他文件。
a.ml还有一个函数func，它返回t的列表。
现在在另一个文件中，我调用了b.ml，很明显，ocaml编译器不能推断出d列表中存储的对象的类型，因为编译器它只是一个列表。所以在b.ml中，我有一些类似于dis的东西，
let tlist = A.func in
let vart = List.hd tlist in
printf "%s\n" vart.name (*name is a field in record t*)
现在我在这里得到一个编译器错
浏览 2提问于2010-05-12得票数 6
回答已采纳
1回答
template <typename T>
bool validate(const T& minimum, const T& maximum, const T& testValue) {
return testValue >= minimum && testValue <= maximum;
}
template <>
bool validate<const char&>(
const char& minimum,
const char& maximum,
浏览 4提问于2016-07-28得票数 3
回答已采纳
1回答
我想知道，如何使用来自URL的@typeparam调用组件
正如在中已经讨论过的那样，我构建了一个组件，就像Roger在他的解决方案中所做的那样。
Raozor.cs使用Microsoft.AspNetCore.Components；
namespace BlazorApp1.Components
{
public partial class MyCustomComponent<T> : ComponentBase
{
[Parameter]
public string Label { get; set; }
}
}
Raz
浏览 2提问于2020-03-28得票数 4
我有C# ArrayList，并添加了两个项int和string类型，现在for循环项返回，并在运行时在var类型中捕获。这个变量类型如何决定编译时的数据类型？
ArrayList al = new ArrayList();
al.Add(10);
al.Add("A");
for(int i=0; i<2;i++)
{
var val = al[i];
Console.WriteLine("type of value is {0} and {1}",val.GetType(),val);
}
浏览 0提问于2019-03-09得票数 0
为什么以下示例中的&&参数类型不表现为所谓的“通用引用”，即使它似乎处于“推导的上下文”中，而是被解释为r值：
auto main() -> int {
using MyFn = void (*)(int &);
MyFn special = [](auto && thing) {}; // compile error, deduced as int && rather than int&
return 0;
}
而下面这些，我希望它是等价的，是否有效呢？
temp
浏览 6提问于2022-03-05得票数 8
在Swift中，常量可以用let关键字表示，如下所示
let MyConstant = 100
并使用如下所示的类型名称显式定义
let MyConstant: Int = 100
使用第二种方法的好处是什么？
浏览 0提问于2014-06-05得票数 1
1回答
我有个问题是关于快速协议相关类型的。
protocol SomeProtocol {}
protocol TestAProtocol: SomeProtocol {}
protocol TestBProtocol: SomeProtocol {}
class TestA: TestAProtocol {}
class TestB: TestBProtocol {}
protocol Service {
associatedtype S: SomeProtocol
var service: S? { get }
}
class ServiceModule: Serv
浏览 0提问于2020-04-14得票数 0
回答已采纳
1回答
是否可以在类型记录中推断多个属性为同一类型，或者可以根据特定属性推断这些类型。
让我们说我们有->
interface Test<T> {
value1: T;
value2: T;
}
const test1:Test<string> = {
value1: 'string1',
value2: 'string1'
}
在上面，如果我把value1或value2变成一个数字，就会出错，太好了。但是最好删除通用<string>，并根据第一个属性类型value1来计算它。
一开始，我想我可以使用默
浏览 1提问于2021-03-09得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
