올바른 유형을 추론 할 수없는 이유는 무엇입니까?

찬성

Haskell에서는 .NET을 사용하여 문자열에서 Haskell 값을 만들 수 있습니다 read.

Prelude> read "1" + 3
4

fst첫 번째 요소를 얻는 데 사용할 수 있습니다.

Prelude> fst (1,2)
1

그러나 결합 read하고 fst첫 번째 요소를 얻으려면 오류가 발생합니다 .

Prelude> fst (read "(1,2)")

<interactive>:20:6:
    Could not deduce (Read b0) arising from a use of ‘read’
    from the context (Read a)
      bound by the inferred type of it :: Read a => a
      at <interactive>:20:1-18
    The type variable ‘b0’ is ambiguous

뭐가 문제 야?

Alaya

으로 read다형성 기능이의 read "3" + 4작품이 컴파일러는 당신이 원하는 알고 있기 때문에 Num당신이 적용하기 때문 +read "3"컴파일러는 당신이 원하는 것을 알아낼 수없는 경우, 당신의 유형을 지정해야 read다음과 같이 :

Prelude> let rd = read :: String->(Int,Int)
Prelude> rd "(1,2)"

이 기사는 인터넷에서 수집됩니다. 재 인쇄 할 때 출처를 알려주십시오.

침해가 발생한 경우 연락 주시기 바랍니다[email protected] 삭제

에서 수정
0

몇 마디 만하겠습니다

0리뷰
로그인참여 후 검토

관련 기사

분류에서Dev

gcc가 내 함수 템플릿에 대한 올바른 유형을 추론 할 수없는 이유는 무엇입니까?

분류에서Dev

GHC가이 유형을 추론 할 수없는 이유는 무엇입니까?

분류에서Dev

typescript에서`payload is T`를 반환 할 때 올바른 유형을 추론하는 방법은 무엇입니까?

분류에서Dev

Typescript가 enum switch 문을 기반으로 올바른 유형을 유추 할 수없는 이유는 무엇입니까?

분류에서Dev

TypeScript가 동일한 객체 유형의 할당을 추론 할 수없는 이유는 무엇입니까?

분류에서Dev

위임 매개 변수 유형을 추론 할 수없는 이유는 무엇입니까?

분류에서Dev

mypy는 생성기 이해 유형을 올바르게 추론 할 수 없습니다.

분류에서Dev

MFC : 인수 유형에 따라 올바른 함수를 선택할 수없는 이유는 무엇입니까?

분류에서Dev

한 유형 데코레이터가 유형을 올바르게 추론하는 방법은 무엇입니까?

분류에서Dev

가리키는 변수의 유형에 따라 포인터 유형을 추론 할 수없는 이유는 무엇입니까?

분류에서Dev

Flutter의 동적 유형 함수가 올바른 유형을 반환 할 수없는 이유는 무엇입니까?

분류에서Dev

컴파일러가 static_cast의 유형 매개 변수를 추론 할 수없는 (또는 추론하지 않는) 이유는 무엇입니까?

분류에서Dev

Scala에서 커링을 적용 할 때 유형 추론이 작동하는 이유는 무엇입니까?

분류에서Dev

TypeScript는 약속 유형을 추론 할 수 없습니다.

분류에서Dev

초기화되는 인수로 일반 구조체 유형을 추론 할 수없는 이유는 무엇입니까?

분류에서Dev

typeclass 메서드와 함께 TypeApplications를 사용하는 방법과 GHCi가 사용할 수없는 유형을 추론하는 이유는 무엇입니까?

분류에서Dev

typescript가 표현 유형을 추론 할 수없는 이유

분류에서Dev

컴파일러가 사용자 지정 컬렉션에 대해 루프 변수 유형을 추론 할 수없는 이유는 무엇입니까?

분류에서Dev

컴파일러가 유형을 추론 할 수있을 때 함수에 유형 서명을 사용하는 좋은 이유는 무엇입니까?

분류에서Dev

gcc가 첫 번째 반환 절을 구문 분석 한 후 반환 값 유형을 추론 할 수없는 이유는 무엇입니까?

분류에서Dev

이 함수에 대한 템플릿 인수를 추론 할 수없는 이유는 무엇입니까?

분류에서Dev

sklearn의 SGDRegressor 함수가 올바른 최적 값으로 수렴 할 수없는 이유는 무엇입니까?

분류에서Dev

부분 전문화에서 종속 템플릿 유형을 추론 할 수없는 이유는 무엇입니까?

분류에서Dev

