함수를 표현할 수있는 가장 짧은 방법은 무엇입니까

f(a,b)(c,d)=(a+c,b+d)

포인트 프리 표기법으로?

pointfree.io 는 우리에게 제공

uncurry (flip flip snd . (ap .) . flip flip fst . ((.) .) . (. (+)) . flip . (((.) . (,)) .) . (+))

약간의 작업으로 단축 할 수 있습니다

uncurry$(`flip`snd).((<*>).).(`flip`fst).((.).).(.(+)).flip.(((.).(,)).).(+)

76 바이트 그러나 이것은 여전히 보인다 정말 길고 복잡한 같은 간단한 작업. 더 짧은 point-free 함수로 pairwise add를 표현할 수있는 방법이 있습니까?

포인트 프리라는 의미로 분명히하기 위해, 포인트 프리 함수 선언은 기존 함수와 연산자를 가져 와서 원하는 함수가 생성되는 방식으로 서로 적용하는 것을 포함합니다. 역 따옴표, 괄호 리터럴 값 ( [], 0, [1..3], 등)은 허용하지만, 같은 키워드 있습니다 where와는 let없습니다. 이것은 다음을 의미합니다.

• 변수 / 함수를 할당 할 수 없습니다

• 람다를 사용할 수 없습니다

• 수입하지 않을 수 있습니다

CMC 일 때의 동일한 질문입니다.

44 바이트

이걸로 \x y -> (fst x + fst y, snd x + snd y)

(<*>).((,).).(.fst).(+).fst<*>(.snd).(+).snd

온라인으로 사용해보십시오!

44 바이트

Ørjan Johansen 덕분에 -8 바이트 Bruce Forte 덕분에 -3 바이트

(.).flip(.)<*>(zipWith(+).)$mapM id[fst,snd]

온라인으로 사용해보십시오!

번역 :

f t1 t2 = zipWith (+) (mapM id [fst, snd] $ t1) (mapM id [fst, snd] $ t2)

67 바이트

Ørjan Johansen 덕분에 -8 바이트 Bruce Forte 덕분에 -1 바이트.

튜플 출력이 필요한 경우 :

(((,).head<*>last).).((.).flip(.)<*>(zipWith(+).)$mapM id[fst,snd])

온라인으로 사용해보십시오!

그렇습니다. 수동으로 익은 과일을 생산하지 않습니다. 그러나 나는 [a] → (a, a)회심에 만족합니다 .

listToPair ∷ [a] → (a, a)
listToPair = (,) . head <*> last
-- listToPair [a, b] = (a, b)

이제 짧은 기능 이 있다면 m (a → b) → a → m b.

54 바이트

@ H.PWiz의 44 바이트 솔루션을 이길 것이라고 솔직히 의심하지만 아무도 (,)type 클래스 를 구현 한다는 사실을 사용하지 않았 Functor으므로 여기에 너무 나쁘지 않은 흥미로운 것이 있습니다.

((<*>snd).((,).).(.fst).(+).fst<*>).flip(fmap.(+).snd)

온라인으로 사용해보십시오!

설명

유형 클래스의 구현 Functor을위한 2 -Tuples은 매우 유사하다 Either(에서 기본-4.10.1.0 ) :

instance Functor ((,) a) where
    fmap f (x,y) = (x, f y)

instance Functor (Either a) where
    fmap _ (Left x) = Left x
    fmap f (Right y) = Right (f y)

이것이이 도전에 의미하는 것은 다음 함수가 두 번째 인수의 첫 번째 요소를 유지하면서 두 번째 요소를 추가한다는 것입니다.

λ f = fmap.(+).snd :: Num a => (a, a) -> (a, a) -> (a, a)
λ f (1,-2) (3,-4)
(3,-6)

그래서 우리가 작은 조력자를 얻었을 때 우리는 helpPlz = \a b -> (fst a+fst b,snd b)할 수 (helpPlz<*>).flip(fmap.(+).snd)있고 할 수 있었습니다 . 운 좋게도 우리에게 다음과 같은 도구 pointfree를 제공합니다.

helpPlz = (`ap` snd) . ((,) .) . (. fst) . (+) . fst

그래서 우리는 솔루션 위 (참고에 도착 단순히 그 기능 등을 연결하여 (<*>) = ap에있는 베이스 ).

60 바이트

나는 uncurry여기에 어떤 사랑도 보지 못해서 내가 튀어 나와서 고칠 것이라고 생각했다.

uncurry$(uncurry.).flip(.)(flip(.).(+)).(flip(.).((,).).(+))

나는 모든 fstand snd와 함께 인수를 풀면 uncurry약간의 결과가 나올 수 있다고 생각했습니다 . 분명히, 내가 기대했던 것만 큼 유익하지 않았습니다.