Eff (لغة برمجة)

تأثير Get_next : ( وحدة -> وحدة ) خيار تأثير Add_to_queue : ( وحدة -> وحدة ) -> وحدةlet queue initial = handler | effect Get_next k -> ( fun queue -> match queue with | [] -> ( continue k None ) [] | hd :: tl -> ( continue k ( Some hd )) tl ) | effect ( Add_to_queue y ) k -> ( fun queue -> ( continue k () ) ( queue @ [ y ])) | x -> ( fun _ -> x ) | finally x -> x initial ;;