def curry[A,B,C](f: (A, B) => C): A => (B => C) =
(a: A) => f(a, _)
def curry[A,B,C](f: (A, B) => C): A => (B => C) =
(a: A) => (b: B) => f(a, b)
내가 처음 생각한 것은 첫 번째 구현에서 C를 얻으려면 함수
나는 어떻게 Currying in Moose가 더 잘 작동하는지 이해하려고 노력하고있다. 위의 설명서에서 예제를 사용했지만 그대로 작동하지 않습니다. 내가 set_user_agent('MyClient');
를 호출 할 경우 나는 다음과 같은 오류가 발생합니다 : Cannot delegate set_user_agent to header because th
입력과 출력이 각각 함수 인 연산자를 정의하고 싶습니다. 예를 들어, I는 예를 들어, F (Z, X, Y)를 (x, y, z)의 F를 전송 오퍼레이터를 얻을 op1 및 op2를 작성하고자 제가 op1[f_,x_,y_,z_]:= f[y,x,z]
op2[f_,x_,y_,z_]:=f[x,z,y]
을 말한다. 그러나 op1[op2[f,x,y,z],x,y,z
F # 컴파일러는 다른 유형이 이후에 호출되는 함수를 통해 다른 경로를 암시하는 함수를 호출하여 코드 경로를 구분할 수 있습니까? 다음과 같은 구분 된 합집합을 고려하십시오. 이론적으로 서로 다른 종류 2 가지 가능성이있다 : type Choice =
| Halve
| Double
우리는 이러한 경우 중 일부에 대한 몇 가지 특정 기능
이 같은 유사한 형태로 스칼라에서 일부 코드 건너 온 : def test1(f : Int => Int)(x : Int) = x + f(x)
def test2(f : Int => Int)(x : Int) = f(x)
test2(test1(x => 2*x))(2)
기능 TEST1 함수를 취하고 매개 변수로 INT, 및 함수를 반환 그래
나는이 OCaml walking through 슬라이드를 읽고있다, 나는 여기 intersting 질문 찾습니다이 the type of this expression contains type variables that cannot be generalized
난 몰라 : 그 함수가 컴파일 오류가 발생합니다 아차 것을 이유는 내 Mac에서 OCaml 버전 4
는 본인은 : (==) :: 이퀄라이저 A => A -> A -> BOOL 애플리케이션의 일례는 다음과 같을 수있다 (==) 2, 발생되는 사실이다. 그 : uncurry (==) :: 이퀄라이저 B => (B, B) -> BOOL. 응용 프로그램의 예는 uncurry (==) (2, 2) 일 수 있습니다. 결과는 True입니다. 하지만 이해하고 이유를 예
:는 plus1 = (+) 1
내가 사용할 수 있습니다 Prelude> plus1 3
4
plus1의 유형 함수 매개 변수 정수가 여기에 허용되는 방법 plus1 :: Integer -> Integer
입니까? 내 함수 정의에서 Integer 함수 매개 변수는 어디에 정의되어 있습니까? Java에서 발생하는 모든 매개 변수는 메소드의 일부로 정
Agda에서 모든 기능을 카레로 처리 할 수 있다고 가정했습니다. 따라서 입력 순서를 언제든지 바꿀 수 있습니다. 는 심지어 컴파일 것을 표현하는 정리 : curry : {A : Set} -> {B : Set} -> {C : Set} -> (A -> B -> C) -> (B -> A -> C)
curry f b a = f a b
그러나, AGDA