typechecking
Error in nested list comprehension in Haskell code
I am trying to write the following list compre开发者_高级运维hension in Haskell and it doesn\'t typecheck. I am new at this and can\'t really figure out why.[详细]
2023-04-13 09:37 分类:问答Type from Scala reflection
Suppose that I have: trait A class B extends A compiled into class files. Later I load those using reflection:[详细]
2023-04-11 04:29 分类:问答How to check if the template parameter of the function has a certain type?
Say I have a function with template type T and two other classes A and B. template <typename T> void func(const T & t)[详细]
2023-04-10 19:08 分类:问答Are there type signatures which Haskell can't verify?
This paper establishes that type inference (called \"typability\" in the paper) in System F is undecidable. What I开发者_如何学Python\'ve never heard mentioned elsewhere is the second result of the pa[详细]
2023-04-10 05:04 分类:问答Objective C protocols usage
I have a homework question which confused me, really badly. Below is a brief explanation of a question.[详细]
2023-04-09 12:30 分类:问答Deriving different and incomparable types from int in C++
I know I cannot derive from an int an开发者_如何学Cd it is not even necessary, that was just one (non)solution that came to my mind for the problem below.[详细]
2023-03-27 05:09 分类:问答Scala Java interop typechecking
I am unable to fix these typechecking errors in Scala: package junk import org.apache.hadoop.conf.Configuration[详细]
2023-03-14 03:24 分类:问答Checking for a particular data constructor
Let\'s say that I defined my own data-Type like data MyData = A arg| B arg2| C arg3 How would I write a function (for instance: isMyDataType) that checks wether the given argument is one out of th[详细]
2023-03-07 20:11 分类:问答What is the pythonic/faster way to check if the "key" argument of a custom __getitem__ method is a slice?
I have a custom Sequence type. It is essentially a wrapper for a list plus a boolean flag and I wanted it to emulate usual immutable sequence behavior.[详细]
2023-03-07 04:04 分类:问答Run of dialyzer after annotation with typer did not show any warnings
In a project with about 6000 lines of Erlang code but no type -spec() annotation yet I tried the following:[详细]
2023-03-01 17:05 分类:问答