std :: forward가 스스로 템플릿 매개 변수를 추론 할 수없는 이유는 무엇입니까?

분류에서Dev

`std :: async`가 올바른 오버로드를 선택할 수없는 이유는 무엇입니까?

분류에서Dev

tcl에서 올바른 pi 값에 액세스 할 수없는 이유는 무엇입니까?

분류에서Dev

git push가 올바른 ssh 키를 선택할 수없는 이유는 무엇입니까?

분류에서Dev

올바른 위치에 올바른 문자열을 추가하지 않는 이유는 무엇입니까?

분류에서Dev

'List <dynamic>'은 'List <Comment>'유형의 하위 유형이 아닙니다. Dart가이 유형을 추론 할 수없는 이유는 무엇입니까? 이 문제를 어떻게 해결합니까?

Related 관련 기사

  1. 1

    gcc가 내 함수 템플릿에 대한 올바른 유형을 추론 할 수없는 이유는 무엇입니까?

  2. 2

    GHC가이 유형을 추론 할 수없는 이유는 무엇입니까?

  3. 3

    typescript에서`payload is T`를 반환 할 때 올바른 유형을 추론하는 방법은 무엇입니까?

  4. 4

    Typescript가 enum switch 문을 기반으로 올바른 유형을 유추 할 수없는 이유는 무엇입니까?

  5. 5

    TypeScript가 동일한 객체 유형의 할당을 추론 할 수없는 이유는 무엇입니까?

  6. 6

    위임 매개 변수 유형을 추론 할 수없는 이유는 무엇입니까?

  7. 7

    mypy는 생성기 이해 유형을 올바르게 추론 할 수 없습니다.

  8. 8

    MFC : 인수 유형에 따라 올바른 함수를 선택할 수없는 이유는 무엇입니까?

  9. 9

    한 유형 데코레이터가 유형을 올바르게 추론하는 방법은 무엇입니까?

  10. 10

    가리키는 변수의 유형에 따라 포인터 유형을 추론 할 수없는 이유는 무엇입니까?

  11. 11

    Flutter의 동적 유형 함수가 올바른 유형을 반환 할 수없는 이유는 무엇입니까?

  12. 12

    컴파일러가 static_cast의 유형 매개 변수를 추론 할 수없는 (또는 추론하지 않는) 이유는 무엇입니까?

  13. 13

    Scala에서 커링을 적용 할 때 유형 추론이 작동하는 이유는 무엇입니까?

  14. 14

    TypeScript는 약속 유형을 추론 할 수 없습니다.

  15. 15

    초기화되는 인수로 일반 구조체 유형을 추론 할 수없는 이유는 무엇입니까?

  16. 16

    typeclass 메서드와 함께 TypeApplications를 사용하는 방법과 GHCi가 사용할 수없는 유형을 추론하는 이유는 무엇입니까?

  17. 17

    typescript가 표현 유형을 추론 할 수없는 이유

  18. 18

    컴파일러가 사용자 지정 컬렉션에 대해 루프 변수 유형을 추론 할 수없는 이유는 무엇입니까?

  19. 19

    컴파일러가 유형을 추론 할 수있을 때 함수에 유형 서명을 사용하는 좋은 이유는 무엇입니까?

  20. 20

    gcc가 첫 번째 반환 절을 구문 분석 한 후 반환 값 유형을 추론 할 수없는 이유는 무엇입니까?

  21. 21

    이 함수에 대한 템플릿 인수를 추론 할 수없는 이유는 무엇입니까?

  22. 22

    sklearn의 SGDRegressor 함수가 올바른 최적 값으로 수렴 할 수없는 이유는 무엇입니까?

  23. 23

    부분 전문화에서 종속 템플릿 유형을 추론 할 수없는 이유는 무엇입니까?

  24. 24

    std :: forward가 스스로 템플릿 매개 변수를 추론 할 수없는 이유는 무엇입니까?

  25. 25

    `std :: async`가 올바른 오버로드를 선택할 수없는 이유는 무엇입니까?

  26. 26

    tcl에서 올바른 pi 값에 액세스 할 수없는 이유는 무엇입니까?

  27. 27

    git push가 올바른 ssh 키를 선택할 수없는 이유는 무엇입니까?

  28. 28

    올바른 위치에 올바른 문자열을 추가하지 않는 이유는 무엇입니까?

  29. 29

    'List <dynamic>'은 'List <Comment>'유형의 하위 유형이 아닙니다. Dart가이 유형을 추론 할 수없는 이유는 무엇입니까? 이 문제를 어떻게 해결합니까?

뜨겁다태그

보관