Cách ngắn nhất chúng ta có thể thể hiện chức năng là gì

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

trong ký hiệu không có điểm?

pointfree.io cho chúng tôi

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

mà với một chút công việc có thể được rút ngắn thành

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

cho 76 byte. Nhưng điều này dường như vẫn thực sự dài và phức tạp cho một nhiệm vụ đơn giản như vậy. Có cách nào chúng ta có thể diễn tả phép cộng theo cặp như một hàm không có điểm ngắn hơn không?

Để rõ ràng theo ý tôi muốn nói là không có điểm, một khai báo hàm không có điểm bao gồm lấy các hàm và toán tử hiện có và áp dụng chúng cho nhau theo cách mà hàm mong muốn được tạo. Backticks, ngoặc và các giá trị văn chương ( [], 0, [1..3], vv) được cho phép nhưng các từ khóa như wherevà letkhông. Điều này có nghĩa là:

• Bạn không thể chỉ định bất kỳ biến / chức năng

• Bạn không thể sử dụng lambdas

• Bạn không được nhập

Đây là câu hỏi tương tự khi nó là một CMC

44 byte

Có cái này từ \x y -> (fst x + fst y, snd x + snd y)

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

Hãy thử trực tuyến!

44 byte

-8 byte nhờ rjan Johansen. -3 byte nhờ Bruce Forte.

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

Hãy thử trực tuyến!

Dịch sang:

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

67 byte

-8 byte nhờ rjan Johansen. -1 byte nhờ Bruce Forte.

Nếu đầu ra tuple là bắt buộc:

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

Hãy thử trực tuyến!

Yup, tôi tự làm nó không tạo ra trái chín. Nhưng tôi hài lòng với việc [a] → (a, a)chuyển đổi.

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

Bây giờ nếu có một chức năng ngắn với m (a → b) → a → m b.

54 byte

Tôi thực sự nghi ngờ rằng chúng tôi sẽ đánh bại giải pháp 44 byte của @ H.PWiz, nhưng không ai sử dụng thực tế là (,)thực hiện lớp loại Functor, vì vậy đây là một giải pháp thú vị khác không quá tệ:

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

Hãy thử trực tuyến!

Giải trình

Việc triển khai lớp loại Functorcho 2 -Tuples rất giống với lớp Either(từ cơ sở-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)

Điều này có nghĩa gì cho thách thức này, là hàm sau thêm các phần tử thứ hai trong khi vẫn giữ phần tử đầu tiên của đối số thứ hai:

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

Vì vậy, nếu chúng ta có một số người trợ giúp nhỏ, helpPlz = \a b -> (fst a+fst b,snd b)chúng ta có thể làm (helpPlz<*>).flip(fmap.(+).snd)và sẽ được thực hiện. May mắn thay, chúng tôi có công cụ pointfreecung cấp cho chúng tôi:

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

Vì vậy, chỉ cần cắm chức năng đó trở lại, chúng tôi đi đến giải pháp trên (lưu ý rằng (<*>) = apđó là trong cơ sở ).

60 byte

Tôi không thấy uncurrytình yêu nào ở đây, vì vậy tôi nghĩ rằng tôi đã tham gia và khắc phục điều đó.

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

Tôi nghĩ rằng, với tất cả fstvà snd, việc giải nén các đối số có uncurrythể mang lại một số kết quả. Rõ ràng, nó không hiệu quả như tôi mong đợi.