"! []" Cú pháp mã Elm trong Todomvc có nghĩa là

Question

Xuất phát từ phản ứng, tôi học cách hiểu Elm.

Trong Todomvc example code, có đoạn mã sau:

-- How we update our Model on a given Msg? 
update : Msg -> Model -> (Model, Cmd Msg) 
update msg model = 
    case msg of 
    NoOp -> 
     model ! []  <-- What is this? 

Những gì tôi (nghĩ tôi) hiểu, là update chức năng mất trong một msg loại Msg và model loại Model, và trả về một bộ chứa một số Model và Cmd Msg.

Nhưng làm cách nào để đọc báo cáo trả lại?

model ! [] 

Tuyên bố này có ý nghĩa gì? trả về danh sách trống "mô hình [cái gì đó]"?
Tôi có bỏ sót điều gì đó trong tài liệu mà điều này được giải thích không? (Googling "elm!" Không đưa tôi đến xa :)

Answer 1

Dấu chấm than trong model ! [] chỉ là một hàm ngắn tay cho (model, Cmd.batch []), là loại trả về từ câu lệnh update điển hình. It is defined here