type-systems

相关标签：javascript jquery android 多少钱 iPhone

What type systems can prevent goal suspension in logical languages?

From section 3.13.3 of the curry tutorial: Operations that residuate are called rigid , whereas operations that narrow are called flexible. All defined operations are flexible whereas most primitiv[详细]

2023-02-04 10:54 分类：问答
Compile-time and runtime casting c#

I was wondering why some casts in C# are checked at compile-time whereas in other cases the responsibility is dumped on CLR. Like above both are incorrect but handled in a different way.[详细]

2023-01-31 20:04 分类：问答
Why can't I use the as keyword for a struct?

I defined the following struct: public struct Call { public SourceFile caller; public SourceFile callee; public Call(SourceFile caller, SourceFile callee)[详细]

2023-01-29 12:48 分类：问答
a good-design approach for making a geometry library (regarding using union or not)?

i am making a geometry library and i am confused, what should be the return type of a function which calculates the intersection of a segment with another segment. The returned value would sometimes b[详细]

2023-01-25 13:39 分类：问答
Explain "C fundamentally has a corrupt type system"

In the book Coders at Work (p355), Guy Steele says of C++: I think the decision to be backwards-compatible with C is a fatal[详细]

2023-01-23 20:29 分类：问答
Abstraction hindering use of custom types, what are the rules to follow in an implementation?

I have built a custom typesystem for usage in C# scripting inside an application. The scripts are compiled on-the-fly and allow interaction with the application internal data. This typesystem is desig[详细]

2023-01-22 18:36 分类：问答
The type system in Scala is Turing complete. Proof? Example? Benefits?

There ar开发者_StackOverflow社区e claims that Scala\'s type system is Turing complete. My questions are:[详细]

2023-01-22 16:55 分类：问答
Can a type be a reference type and a value type at the same time?

If not and the set of reference types and value types are mutually exclusive, why doesn\'t this compile:[详细]

2023-01-21 20:17 分类：问答
What makes Haskell's type system more "powerful" than other languages' type systems?

Reading Disadvantages of Scala type system versus Haskell?, I have to开发者_运维技巧 ask: what is it, specifically, that makes Haskell\'s type system more powerful than other languages\' type systems[详细]

2023-01-17 23:47 分类：问答
Would .NET be able to function just as well without the use of type Object?

I am asking this because it seems like using Object seems to be an easy way out to solve certain problems, like \"I don\'t have a specific type, so use Object\", etc.[详细]

2023-01-15 22:24 分类：问答