인라인 할 수있는 포인트없는 기능 이었습니까?

Question

let inline myfunction x y = ... 

let inline mycurried = myfunction x // error, only functions may be marked inline 

명시 적으로 inline 카레 기능이 불가능한 것처럼 보입니다. mycurried이 호출 될 때마다 myfunction이 inlined이라도 정확하게 inlined이되지 않습니다. 맞습니까?

이렇게 카레 기능의 단점 중 하나로 간주 될 수 있습니까?

Answer 1

내가 당신의 질문 point-free 함수가 인라인 여부를 할 수 있는지 여부라고 생각합니다.

발견 한 제한은 카레 기능 때문이 아닙니다. 귀하의 예제에서 카레 기능은 오른쪽에, 왼쪽에는 포인트가없는 기능이 있음에 유의하십시오.

F #은 함수가 상수가 아닌 인라인 만 허용합니다.

원칙적으로 타입 유추가 똑똑해서 (포인트없는) 함수임을 알 수 있지만 부작용에 대해서는 Tomas의 노트를 읽으면 버그라고 생각할 수 있습니다.

컴파일러 좌측은이 오류 실패 만 식별자 발견 명백하게 때

let inline myfunction x y = x + y 

let inline mycurried = myfunction 1 

--> Only functions may be marked 'inline' 

브라이언 대안 양측에 명시 적 매개 변수를 추가하는 것을 특징 같이

let inline mycurried x = (myfunction 1) x 

그러나 귀하의 기능은 더 이상 포인트가 없으며 다음과 동일합니다 :

let inline mycurried x = myfunction 1 x 

일반적인 매개 변수는 왼쪽에 명시 적으로 존재하는 경우

let inline mycurried<'a> = myfunction 1 

가 컴파일 : 또 다른 방법은 명시 적 제네릭 매개 변수를 추가 할 수 있습니다. 당신의 대답 (그리고 downvote)에 대한

Since only functions can be 'inline' this value will be compiled as a function. 

UPDATE

감사 토마스 :

나는 그들이 같은 것을 오류 메시지를 제거하고 그것에게 경고를 켜 바랍니다.

내 개인 의견은 경고 여야하므로 코드의 의미가 결국 변경 될 것이라는 것을 알고 있으므로 어떻게 할 것인지 결정해야합니다.

당신은 인라인 "그냥 최적화"입니다하지만 그건 완전히 사실이 아니다라고 :

. 단순히 모든 인라인 함수를 돌리는 것만으로도 최적의 코드가 보장되는 것은 아닙니다.

. 정적 제약 조건을 사용하려는 경우 인라인을 사용해야합니다.

F # 라이브러리가 이미 수행 한 것처럼 (일종의 GenericZero 및 GenericOne) 내 (종류) 일반 상수를 정의 할 수 있기를 바랍니다. 내 코드가 순수하다는 것을 알기 때문에 매번 실행되는지는 신경 쓰지 않습니다.

Answer 2

나는 그냥 (나는 시도하지 않은하지만) 양쪽에 명시 적으로 매개 변수를 추가 할 필요가 있다고 생각 :

let inline myfunction x y = ... 

let inline mycurried y = myfunction 42 y // or whatever value (42) 

Answer 3

컴파일러는 함수를 정의하는 let 바인딩에 대해서만 inline을 허용합니다. 이것은 본질적으로 with F# value restriction (그리고 also here 참조)의 상황과 같습니다. Brian이 말했듯이, 함수에 매개 변수를 추가하면 쉽게 해결할 수 있습니다.

왜 이러한 제한이 존재합니까? 그것이 없다면, inline을 추가하면 프로그램의 의미가 바뀌고 그것은 나쁠 것입니다! 이제 다음 코드

let createCounter n = 
    let state = ref n 
    (fun() -> incr state; !state) 

:

let counter = createCounter 0 

이 ... 생성을 예를 들어

, 당신은 (카운터 기능을 변경할 상태를 만들고 반환)이 같은 함수가 있다고 가정 해 여러 번 사용할 수있는 단일 전역 함수 ( counter())와 1부터 시작하는 고유 한 정수를 제공합니다. inline :

0123으로 표시 할 수있는 경우

... counter()을 사용할 때마다 컴파일러가이를 createCounter 0()으로 바꾸어야하므로 카운터를 호출 할 때마다 1이됩니다.