«type-inference» 태그된 질문

잠김 . 이 질문과 주제는 주제가 다르지만 역사적 의미가 있기 때문에이 질문과 답변은 잠겨 있습니다. 현재 새로운 답변이나 상호 작용을받지 않습니다. C # 3에서 'var'키워드 사용에 대해 동료들과 토론 한 후 var를 통한 유형 유추의 적절한 사용에 대한 사람들의 의견이 궁금했습니다. 예를 들어, 나는 의심스러운 상황에서 var를 게으르게 사용했습니다. foreach(var …

406 c#  type-inference  var 

일반 유형 매개 변수를 유추하는 Java 규칙을 탐색하는 데 문제가 있습니다. 선택적 목록 매개 변수가있는 다음 클래스를 고려하십시오. import java.util.Collections; import java.util.List; public class Person { private String name; private List<String> nicknames; public Person(String name) { this(name,Collections.emptyList()); } public Person(String name,List<String> nicknames) { this.name = name; this.nicknames = nicknames; } …

269 java  generics  type-inference 

구성된 배열이 AnyObject있습니다. 반복하고 배열 인스턴스 인 모든 요소를 ​​찾고 싶습니다. Swift에서 객체가 주어진 유형인지 어떻게 확인합니까?

267 swift  type-inference  typechecking 

auto복잡한 템플릿 형식에 대해 C ++ 11 표준에서 사용할 수 있는 새로운 키워드를 사용하고 있습니다. 그러나 나는 또한 그것을 다음과 같은 것들에 사용하고 있습니다 : auto foo = std::make_shared<Foo>(); 그리고 더 회의적으로 : auto foo = bla(); // where bla() return a shared_ptr<Foo> 나는이 주제에 대해 많은 논의를 보지 못했다. …

218 c++  types  c++11  type-inference  auto 

Xcode 6 Beta 6을 사용하고 있습니다. 이것은 지금 당장 나를 괴롭힌 적이 있지만 지금은 거의 사용할 수없는 시점에 도달하고 있습니다. 내 프로젝트는 적당한 크기의 65 Swift 파일과 몇 개의 브리지 된 Objective-C 파일 (실제로 문제의 원인이 아님) 을 갖기 시작했습니다 . 응용 프로그램에서 거의 사용되지 않는 클래스에 간단한 공백을 추가하는 …

210 swift  optimization  compilation  type-inference  compilation-time 

웹 서비스를 호출하고 JSON 응답을 다시 객체로 직렬화하는 일반 함수가 있습니다. class func invokeService<T>(service: String, withParams params: Dictionary<String, String>, returningClass: AnyClass, completionHandler handler: ((T) -> ())) { /* Construct the URL, call the service and parse the response */ } 내가 달성하려는 것은이 Java 코드와 같습니다. public <T> T invokeService(final …

146 swift  generics  type-inference 

그 보인다 auto새로운 언어를 많이 따를 것으로 보인다 C ++ 11에 추가 할 수있는 매우 중요한 기능이다. 파이썬과 같은 언어와 마찬가지로 명시 적 변수 선언을 보지 못했습니다 (파이썬 표준을 사용할 수 있는지 확실하지 않습니다). auto변수를 명시 적으로 선언하는 대신 선언 하는 데 단점이 있습니까?

143 c++  c++11  type-inference  auto 

Scala 언어 사양 에 따르면 : ... 로컬 유형 추론은 [유형 매개 변수의] 추론 된 경계의 복잡성을 제한하도록 허용됩니다. 유형의 최소 성과 최대성은 수용 가능한 복잡성 유형의 집합과 관련하여 이해되어야합니다. 실제로 한계는 무엇입니까? 또한 추론 된 표현식 유형에 적용되는 매개 변수 유형 경계와 다른 제한이 있으며 이러한 제한은 무엇입니까?

120 scala  type-inference 

emacs에서 C #에 대한 완성 (지능형) 기능을 개발 중입니다. 아이디어는 사용자가 조각을 입력 한 다음 특정 키 입력 조합을 통해 완료를 요청하면 완료 기능이 .NET 리플렉션을 사용하여 가능한 완료를 결정한다는 것입니다. 이렇게하려면 완료되는 사물의 유형을 알아야합니다. 문자열 인 경우 알려진 가능한 메서드 및 속성 집합이 있습니다. Int32 인 경우 별도의 …

109 c#  reflection  appdomain  type-inference 

정적 제네릭 메서드와 관련된 흥미로운 상황을 발견했습니다. 다음은 코드입니다. class Foo<E> { public static <E> Foo<E> createFoo() { // ... } } class Bar<E> { private Foo<E> member; public Bar() { member = Foo.createFoo(); } } 식에 유형 인수를 지정할 필요가없는 이유는 Foo.createFoo()무엇입니까? 이것은 일종의 유형 추론입니까? 이에 대해 명시 …

106 java  generics  static  type-inference 

여기서 정적 입력과 동적 입력에 대한 흥미로운 논의를 봅니다. 나는 일반적으로 컴파일 유형 검사, 더 나은 문서화 된 코드 등으로 인해 정적 유형을 선호합니다. 그러나 예를 들어 Java가 수행하는 방식으로 수행되면 코드를 복잡하게 만드는 데 동의합니다. 그래서 저는 저만의 기능적 스타일 언어를 만들기 시작하려고합니다. 타입 추론은 제가 구현하고 싶은 것 …

94 compiler-construction  functional-programming  language-design  type-inference 

이 사이트에서 다른 답변에 대한 코드를 작성하는 동안 다음과 같은 특징을 발견했습니다. static void testSneaky() { final Exception e = new Exception(); sneakyThrow(e); //no problems here nonSneakyThrow(e); //ERRROR: Unhandled exception: java.lang.Exception } @SuppressWarnings("unchecked") static <T extends Throwable> void sneakyThrow(Throwable t) throws T { throw (T) t; } static <T extends …

85 java  generics  java-8  type-inference 

저는 Haskell을 처음 접했고 이해할 수없는 "무한 유형을 구성 할 수 없습니다"라는 오류에 직면했습니다. 사실 그 이상으로이 오류가 무엇을 의미하는지에 대한 좋은 설명을 찾을 수 없었기 때문에 기본 질문을 넘어서 "무한 유형"오류에 대해 설명해 주시면 정말 감사하겠습니다. 코드는 다음과 같습니다. intersperse :: a -> [[a]] -> [a] -- intersperse '*' …

82 haskell  types  type-inference 

RecycleViewby id 를 찾으려고하면 다음과 같은 오류가 발생 합니다. 오류 :- 유형 추론 실패 : 매개 변수 T 를 추론하기에 정보가 충분하지 않습니다. 암호: class FirstRecycleViewExample : AppCompatActivity() { val data = arrayListOf<String>() override fun onCreate(savedInstanceState: Bundle?) { super.onCreate(savedInstanceState) setContentView(R.layout.first_recycleview) val recycler_view = findViewById(R.id.recycler_view) as RecyclerView ///IN THIS LINE I …

80 android  android-layout  kotlin  type-inference 

사용 된 메소드 참조에는 리턴 유형이 Integer있습니다. 그러나 String다음 예 에서는 호환되지 않습니다 . with수동으로 캐스팅하지 않고 메소드 참조 유형을 안전하게 얻기 위해 메소드 선언 을 수정하는 방법 은 무엇입니까? import java.util.function.Function; public class MinimalExample { static public class Builder<T> { final Class<T> clazz; Builder(Class<T> clazz) { this.clazz = clazz; …

38 java  generics  lambda  type-inference  method-reference