type-signature

0열

1답변

Android에서 XADES-BES로 파일에 서명하려고합니다. 나는 그것에 관한 도서관을 발견했다. APK를 만들고 작성하면 문제가 없습니다. 파일을 선택하고 Sign 버튼을 클릭하면 런타임 오류가 발생합니다. 디버깅 후 나는 에 대한 실수가 있음을 발견했습니다. Context. 나는 프로그램이 충돌하는 곳에 코멘트를 추가했다. 코드의 관련 부분은 다음과

2열

2답변

elm의 함수에 대한 유형 시그니처 받기

저는 elm 0.18을 사용하고 있습니다. 내가 서둘러 함께 던진 것들을 묶어주는 기능이 있다고 가정 해 보겠습니다. 그것은 작동하지만 형식 서명이 무엇인지 잘 모르겠습니다. elm이 형식 서명과 관련하여 나에게 (또는 힌트를) 말하게하고 싶습니다. 예를 들어 graphql을 사용하고 graphql 문자열, 형식 서명이없는 디코더 및 Cmd Msg을 사용하

2열

1답변

컴파일러가 제네릭 형식 변수의 이름이 다른 두 개의 동일한 서명을 다른 형식으로 식별하는 이유는 무엇입니까?

질문 왜 val of_bindings : (key * '_a) list -> '_a t val of_bindings : (key * 'a) list -> 'a t 다른 서명은? 상황 좀지도 확장 구현이 있습니다 MAPEXT.ml : module type T = sig include Map.S val of_bindings : (key

1열

1답변

하스켈에서 색인을위한 타입 시그니처

프로젝트 오일러 문제 7 : 10 001 번째 소수는 무엇인가? 이 매개 변수는 단일 매개 변수 (10001)를 사용하고 10001 번째 소수를 반환하는 함수입니다. GHCi는 아무 문제가 없습니다. 이제는 좋은 Haskeller가되어서 타입 서명을하고 싶습니다. 그러나 상단에 p007nthPrime :: (Integral a) => a -> a을 두는 것

1열

1답변

함수에 대한 참조 (형식)를 어떻게 알 수 있습니까?

테스트 할 기능의 구현이 몇 가지 있습니다. 이를 깔끔하게하기 위해, 나는 그것들에 대한 참조를 배열에 넣고 하나씩 호출하기를 원한다. 최근의 구문 변경으로 인해이 작업을 수행하려면 먼저 올바른 형식 서명을 사용하여 함수를 함수 참조로 명시 적으로 변환해야합니다. 함수를 선언 할 때 사용하는 구문이 실제 유형과 다르므로이 작업은 간단하지 않습니다. 사소한

1열

1답변

녹 (Rust)의 where 절에있는 특성의 가능한 연산자는 무엇입니까?

나는 녹을 배우고 있으며 특성 경계에 관한 장을 읽었습니다. 이 장에서는 where 절에 필요한 모든 특성을 열거하기 위해 + (더하기) 연산자와 함께 예제를 제공합니다. 녹의 특성에 대해 다른 연산자는 무엇이 허용됩니까? 검색했지만이 문서에 대한 문서를 찾을 수 없었습니다. 녹이 '또는'표기법, 대괄호, 부정을 지원합니까?

3열

1답변

왜 형식 서명이 이렇게 생겼습니까? (교회 번호를 Int로 변환)

저는 하스켈을 배우고 교회 번호를 Int로 변환하는 함수를 작성하려고합니다. 내 코드는 형식 서명을 쓰지 않는 경우에만 작동합니다. type Church a = (a -> a) -> a -> a zero :: Church a zero s z = z c2i :: Church a -> Int -- This line fails c2i x = x (+1

1열

3답변

하스켈 형식 시그니처의 경우 babel :: a -> b -> c와 같이 반환 형식이 무엇입니까?

왜 하스켈은이를 반영하기 위해 어떤 종류의 특별한 형식을 사용하지 않습니까? 아니면 -> c를 다른 방식으로 이해할 수 있습니까? 모든 매개 변수가 채워 때까지

0열

1답변

단일 기능 콜라주 체인의 서명 유형

저는 haskell을 처음 접했고 유형 서명에 어려움을 겪었습니다. 저는 단일 함수 Collatz 체인 생성기를 개발 중입니다. 저는 몇 가지 haskell collatz 질문을 보았습니다. 그러나 제가 대답하려고하는 종류의 문제에 대한 답을 보지 못했습니다. GHCI를 사용하고 있습니다. collatz :: (Num a) => a -> [a] colla

2열

1답변

오디오 트랙 인코딩 얻기

.3g2 파일이 있다고 가정합니다. 다른 인코딩 (AAC, AMR)의 오디오 트랙을 포함 할 수 있습니다. 가 아니면, 예를 들어, .M4A 파일 (AAC 또는 ALAC) 인코딩 된 오디오 트랙을 포함 할 수있다. MediaInfo 꽤 잘 감지하지만 나는 C++을 사용 할 수 있어야합니다. 내 질문은 내가 미디어 파일에서 오디오 트랙의 종류를 감지 할 수있