Chức năng Elm với loại: Tín hiệu (Danh sách a) -> Danh sách (Tín hiệu a)

Question

Tôi mới dùng elm và lập trình chức năng nói chung. Nhưng tôi đang sử dụng elm và tôi thực sự cần một chức năng có một tín hiệu (List String) như là một đầu vào và trả về List (Signal String).

Tôi biết tôi có lẽ không nên có vấn đề này với thiết kế kiến ​​trúc tốt hơn trong chương trình của tôi nhưng có một chức năng có thể làm điều này sẽ giải quyết được một vấn đề lớn đối với tôi.

Các kết hợp chức năng không hoàn toàn ngược lại:

combine : List (Signal a) -> Signal (List a) 
combine = List.foldr (map2 (::)) (constant []) 

Tôi đã cố gắng để làm một cái gì đó tương tự như kết hợp chức năng nhưng đã không thành công cho đến nay. Bất kỳ ý tưởng về cách tạo ra chức năng như vậy?

Answer 1

này là không thể nói chung

Nghịch đảo của combine là không (nói chung) có thể.
Khi bạn có danh sách kích thước tĩnh của tín hiệu, bạn có thể combine chúng thành tín hiệu danh sách kích thước tĩnh. Nhưng khi bạn đi theo cách khác, không có gì đảm bảo rằng các danh sách trong tín hiệu là một kích thước tĩnh. Do đó bạn không thể "chỉ" xây dựng một danh sách ra khỏi nó.
(Nếu bạn có thể sau đó một giá trị bình thường của loại List có thể có kích thước thay đổi mà không hiển thị Signal xung quanh các loại, và bạn sẽ được tạo ra tự động và phá hủy tín hiệu trong danh sách. Đó là hai điều Elm không cho phép.)

Nhưng với một số hạn chế ...

Tất nhiên nếu bạn biết rằng danh sách trong tín hiệu có kích thước tĩnh, bạn có thể viết một chức năng cụ thể dựa trên giả định đó; chức năng đó sau đó sẽ thất bại trong thời gian chạy nếu trường hợp xảy ra rằng giả định của bạn về danh sách kích thước tĩnh là sai.

unsafe : Maybe a -> a 
unsafeHead m = 
    case m of 
    Just a -> a 
    Nothing -> Debug.crash "unsafe: You're out of luck. The `Maybe` was not a `Just`. " 

uncombine : Int -> Signal (List a) -> List (Signal a) 
uncombine n sig = 
    if n == 0 
    then [] 
    else Signal.map (List.head >> unsafe) sig 
     :: uncombine (n-1) (Signal.map (List.tail >> unsafe) sig) 

(Tôi khá chắc chắn câu hỏi này đã được thảo luận trên danh sách elm-discuss gửi thư một lần, nhưng tôi không thể tìm thấy nó nữa)