type-inference

1열

1답변

print()의 긴 인수가 "표현식이 너무 복잡해서 해결할 수 없습니다."

저는 Swift에서 새로 왔으며이 코드를 빌드 할 때 문제가 있습니다. "표현식이 너무 복잡하여 적절한 시간에 해결할 수 없으므로 표현식을 다른 하위 표현식으로 분리하는 것을 고려하십시오." 나는 인쇄물을 원할 때 속성을 관리하는 방법이 잘못되었다고 생각하지만 이유를 찾지 못했습니다. class Personne{ var name : String

swift inheritance compiler-errors type-inference 2017-12-02

---

3열

2답변

왜 단순한 "?"캡처가 컴파일되지 않습니다. 심지어 유형 안전이 컴파일 타임 유추 될 수 있습니까?

나는 엄격한, 간단한 일반적인 유형의 클래스가 : "캡처"그 사실에 대한 정확한 이유가 무엇 public class GenericTools<T> { private final Supplier<T> supplier; private final Consumer<T> consumer; public GenericTools(Supplier

java generics type-inference type-safety unbounded-wildcard 2017-12-03

---

-1열

2답변

Go에서 리터럴 유형 유추와 혼동

GoLang을 배우기 시작했으며 현재 짧은 변수 선언 구문을 사용하여 유형 유추 시스템에 대해 읽고 있습니다. 여기 내 관심을 끌었 간단한 프로그램이며, 이해 좀 diffculty를 일으키는 : package main import ( "fmt" "sort" ) type statistics struct { numbers []

go types type-inference 2017-12-07

---

1열

1답변

컴파일러 실패

편집은 : 그것은 내 문제를 좁히는 데 도움이 필요한 정보를 포함하지 않은으로 마지막 개정은 도움이되지 않는 것으로 간주되었다. 그러므로 AST도 포함시킬 필요가 있습니다. 다음은 사용자 정의 스키마를 기반으로 play-json의 json을 구문 분석하고 쓰는 것을 허용하는 라이브러리 전체입니다. import scala.language.higherKinds

scala type-inference implicit functional-dependencies play-json 2017-12-08

---

0열

2답변

haskell 유형 서명을 읽는 방법?

그래서 난 내 ghci jkl x f y = f (map (+y) x) 에이 문을 넣어 그리고 내가 다시 넣어이 나왔다. jkl :: Num b => [b] -> ([b] -> t) -> b -> t 하지만 읽을 때 혼란 스럽습니다. 내 이해에서 jkl은 [b], [b] 및 t 및 b를 취하는 형식 num입니다. 결국 그것은 t를 출력 할 것이다.

haskell type-inference 2017-12-13

---

0열

1답변

메소드 참조가이 기능과 작동하지 않는 이유는 무엇입니까?

나는 이런 식으로 보입니다. static <R> R applyOthers(Some some, Function<List<Other>, R> function) { List<Other> others = ...; return function.appply(others); } 지금 내가이 때, withSome(some -> { List

generics lambda type-inference method-reference 2017-12-16

---

7열

1답변

TypeFamilies 또는 GADTs 갑자기 유효한 코드

내가 가지고있는 매우 무고한 보이는 코드 그것은 컴파일하고 잘 작동 data Config = Config { cInts :: [Int] , cStrings :: [String] } instance Semigroup Config where c1 <> c2 = Config { cInts = andCombiner cInt

haskell type-inference gadt type-families 2017-12-29

---

1열

1답변

언 바운드 레코드 필드 id 오류

나는 Reason-React를 시험 중이다. 구성 요소 중 하나에 키를 추가하려고하면 문제가 발생합니다. 나는 TodoItem의 목록을 상태로 취하는 TodoApp를 보유하고 있습니다. TodoItem에 대한 키가 없으면 응용 프로그램이 제대로 작동합니다. 그러나 내가 그것을 추가하면 컴파일 오류가 발생합니다. 내가 참조를 위해 여기에 파일을 추가하고 :

ocaml type-inference reason 2017-11-15

---

0열

1답변

lambda와 Java의 메소드 참조에서 타입 추론이 작동하지 않는 이유는 무엇입니까?

코드가 컴파일되지 않아야하지만! public class MyClass { ........... private void setEndDateOfValidStatusToCurrentTime(List<LifecycleStatus> oldStatuses, Date currentTime) { oldStatuses.stream()

java lambda type-inference method-reference 2017-11-16

---

2열

1답변

함수의 반환 유형을 추론하는 방법은 무엇입니까?

블록의 반환 유형이 유추됩니다. fn main() { let x = { 5 }; println!("{}", x); } 그러나 블록에 이름을 지정하면 형식을 지정해야합니다. fn five() -> i32 { 5 } fn main() { let x = five(); println!("{}", x); }

rust type-inference 2017-11-17

---