{"id":86374,"date":"2024-12-01T21:47:43","date_gmt":"2024-12-01T18:17:43","guid":{"rendered":"https:\/\/nabfollower.com\/blog\/powerful-form-validation-with-ocamls-dream-framework-4ggj\/"},"modified":"2024-12-01T21:47:43","modified_gmt":"2024-12-01T18:17:43","slug":"powerful-form-validation-with-ocamls-dream-framework-4ggj","status":"publish","type":"post","link":"https:\/\/nabfollower.com\/blog\/powerful-form-validation-with-ocamls-dream-framework-4ggj\/","title":{"rendered":"\u0627\u0639\u062a\u0628\u0627\u0631 \u0633\u0646\u062c\u06cc \u0641\u0631\u0645 \u0642\u062f\u0631\u062a\u0645\u0646\u062f \u0628\u0627 \u0686\u0627\u0631\u0686\u0648\u0628 \u0631\u0648\u06cc\u0627\u06cc OCaml"},"content":{"rendered":"

Summarize this content to 400 words in Persian Lang
\n \u062a\u0648\u062c\u0647: Dream_html.form \u0648 query \u062a\u0648\u0627\u0628\u0639 \u06a9\u0645\u06a9\u06cc \u0645\u0646\u062a\u0634\u0631 \u0646\u0634\u062f\u0647 \u0627\u0633\u062a. \u0622\u0646\u0647\u0627 \u062f\u0631 \u0646\u0633\u062e\u0647 \u0628\u0639\u062f\u06cc \u0628\u0631\u0627\u06cc opam \u0645\u0646\u062a\u0634\u0631 \u062e\u0648\u0627\u0647\u0646\u062f \u0634\u062f. \u0647\u0645\u0647 \u0686\u06cc\u0632 \u062f\u06cc\u06af\u0631 \u062f\u0631 \u062d\u0627\u0644 \u062d\u0627\u0636\u0631 \u062f\u0631 \u062f\u0633\u062a\u0631\u0633 \u0627\u0633\u062a!<\/p>\n

\u0645\u0646 \u0645\u062f\u062a\u200c\u0647\u0627 \u0637\u0631\u0641\u062f\u0627\u0631 \u0642\u062f\u0631\u062a \u0641\u0631\u0645\u200c\u0647\u0627\u06cc HTML \u0648 \u0637\u0628\u06cc\u0639\u06cc \u0628\u0648\u062f\u0646 \u0622\u0646\u0647\u0627 \u0628\u0631\u0627\u06cc \u0633\u0627\u062e\u062a \u0635\u0641\u062d\u0627\u062a \u0648\u0628 \u0628\u0648\u062f\u0647\u200c\u0627\u0645 \u06a9\u0647 \u0628\u0647 \u06a9\u0627\u0631\u0628\u0631\u0627\u0646 \u0627\u062c\u0627\u0632\u0647 \u0645\u06cc\u200c\u062f\u0647\u062f \u062f\u0627\u062f\u0647\u200c\u0647\u0627 \u0631\u0627 \u0648\u0627\u0631\u062f \u06a9\u0646\u0646\u062f. \u0627\u062e\u06cc\u0631\u0627\u064b\u060c \u0645\u0646 \u0627\u06cc\u0646 \u0641\u0631\u0635\u062a \u0631\u0627 \u067e\u06cc\u062f\u0627 \u06a9\u0631\u062f\u0645 \u06a9\u0647 \u06cc\u06a9 \u0628\u0631\u0646\u0627\u0645\u0647 \u062f\u0627\u062e\u0644\u06cc \u0642\u062f\u06cc\u0645\u06cc \u0631\u0627 \u06a9\u0647 \u062f\u0631 \u0645\u062d\u0644 \u06a9\u0627\u0631 \u0627\u0632 \u0622\u0646 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc \u06a9\u0646\u06cc\u0645 \u0628\u0627 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 htmx \u0648 Scala's Play Framework \u0628\u0627\u0632\u0633\u0627\u0632\u06cc \u06a9\u0646\u0645. \u062f\u0631 \u0627\u06cc\u0646 \u0628\u0631\u0646\u0627\u0645\u0647 \u0645\u0627 \u0627\u063a\u0644\u0628 \u0627\u0632 \u0641\u0631\u0645 \u0647\u0627\u06cc HTML \u0628\u0631\u0627\u06cc \u0627\u0631\u0633\u0627\u0644 \u0627\u0637\u0644\u0627\u0639\u0627\u062a \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc \u06a9\u0646\u06cc\u0645. \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u0645\u062b\u0627\u0644:<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

Play \u0627\u0632 \u0631\u0645\u0632\u06af\u0634\u0627\u06cc\u06cc \u062f\u0627\u062f\u0647\u200c\u0647\u0627\u06cc \u0641\u0631\u0645 HTML \u0627\u0631\u0633\u0627\u0644\u06cc \u0628\u0647 \u0645\u0642\u0627\u062f\u06cc\u0631 \u0627\u0646\u0648\u0627\u0639 \u0633\u0641\u0627\u0631\u0634\u06cc \u0648 \u06af\u0632\u0627\u0631\u0634 \u0647\u0645\u0647 \u062e\u0637\u0627\u0647\u0627\u06cc \u0627\u0639\u062a\u0628\u0627\u0631\u0633\u0646\u062c\u06cc \u06a9\u0647 \u0645\u0645\u06a9\u0646 \u0627\u0633\u062a \u0631\u062e \u062f\u0627\u062f\u0647 \u0628\u0627\u0634\u062f \u067e\u0634\u062a\u06cc\u0628\u0627\u0646\u06cc \u0628\u0633\u06cc\u0627\u0631 \u062e\u0648\u0628\u06cc \u062f\u0627\u0631\u062f\u060c \u06a9\u0647 \u0628\u0647 \u0645\u0646 \u0627\u062c\u0627\u0632\u0647 \u0645\u06cc\u200c\u062f\u0647\u062f \u062e\u0637\u0627\u0647\u0627 \u0631\u0627 \u0645\u0633\u062a\u0642\u06cc\u0645\u0627\u064b \u062f\u0631 \u06a9\u0646\u0627\u0631 \u062e\u0648\u062f \u0641\u0631\u0645\u200c\u0647\u0627 \u0628\u0627 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 Constraint Validation API \u0627\u0631\u0627\u0626\u0647 \u06a9\u0646\u0645. \u062f\u0631 \u067e\u0633\u062a \u0642\u0628\u0644\u06cc \u062f\u0631 \u0645\u0648\u0631\u062f \u0622\u0646 \u0646\u0648\u0634\u062a\u0645.<\/p>\n

\u0627\u0645\u0627 \u062f\u0631 \u062f\u0646\u06cc\u0627\u06cc OCaml\u060c \u0648\u0636\u0639\u06cc\u062a \u0622\u0646\u0642\u062f\u0631\u0647\u0627 \u067e\u06cc\u0634\u0631\u0641\u062a\u0647 \u0646\u0628\u0648\u062f. \u0645\u0627 \u0686\u0646\u062f \u0627\u0628\u0632\u0627\u0631 \u0627\u0633\u0627\u0633\u06cc \u0628\u0631\u0627\u06cc \u062a\u062c\u0632\u06cc\u0647 \u062f\u0627\u062f\u0647 \u0647\u0627\u06cc \u0641\u0631\u0645 \u062f\u0631 \u0644\u06cc\u0633\u062a \u062c\u0641\u062a \u06a9\u0644\u06cc\u062f-\u0645\u0642\u062f\u0627\u0631 \u062f\u0627\u0634\u062a\u06cc\u0645:<\/p>\n

\u0627\u0645\u0627 \u0627\u06af\u0631 \u0645\u06cc\u200c\u062e\u0648\u0627\u0647\u06cc\u0645 \u0627\u06cc\u0646 \u0641\u0647\u0631\u0633\u062a \u0631\u0627 \u0628\u0647 \u06cc\u06a9 \u0646\u0648\u0639 \u0633\u0641\u0627\u0631\u0634\u06cc \u0631\u0645\u0632\u06af\u0634\u0627\u06cc\u06cc \u06a9\u0646\u06cc\u0645\u060c \u0628\u0647 \u0686\u06cc\u0632\u06cc \u067e\u06cc\u0686\u06cc\u062f\u0647\u200c\u062a\u0631 \u0646\u06cc\u0627\u0632 \u062f\u0627\u0631\u06cc\u0645\u060c \u0645\u0627\u0646\u0646\u062f \u0634\u0627\u06cc\u062f \u0633\u0627\u0632\u06af\u0627\u0631. \u0628\u0627 \u0627\u06cc\u0646 \u062d\u0627\u0644\u060c Conformist \u0627\u06cc\u0646 \u0645\u0634\u06a9\u0644 \u0631\u0627 \u062f\u0627\u0631\u062f \u06a9\u0647 \u0647\u0631 \u0628\u0627\u0631 \u0641\u0642\u0637 \u06cc\u06a9 \u062e\u0637\u0627 \u0631\u0627 \u06af\u0632\u0627\u0631\u0634 \u0645\u06cc \u06a9\u0646\u062f. \u0627\u06af\u0631 \u0628\u0627\u06cc\u062f \u0641\u0631\u0645 \u0627\u0631\u0633\u0627\u0644\u06cc \u0631\u0627 \u0631\u0645\u0632\u06af\u0634\u0627\u06cc\u06cc \u06a9\u0646\u06cc\u0645:<\/p>\n

accept-terms: true<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u0645\u0627 \u0645\u06cc \u062e\u0648\u0627\u0647\u06cc\u0645 \u06cc\u06a9 \u0631\u0627 \u0628\u0628\u06cc\u0646\u06cc\u0645 \u0641\u0647\u0631\u0633\u062a \u062e\u0637\u0627\u0647\u0627\u06cc \u0627\u0639\u062a\u0628\u0627\u0631\u0633\u0646\u062c\u06cc\u060c \u0645\u0627\u0646\u0646\u062f \u0627\u06cc\u0646:<\/p>\n

name: required
\nemail: required<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0639\u062a\u0628\u0627\u0631 \u0633\u0646\u062c\u06cc \u0641\u0631\u0645 dream-html<\/p>\n

\u062e\u0644\u0627\u0635\u0647\u060c \u0645\u0646 \u0628\u0647 \u0627\u06cc\u0646 \u0646\u062a\u06cc\u062c\u0647 \u0631\u0633\u06cc\u062f\u0645 \u06a9\u0647 \u0628\u0647 \u062a\u062c\u0631\u0628\u0647 \u0627\u0639\u062a\u0628\u0627\u0631\u0633\u0646\u062c\u06cc \u0641\u0631\u0645 \u0627\u0631\u06af\u0648\u0646\u0648\u0645\u06cc\u06a9 \u062a\u0631\u06cc \u062f\u0631 OCaml \u0646\u06cc\u0627\u0632 \u062f\u0627\u0631\u06cc\u0645. \u0648 \u0627\u0632 \u0622\u0646\u062c\u0627\u06cc\u06cc \u06a9\u0647 \u0645\u0646 \u0642\u0628\u0644\u0627\u064b \u0628\u0633\u062a\u0647\u200c\u0627\u06cc \u0631\u0627 \u0646\u06af\u0647 \u0645\u06cc\u200c\u062f\u0627\u0631\u0645 \u06a9\u0647 \u06a9\u0645\u06a9\u200c\u06a9\u0646\u0646\u062f\u0647\u200c\u0647\u0627\u06cc \u0627\u06cc\u0645\u0646 \u0631\u0627 \u062f\u0631 \u0628\u0627\u0644\u0627\u06cc \u0686\u0627\u0631\u0686\u0648\u0628 \u0648\u0628 Dream \u0627\u0636\u0627\u0641\u0647 \u0645\u06cc\u200c\u06a9\u0646\u062f\u060c \u0641\u06a9\u0631 \u0645\u06cc\u200c\u06a9\u0631\u062f\u0645 \u06a9\u0647 \u0627\u0641\u0632\u0648\u062f\u0647 \u062e\u0648\u0628\u06cc \u0628\u0627\u0634\u062f. \u0628\u06cc\u0627\u06cc\u06cc\u062f \u0622\u0646 \u0631\u0627 \u0628\u0631\u0627\u06cc \u0686\u0631\u062e\u0634 \u062f\u0631 REPL \u062f\u0631 \u0646\u0638\u0631 \u0628\u06af\u06cc\u0631\u06cc\u0645:<\/p>\n

$ utop -require dream-html
\n# type add_user = {
\n name : string;
\n email : string;
\n accept_terms : bool;
\n };;<\/p>\n

# let add_user =
\n let open Dream_html.Form in
\n let+ name = required string “name”
\n and+ email = required string “email”
\n and+ accept_terms = optional bool “accept-terms” in
\n {
\n name;
\n email;
\n accept_terms = Option.value accept_terms ~default:false;
\n };;<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u062d\u0627\u0644\u0627 \u0645\u0627 \u06cc\u06a9 \u0627\u0631\u0632\u0634 \u062f\u0627\u0631\u06cc\u0645 add_user : add_user Dream_html.Form.t\u060c \u06a9\u0647 \u06cc\u06a9 \u0631\u0645\u0632\u06af\u0634\u0627 \u0628\u0647 \u0646\u0648\u0639 \u0633\u0641\u0627\u0631\u0634\u06cc \u0645\u0627 \u0627\u0633\u062a. \u0628\u06cc\u0627\u06cc\u06cc\u062f \u0622\u0646 \u0631\u0627 \u0627\u0645\u062a\u062d\u0627\u0646 \u06a9\u0646\u06cc\u0645:<\/p>\n

# Dream_html.Form.validate add_user [];;
\n– : (add_user, (string * string) list) result =
\nError [(“email”, “error.required”); (“name”, “error.required”)]\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u0645\u0627 \u0644\u06cc\u0633\u062a\u06cc \u0627\u0632 \u062e\u0637\u0627\u0647\u0627\u06cc \u0627\u0639\u062a\u0628\u0627\u0631 \u0633\u0646\u062c\u06cc \u0641\u0631\u0645 \u0631\u0627 \u0628\u0627 \u0646\u0627\u0645 \u0641\u06cc\u0644\u062f\u0647\u0627 \u0648 \u06a9\u0644\u06cc\u062f\u0647\u0627\u06cc \u067e\u06cc\u0627\u0645 \u062e\u0637\u0627 \u062f\u0631\u06cc\u0627\u0641\u062a \u0645\u06cc \u06a9\u0646\u06cc\u0645 (\u0627\u06cc\u0646 \u0627\u0645\u06a9\u0627\u0646 \u0628\u0648\u0645\u06cc \u0633\u0627\u0632\u06cc \u0628\u0631\u0646\u0627\u0645\u0647 \u0631\u0627 \u0641\u0631\u0627\u0647\u0645 \u0645\u06cc \u06a9\u0646\u062f).<\/p>\n

\u0628\u06cc\u0627\u06cc\u06cc\u062f \u06cc\u06a9 \u0631\u0645\u0632\u06af\u0634\u0627\u06cc\u06cc \u0645\u0648\u0641\u0642 \u0631\u0627 \u0627\u0645\u062a\u062d\u0627\u0646 \u06a9\u0646\u06cc\u0645:<\/p>\n

# Dream_html.Form.validate add_user [“name”, “Bob”; “email”, “bob@example.com”];;
\n– : (add_user, (string * string) list) result =
\nOk {name = “Bob”; email = “bob@example.com”; accept_terms = false}<\/p>\n

# Dream_html.Form.validate add_user [“name”, “Bob”; “email”, “bob@example.com”; “accept-terms”, “true”];;
\n– : (add_user, (string * string) list) result =
\nOk {name = “Bob”; email = “bob@example.com”; accept_terms = true}<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u0628\u06cc\u0627\u06cc\u06cc\u062f \u06cc\u06a9 \u062e\u0637\u0627\u06cc \u0646\u0648\u0639 \u0631\u0627 \u0628\u0631\u0631\u0633\u06cc \u06a9\u0646\u06cc\u0645:<\/p>\n

# Dream_html.Form.validate add_user [“name”, “Bob”; “email”, “bob@example.com”; “accept-terms”, “1”];;
\n– : (add_user, (string * string) list) result =
\nError [(“accept-terms”, “error.expected.bool”)]\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0644\u0641 \u0645\u06cc \u062e\u0648\u0627\u0647\u062f bool\u060c \u06cc\u0639\u0646\u06cc \u0641\u0642\u0637 true \u06cc\u0627 false \u0627\u0631\u0632\u0634 \u0647\u0627 \u0645\u06cc \u062a\u0648\u0627\u0646\u06cc\u062f \u0645\u0637\u0645\u0626\u0646 \u0634\u0648\u06cc\u062f \u06a9\u0647 \u0686\u06a9 \u0628\u0627\u06a9\u0633 \u0647\u0627\u06cc \u0634\u0645\u0627 \u0647\u0645\u06cc\u0634\u0647 \u0627\u0631\u0633\u0627\u0644 \u0645\u06cc \u0634\u0648\u0646\u062f true \u062f\u0631 \u0627\u0631\u0633\u0627\u0644 \u0628\u0627 \u062a\u0646\u0638\u06cc\u0645 value=true.<\/p>\n

\u0631\u0645\u0632\u06af\u0634\u0627\u0647\u0627\u06cc \u0627\u0631\u0632\u0634 \u0633\u0641\u0627\u0631\u0634\u06cc<\/p>\n

\u0647\u0645\u0686\u0646\u06cc\u0646 \u0645\u06cc \u062a\u0648\u0627\u0646\u06cc\u062f \u062f\u0627\u062f\u0647 \u0647\u0627\u06cc \u0633\u0641\u0627\u0631\u0634\u06cc \u0631\u0627 \u0631\u0645\u0632\u06af\u0634\u0627\u06cc\u06cc \u06a9\u0646\u06cc\u062f. \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u0645\u062b\u0627\u0644 \u0641\u0631\u0636 \u06a9\u0646\u06cc\u062f \u0641\u0631\u0645 \u0634\u0645\u0627 \u062f\u0627\u0631\u0627\u06cc \u0648\u0631\u0648\u062f\u06cc \u0647\u0627\u06cc\u06cc \u0627\u0633\u062a \u06a9\u0647 \u0642\u0631\u0627\u0631 \u0627\u0633\u062a \u0627\u0639\u062f\u0627\u062f \u0627\u0639\u0634\u0627\u0631\u06cc \u0628\u0627\u0634\u0646\u062f:<\/p>\n

\u0645\u06cc \u062a\u0648\u0627\u0646\u06cc\u062f \u06cc\u06a9 \u0631\u0645\u0632\u06af\u0634\u0627\u06cc \u062f\u0627\u062f\u0647 \u0633\u0641\u0627\u0631\u0634\u06cc \u0628\u0646\u0648\u06cc\u0633\u06cc\u062f \u06a9\u0647 \u0645\u06cc \u062a\u0648\u0627\u0646\u062f \u06cc\u06a9 \u0639\u062f\u062f \u0627\u0639\u0634\u0627\u0631\u06cc \u0631\u0627 \u062a\u062c\u0632\u06cc\u0647 \u06a9\u0646\u062f:<\/p>\n

# #require “decimal”;;
\n# let decimal s =
\n try Ok (Decimal.of_string s)
\n with Invalid_argument _ -> Error “error.expected.decimal”;;<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u06a9\u0646\u0648\u0646 \u0645\u06cc \u062a\u0648\u0627\u0646\u06cc\u0645 \u0627\u0632 \u0622\u0646 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06a9\u0646\u06cc\u0645:<\/p>\n

let+ height_m = required decimal “height-m”
\n…<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0636\u0627\u0641\u0647 \u06a9\u0631\u062f\u0646 \u0642\u06cc\u0648\u062f \u0628\u0647 \u0645\u0642\u0627\u062f\u06cc\u0631<\/p>\n

\u0645\u06cc \u062a\u0648\u0627\u0646\u06cc\u062f \u0645\u062d\u062f\u0648\u062f\u06cc\u062a \u0647\u0627\u06cc \u0628\u06cc\u0634\u062a\u0631\u06cc \u0631\u0627 \u0628\u0647 \u0645\u0642\u0627\u062f\u06cc\u0631\u06cc \u06a9\u0647 \u0631\u0645\u0632\u06af\u0634\u0627\u06cc\u06cc \u0645\u06cc \u06a9\u0646\u06cc\u062f \u0627\u0636\u0627\u0641\u0647 \u06a9\u0646\u06cc\u062f. \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u0645\u062b\u0627\u0644\u060c \u062f\u0631 \u0627\u06a9\u062b\u0631 \u0641\u0631\u0645 \u0647\u0627\u06cc \u0627\u0631\u0633\u0627\u0644\u06cc \u062e\u0627\u0644\u06cc \u0628\u0648\u062f\u0646 \u0631\u0634\u062a\u0647 \u0647\u0627 \u0645\u0646\u0637\u0642\u06cc \u0646\u06cc\u0633\u062a. \u0628\u0646\u0627\u0628\u0631\u0627\u06cc\u0646 \u0628\u06cc\u0627\u06cc\u06cc\u062f \u06cc\u06a9 \u06a9\u0645\u06a9 \u06a9\u0646\u0646\u062f\u0647 \u062a\u0639\u0631\u06cc\u0641 \u06a9\u0646\u06cc\u0645 \u06a9\u0647 \u0631\u0634\u062a\u0647 \u0647\u0627 \u0631\u0627 \u0628\u0647 \u063a\u06cc\u0631 \u062e\u0627\u0644\u06cc \u0628\u0648\u062f\u0646 \u0645\u062d\u062f\u0648\u062f \u0645\u06cc \u06a9\u0646\u062f:<\/p>\n

let nonempty =
\n ensure “expected.nonempty” (( <> ) “”) required string<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u06a9\u0646\u0648\u0646 \u0645\u06cc\u200c\u062a\u0648\u0627\u0646\u06cc\u0645 \u062a\u0639\u0631\u06cc\u0641 \u0641\u0631\u0645 \u0642\u0628\u0644\u06cc \u0631\u0627 \u0628\u0627 \u0645\u062d\u062f\u0648\u062f\u06cc\u062a\u200c\u0647\u0627\u06cc \u0642\u0648\u06cc\u200c\u062a\u0631 \u0628\u0631\u0627\u06cc \u0631\u0634\u062a\u0647\u200c\u0647\u0627 \u0628\u0646\u0648\u06cc\u0633\u06cc\u0645:<\/p>\n

let add_user =
\n let open Dream_html.Form in
\n let+ name = nonempty “name”
\n and+ email = nonempty “email”
\n and+ accept_terms = optional bool “accept-terms” in
\n {
\n name;
\n email;
\n accept_terms = Option.value accept_terms ~default:false;
\n }<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0639\u062a\u0628\u0627\u0631 \u0633\u0646\u062c\u06cc \u0641\u0631\u0645 \u0647\u0627 \u062f\u0631 Dream handlers<\/p>\n

\u062f\u0631 \u06cc\u06a9 \u0628\u0631\u0646\u0627\u0645\u0647 Dream\u060c \u0645\u062f\u06cc\u0631\u06cc\u062a \u0641\u0631\u0645 \u062f\u0627\u062e\u0644\u06cc \u0686\u06cc\u0632\u06cc \u0634\u0628\u06cc\u0647 \u0628\u0647 \u0627\u06cc\u0646 \u0627\u0633\u062a:<\/p>\n

(* POST \/users *)
\nlet post_users request =
\n match%lwt Dream.form request with
\n | `Ok [“accept-terms”, accept_terms; “email”, email; “name”, name] ->
\n (* …success… *)
\n | _ -> Dream.empty `Bad_Request<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0645\u0627 \u0628\u0627 \u062a\u0648\u0627\u0646\u0627\u06cc\u06cc\u200c\u0647\u0627\u06cc \u0627\u0639\u062a\u0628\u0627\u0631\u0633\u0646\u062c\u06cc \u0641\u0631\u0645\u060c \u0645\u06cc\u200c\u062a\u0648\u0627\u0646\u06cc\u0645 \u06a9\u0627\u0631\u0647\u0627\u06cc \u0628\u06cc\u0634\u062a\u0631\u06cc \u0627\u0646\u062c\u0627\u0645 \u062f\u0647\u06cc\u0645:<\/p>\n

(* POST \/users *)
\nlet post_users request =
\n match%lwt Dream_html.form add_user request with
\n | `Ok { name; email; accept_terms } ->
\n (* …success… *)
\n | `Invalid errors ->
\n Dream.json ~code:422 ( (* …turn the error list into a JSON object… *) )
\n | _ -> Dream.empty `Bad_Request<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u0631\u0645\u0632\u06af\u0634\u0627\u06cc\u06cc \u0645\u0642\u0627\u062f\u06cc\u0631 \u0646\u0648\u0639 \u0645\u062a\u063a\u06cc\u0631<\/p>\n

\u0627\u0644\u0628\u062a\u0647\u060c \u0627\u0646\u0648\u0627\u0639 \u0645\u062e\u062a\u0644\u0641 \u0628\u062e\u0634 \u0628\u0632\u0631\u06af\u06cc \u0627\u0632 \u0628\u0631\u0646\u0627\u0645\u0647 \u0646\u0648\u06cc\u0633\u06cc \u062f\u0631 OCaml \u0647\u0633\u062a\u0646\u062f\u060c \u0628\u0646\u0627\u0628\u0631\u0627\u06cc\u0646 \u0645\u0645\u06a9\u0646 \u0627\u0633\u062a \u0628\u062e\u0648\u0627\u0647\u06cc\u062f \u0641\u0631\u0645 \u0627\u0631\u0633\u0627\u0644\u06cc \u0631\u0627 \u0628\u0647 \u0645\u0642\u062f\u0627\u0631\u06cc \u0627\u0632 \u0646\u0648\u0639 \u0646\u0648\u0639 \u0631\u0645\u0632\u06af\u0634\u0627\u06cc\u06cc \u06a9\u0646\u06cc\u062f. \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u0645\u062b\u0627\u0644\u060c<\/p>\n

type user =
\n| Logged_out
\n| Logged_in of { admin : bool }<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u0634\u0645\u0627 \u0645\u06cc \u062a\u0648\u0627\u0646\u06cc\u062f \u06cc\u06a9 \u0641\u0631\u0645 \u0627\u0631\u0633\u0627\u0644\u06cc \u062f\u0627\u0634\u062a\u0647 \u0628\u0627\u0634\u06cc\u062f \u06a9\u0647 \u0628\u0647 \u0634\u06a9\u0644 \u0632\u06cc\u0631 \u0628\u0627\u0634\u062f:<\/p>\n

type: logged-out<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u06cc\u0627:<\/p>\n

type: logged-in
\nadmin: true<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u0648 \u063a\u06cc\u0631\u0647<\/p>\n

\u0628\u0631\u0627\u06cc \u0631\u0645\u0632\u06af\u0634\u0627\u06cc\u06cc \u0627\u06cc\u0646 \u0646\u0648\u0639 \u0627\u0631\u0633\u0627\u0644\u060c \u0645\u06cc \u062a\u0648\u0627\u0646\u06cc\u062f \u0622\u0646 \u0631\u0627 \u0628\u0647 \u0631\u0645\u0632\u06af\u0634\u0627 \u0628\u0631\u0627\u06cc \u0647\u0631 \u0645\u0648\u0631\u062f \u062a\u0642\u0633\u06cc\u0645 \u06a9\u0646\u06cc\u062f\u060c \u0633\u067e\u0633 \u0622\u0646\u0647\u0627 \u0631\u0627 \u0628\u0627 Dream_html.Form.( or )\u060c \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u0645\u062b\u0627\u0644:<\/p>\n

let logged_out =
\n let+ _ = ensure “expected.type” (( = ) “logged-out”) required string “type” in
\n Logged_out<\/p>\n

let logged_in =
\n let+ _ = ensure “expected.type” (( = ) “logged-in”) required string “type”
\n and+ admin = required bool “admin” in
\n Logged_in { admin }<\/p>\n

let user = logged_out or logged_in<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u0628\u06cc\u0627\u06cc\u06cc\u062f \u0622\u0646 \u0631\u0627 \u0627\u0645\u062a\u062d\u0627\u0646 \u06a9\u0646\u06cc\u0645:<\/p>\n

# validate user [];;
\n– : (user, (string * string) list) result =
\nError [(“admin”, “error.required”); (“type”, “error.required”)]\n

# validate user [“type”, “logged-out”];;
\n– : (user, (string * string) list) result = Ok Logged_out<\/p>\n

# validate user [“type”, “logged-in”];;
\n– : (user, (string * string) list) result = Error [(“admin”, “error.required”)]\n

# validate user [“type”, “logged-in”; “admin”, “”];;
\n– : (user, (string * string) list) result =
\nError [(“admin”, “error.expected.bool”)]\n

# validate user [“type”, “logged-in”; “admin”, “true”];;
\n– : (user, (string * string) list) result = Ok (Logged_in { admin = true })<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u0647\u0645\u0627\u0646\u0637\u0648\u0631 \u06a9\u0647 \u0645\u06cc \u0628\u06cc\u0646\u06cc\u062f\u060c \u0631\u0645\u0632\u06af\u0634\u0627 \u0645\u06cc \u062a\u0648\u0627\u0646\u062f \u0647\u0631 \u062f\u0648 \u0645\u0648\u0631\u062f \u0648 \u062a\u0645\u0627\u0645 \u0627\u0644\u0632\u0627\u0645\u0627\u062a \u0645\u0648\u062c\u0648\u062f \u062f\u0631 \u0622\u0646 \u0631\u0627 \u0627\u0646\u062c\u0627\u0645 \u062f\u0647\u062f.<\/p>\n

\u0631\u0645\u0632\u06af\u0634\u0627\u06cc\u06cc \u067e\u0631\u0633 \u0648 \u062c\u0648\u0647\u0627 \u0628\u0647 \u0627\u0646\u0648\u0627\u0639 \u0633\u0641\u0627\u0631\u0634\u06cc<\/p>\n

\u0639\u0645\u0644\u06a9\u0631\u062f \u0631\u0645\u0632\u06af\u0634\u0627\u06cc\u06cc \u0646\u0647 \u062a\u0646\u0647\u0627 \u0628\u0627 \u00ab\u0641\u0631\u0645\u200c\u0647\u0627\u00bb \u0628\u0644\u06a9\u0647 \u0628\u0627 \u067e\u0631\u0633\u200c\u0648\u200c\u062c\u0648\u0647\u0627 \u0646\u06cc\u0632 \u06a9\u0627\u0631 \u0645\u06cc\u200c\u06a9\u0646\u062f \/foo?a=1&b=2. \u0627\u0644\u0628\u062a\u0647\u060c \u062f\u0631 \u0627\u06cc\u0646\u062c\u0627 \u0645\u0627 \u0627\u0632 \u00ab\u0641\u0631\u0645\u200c\u0647\u0627\u00bb \u0628\u0647\u200c\u0639\u0646\u0648\u0627\u0646 \u062e\u0644\u0627\u0635\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc\u200c\u06a9\u0646\u06cc\u0645 application\/x-www-form-urlencoded \u062f\u0627\u062f\u0647\u200c\u0647\u0627\u06cc\u06cc \u06a9\u0647 \u0628\u0627 \u06cc\u06a9 \u062f\u0631\u062e\u0648\u0627\u0633\u062a POST \u0627\u0631\u0633\u0627\u0644 \u0645\u06cc\u200c\u0634\u0648\u0646\u062f\u060c \u0627\u0645\u0627 \u062f\u0631 \u0648\u0627\u0642\u0639 \u06cc\u06a9 \u0641\u0631\u0645 HTML \u0627\u0633\u062a action=get \u062f\u0627\u062f\u0647 \u0647\u0627\u06cc \u0648\u0631\u0648\u062f\u06cc \u062e\u0648\u062f \u0631\u0627 \u0628\u0647 \u0635\u0648\u0631\u062a a \u0627\u0631\u0633\u0627\u0644 \u0645\u06cc \u06a9\u0646\u062f \u067e\u0631\u0633 \u0648 \u062c\u0648\u060c \u0628\u062e\u0634\u06cc \u0627\u0632 URL\u060c \u0646\u0647 \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u062f\u0627\u062f\u0647 \u0647\u0627\u06cc \u0641\u0631\u0645. \u06a9\u0645\u06cc \u06af\u06cc\u062c \u06a9\u0646\u0646\u062f\u0647 \u0627\u0633\u062a\u060c \u0627\u0645\u0627 \u0646\u06a9\u062a\u0647 \u06a9\u0644\u06cc\u062f\u06cc \u06a9\u0647 \u0628\u0627\u06cc\u062f \u0628\u0647 \u062e\u0627\u0637\u0631 \u0628\u0633\u067e\u0627\u0631\u06cc\u062f \u0627\u06cc\u0646 \u0627\u0633\u062a \u06a9\u0647 Dream \u0645\u06cc \u062a\u0648\u0627\u0646\u062f \u0628\u0627 \u0647\u0631 \u062f\u0648 \u06a9\u0627\u0631 \u06a9\u0646\u062f\u060c \u0648 \u0647\u0645\u0686\u0646\u06cc\u0646 dream-html.<\/p>\n

\u062f\u0631 Dream\u060c \u0645\u06cc \u062a\u0648\u0627\u0646\u06cc\u062f \u062f\u0627\u062f\u0647 \u0647\u0627\u06cc \u067e\u0631\u0633 \u0648 \u062c\u0648 \u0631\u0627 \u0628\u0627 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u062a\u0648\u0627\u0628\u0639\u06cc \u0645\u0627\u0646\u0646\u062f \u062f\u0631\u06cc\u0627\u0641\u062a \u06a9\u0646\u06cc\u062f let a = Dream.query request “a”. \u0627\u0645\u0627 \u0627\u06af\u0631 \u062f\u0627\u062f\u0647 \u0647\u0627\u06cc \u067e\u06cc\u0686\u06cc\u062f\u0647 \u062a\u0631\u06cc \u0631\u0627 \u0627\u0632 \u0637\u0631\u06cc\u0642 \u067e\u0631\u0633 \u0648 \u062c\u0648 \u0627\u0631\u0633\u0627\u0644 \u0645\u06cc \u06a9\u0646\u06cc\u062f\u060c \u0645\u06cc \u062a\u0648\u0627\u0646\u06cc\u062f \u0628\u0627 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u0642\u0627\u0628\u0644\u06cc\u062a \u0631\u0645\u0632\u06af\u0634\u0627\u06cc\u06cc \u0641\u0631\u0645 \u0628\u0627\u0644\u0627\u060c \u0622\u0646\u0647\u0627 \u0631\u0627 \u0628\u0647 \u06cc\u06a9 \u0646\u0648\u0639 \u0633\u0641\u0627\u0631\u0634\u06cc \u0631\u0645\u0632\u06af\u0634\u0627\u06cc\u06cc \u06a9\u0646\u06cc\u062f. \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u0645\u062b\u0627\u0644 \u0641\u0631\u0636 \u06a9\u0646\u06cc\u062f \u0645\u06cc \u062e\u0648\u0627\u0647\u06cc\u062f \u067e\u0627\u0631\u0627\u0645\u062a\u0631\u0647\u0627\u06cc UTM \u0631\u0627 \u0628\u0647 \u06cc\u06a9 \u0646\u0648\u0639 \u0633\u0641\u0627\u0631\u0634\u06cc \u0631\u0645\u0632\u06af\u0634\u0627\u06cc\u06cc \u06a9\u0646\u06cc\u062f:<\/p>\n

type utm = {
\n source : string option;
\n medium : string option;
\n campaign : string option;
\n term : string option;
\n content : string option;
\n}<\/p>\n

let utm =
\n let+ source = optional string “utm_source”
\n and+ medium = optional string “utm_medium”
\n and+ campaign = optional string “utm_campaign”
\n and+ term = optional string “utm_term”
\n and+ content = optional string “utm_content” in
\n { source; medium; campaign; term; content }<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u06a9\u0646\u0648\u0646\u060c \u0645\u06cc\u200c\u062a\u0648\u0627\u0646\u06cc\u062f \u0627\u0632 \u0627\u06cc\u0646 \u0628\u0633\u06cc\u0627\u0631 \u0634\u0628\u06cc\u0647 \u0628\u0647 \u0627\u0631\u0633\u0627\u0644 \u0641\u0631\u0645 POST \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06a9\u0646\u06cc\u062f:<\/p>\n

let some_page request =
\n match Dream_html.query utm request with
\n | `Ok { source; medium; campaign; term; content } ->
\n (* …success… *)
\n | `Invalid errors -> (* …handle errors… *)<\/p>\n

\u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/p>\n

\u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/p>\n

\u0648 \u0646\u06a9\u062a\u0647 \u062c\u0627\u0644\u0628 \u0627\u06cc\u0646 \u0627\u0633\u062a \u06a9\u0647 \u0627\u0632 \u0622\u0646\u062c\u0627\u06cc\u06cc \u06a9\u0647 \u0622\u0646\u0647\u0627 \u0628\u0647 \u0645\u0639\u0646\u0627\u06cc \u0648\u0627\u0642\u0639\u06cc \u06a9\u0644\u0645\u0647 \u0647\u0645\u0627\u0646 \u062a\u0639\u0631\u06cc\u0641 \u0641\u0631\u0645 \u0647\u0633\u062a\u0646\u062f\u060c \u0645\u06cc \u062a\u0648\u0627\u0646\u06cc\u062f \u0628\u0627 \u062a\u063a\u06cc\u06cc\u0631\u0627\u062a \u0628\u0633\u06cc\u0627\u0631 \u0627\u0646\u062f\u06a9\u060c \u0628\u06cc\u0646 \u0627\u0646\u062c\u0627\u0645 \u062f\u0631\u062e\u0648\u0627\u0633\u062a \u062e\u0648\u062f \u0628\u0647 \u062f\u0627\u062f\u0647 \u0647\u0627\u06cc \u0641\u0631\u0645 POST \u06cc\u0627 \u067e\u0627\u0631\u0627\u0645\u062a\u0631\u0647\u0627\u06cc \u067e\u0631\u0633 \u0648 \u062c\u0648 GET \u0633\u0648\u0626\u06cc\u0686 \u06a9\u0646\u06cc\u062f.<\/p>\n

\u067e\u0633…<\/p>\n

\u0648\u0627\u06cc \u0627\u06cc\u0646 \u062e\u06cc\u0644\u06cc \u0628\u0648\u062f. \u0648 \u0645\u0646 \u0648\u0627\u0642\u0639\u0627\u064b \u0628\u0647 \u0645\u0648\u0627\u0631\u062f \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u067e\u06cc\u0634\u0631\u0641\u062a\u0647\u200c\u062a\u0631 \u0647\u0645 \u0646\u067e\u0631\u062f\u0627\u062e\u062a\u0647\u200c\u0627\u0645. \u0627\u0645\u0627 \u0627\u0645\u06cc\u062f\u0648\u0627\u0631\u06cc\u0645 \u062f\u0631 \u0627\u06cc\u0646 \u0645\u0631\u062d\u0644\u0647 \u0634\u0645\u0627 \u0645\u062a\u0642\u0627\u0639\u062f \u0634\u062f\u0647 \u0628\u0627\u0634\u06cc\u062f \u06a9\u0647 \u0641\u0631\u0645 \u0647\u0627 \u0648 \u067e\u0631\u0633 \u0648 \u062c\u0648\u0647\u0627 \u0627\u06a9\u0646\u0648\u0646 \u062f\u0631 Dream \u0628\u0647 \u0631\u0627\u062d\u062a\u06cc \u0642\u0627\u0628\u0644 \u0631\u0633\u06cc\u062f\u06af\u06cc \u0647\u0633\u062a\u0646\u062f. \u0627\u0644\u0628\u062a\u0647 \u0645\u0645\u06a9\u0646 \u0627\u0633\u062a \u0648\u0627\u0642\u0639\u0627\u064b \u0628\u0647 \u0627\u06cc\u0646 \u0647\u0645\u0647 \u0642\u062f\u0631\u062a \u0646\u06cc\u0627\u0632 \u0646\u062f\u0627\u0634\u062a\u0647 \u0628\u0627\u0634\u06cc\u062f. \u0628\u0631\u0627\u06cc \u0645\u0648\u0627\u0631\u062f \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0633\u0627\u062f\u0647\u060c \u0627\u062d\u062a\u0645\u0627\u0644\u0627\u064b \u0645\u06cc \u062a\u0648\u0627\u0646\u06cc\u062f \u0627\u0632 \u0642\u0627\u0628\u0644\u06cc\u062a \u0647\u0627\u06cc \u062f\u0627\u062e\u0644\u06cc Dream \u062e\u0644\u0627\u0635 \u0634\u0648\u06cc\u062f. \u0627\u0645\u0627 \u0628\u0631\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0647\u0627\u06cc \u0628\u0632\u0631\u06af\u200c\u062a\u0631 \u06a9\u0647 \u0634\u0627\u06cc\u062f \u0646\u06cc\u0627\u0632 \u0628\u0647 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u0641\u0631\u0645\u200c\u0647\u0627\u06cc \u0632\u06cc\u0627\u062f\u06cc \u062f\u0627\u0634\u062a\u0647 \u0628\u0627\u0634\u0646\u062f\u060c \u0641\u06a9\u0631 \u0645\u06cc\u200c\u06a9\u0646\u0645 \u0645\u06cc\u200c\u062a\u0648\u0627\u0646\u062f \u0645\u0641\u06cc\u062f \u0628\u0627\u0634\u062f.<\/p>\n

\n

\u062a\u0648\u062c\u0647: Dream_html.form<\/code> \u0648 query<\/code> \u062a\u0648\u0627\u0628\u0639 \u06a9\u0645\u06a9\u06cc \u0645\u0646\u062a\u0634\u0631 \u0646\u0634\u062f\u0647 \u0627\u0633\u062a. \u0622\u0646\u0647\u0627 \u062f\u0631 \u0646\u0633\u062e\u0647 \u0628\u0639\u062f\u06cc \u0628\u0631\u0627\u06cc opam \u0645\u0646\u062a\u0634\u0631 \u062e\u0648\u0627\u0647\u0646\u062f \u0634\u062f. \u0647\u0645\u0647 \u0686\u06cc\u0632 \u062f\u06cc\u06af\u0631 \u062f\u0631 \u062d\u0627\u0644 \u062d\u0627\u0636\u0631 \u062f\u0631 \u062f\u0633\u062a\u0631\u0633 \u0627\u0633\u062a!<\/p>\n

\u0645\u0646 \u0645\u062f\u062a\u200c\u0647\u0627 \u0637\u0631\u0641\u062f\u0627\u0631 \u0642\u062f\u0631\u062a \u0641\u0631\u0645\u200c\u0647\u0627\u06cc HTML \u0648 \u0637\u0628\u06cc\u0639\u06cc \u0628\u0648\u062f\u0646 \u0622\u0646\u0647\u0627 \u0628\u0631\u0627\u06cc \u0633\u0627\u062e\u062a \u0635\u0641\u062d\u0627\u062a \u0648\u0628 \u0628\u0648\u062f\u0647\u200c\u0627\u0645 \u06a9\u0647 \u0628\u0647 \u06a9\u0627\u0631\u0628\u0631\u0627\u0646 \u0627\u062c\u0627\u0632\u0647 \u0645\u06cc\u200c\u062f\u0647\u062f \u062f\u0627\u062f\u0647\u200c\u0647\u0627 \u0631\u0627 \u0648\u0627\u0631\u062f \u06a9\u0646\u0646\u062f. \u0627\u062e\u06cc\u0631\u0627\u064b\u060c \u0645\u0646 \u0627\u06cc\u0646 \u0641\u0631\u0635\u062a \u0631\u0627 \u067e\u06cc\u062f\u0627 \u06a9\u0631\u062f\u0645 \u06a9\u0647 \u06cc\u06a9 \u0628\u0631\u0646\u0627\u0645\u0647 \u062f\u0627\u062e\u0644\u06cc \u0642\u062f\u06cc\u0645\u06cc \u0631\u0627 \u06a9\u0647 \u062f\u0631 \u0645\u062d\u0644 \u06a9\u0627\u0631 \u0627\u0632 \u0622\u0646 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc \u06a9\u0646\u06cc\u0645 \u0628\u0627 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 htmx \u0648 Scala's Play Framework \u0628\u0627\u0632\u0633\u0627\u0632\u06cc \u06a9\u0646\u0645. \u062f\u0631 \u0627\u06cc\u0646 \u0628\u0631\u0646\u0627\u0645\u0647 \u0645\u0627 \u0627\u063a\u0644\u0628 \u0627\u0632 \u0641\u0631\u0645 \u0647\u0627\u06cc HTML \u0628\u0631\u0627\u06cc \u0627\u0631\u0633\u0627\u0644 \u0627\u0637\u0644\u0627\u0639\u0627\u062a \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc \u06a9\u0646\u06cc\u0645. \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u0645\u062b\u0627\u0644:<\/p>\n

\n
\n<\/code><\/pre>\n
\n
\n    \u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n
    \u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n<\/div>\n<\/div>\n<\/div>\n
Play \u0627\u0632 \u0631\u0645\u0632\u06af\u0634\u0627\u06cc\u06cc \u062f\u0627\u062f\u0647\u200c\u0647\u0627\u06cc \u0641\u0631\u0645 HTML \u0627\u0631\u0633\u0627\u0644\u06cc \u0628\u0647 \u0645\u0642\u0627\u062f\u06cc\u0631 \u0627\u0646\u0648\u0627\u0639 \u0633\u0641\u0627\u0631\u0634\u06cc \u0648 \u06af\u0632\u0627\u0631\u0634 \u0647\u0645\u0647 \u062e\u0637\u0627\u0647\u0627\u06cc \u0627\u0639\u062a\u0628\u0627\u0631\u0633\u0646\u062c\u06cc \u06a9\u0647 \u0645\u0645\u06a9\u0646 \u0627\u0633\u062a \u0631\u062e \u062f\u0627\u062f\u0647 \u0628\u0627\u0634\u062f \u067e\u0634\u062a\u06cc\u0628\u0627\u0646\u06cc \u0628\u0633\u06cc\u0627\u0631 \u062e\u0648\u0628\u06cc \u062f\u0627\u0631\u062f\u060c \u06a9\u0647 \u0628\u0647 \u0645\u0646 \u0627\u062c\u0627\u0632\u0647 \u0645\u06cc\u200c\u062f\u0647\u062f \u062e\u0637\u0627\u0647\u0627 \u0631\u0627 \u0645\u0633\u062a\u0642\u06cc\u0645\u0627\u064b \u062f\u0631 \u06a9\u0646\u0627\u0631 \u062e\u0648\u062f \u0641\u0631\u0645\u200c\u0647\u0627 \u0628\u0627 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 Constraint Validation API \u0627\u0631\u0627\u0626\u0647 \u06a9\u0646\u0645. \u062f\u0631 \u067e\u0633\u062a \u0642\u0628\u0644\u06cc \u062f\u0631 \u0645\u0648\u0631\u062f \u0622\u0646 \u0646\u0648\u0634\u062a\u0645.<\/p>\n
\u0627\u0645\u0627 \u062f\u0631 \u062f\u0646\u06cc\u0627\u06cc OCaml\u060c \u0648\u0636\u0639\u06cc\u062a \u0622\u0646\u0642\u062f\u0631\u0647\u0627 \u067e\u06cc\u0634\u0631\u0641\u062a\u0647 \u0646\u0628\u0648\u062f. \u0645\u0627 \u0686\u0646\u062f \u0627\u0628\u0632\u0627\u0631 \u0627\u0633\u0627\u0633\u06cc \u0628\u0631\u0627\u06cc \u062a\u062c\u0632\u06cc\u0647 \u062f\u0627\u062f\u0647 \u0647\u0627\u06cc \u0641\u0631\u0645 \u062f\u0631 \u0644\u06cc\u0633\u062a \u062c\u0641\u062a \u06a9\u0644\u06cc\u062f-\u0645\u0642\u062f\u0627\u0631 \u062f\u0627\u0634\u062a\u06cc\u0645:<\/p>\n
\u0627\u0645\u0627 \u0627\u06af\u0631 \u0645\u06cc\u200c\u062e\u0648\u0627\u0647\u06cc\u0645 \u0627\u06cc\u0646 \u0641\u0647\u0631\u0633\u062a \u0631\u0627 \u0628\u0647 \u06cc\u06a9 \u0646\u0648\u0639 \u0633\u0641\u0627\u0631\u0634\u06cc \u0631\u0645\u0632\u06af\u0634\u0627\u06cc\u06cc \u06a9\u0646\u06cc\u0645\u060c \u0628\u0647 \u0686\u06cc\u0632\u06cc \u067e\u06cc\u0686\u06cc\u062f\u0647\u200c\u062a\u0631 \u0646\u06cc\u0627\u0632 \u062f\u0627\u0631\u06cc\u0645\u060c \u0645\u0627\u0646\u0646\u062f \u0634\u0627\u06cc\u062f \u0633\u0627\u0632\u06af\u0627\u0631. \u0628\u0627 \u0627\u06cc\u0646 \u062d\u0627\u0644\u060c Conformist \u0627\u06cc\u0646 \u0645\u0634\u06a9\u0644 \u0631\u0627 \u062f\u0627\u0631\u062f \u06a9\u0647 \u0647\u0631 \u0628\u0627\u0631 \u0641\u0642\u0637 \u06cc\u06a9 \u062e\u0637\u0627 \u0631\u0627 \u06af\u0632\u0627\u0631\u0634 \u0645\u06cc \u06a9\u0646\u062f. \u0627\u06af\u0631 \u0628\u0627\u06cc\u062f \u0641\u0631\u0645 \u0627\u0631\u0633\u0627\u0644\u06cc \u0631\u0627 \u0631\u0645\u0632\u06af\u0634\u0627\u06cc\u06cc \u06a9\u0646\u06cc\u0645:<\/p>\n
\n
accept-terms: true\n<\/code><\/pre>\n
\n
\n    \u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n
    \u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n<\/div>\n<\/div>\n<\/div>\n
\u0645\u0627 \u0645\u06cc \u062e\u0648\u0627\u0647\u06cc\u0645 \u06cc\u06a9 \u0631\u0627 \u0628\u0628\u06cc\u0646\u06cc\u0645 \u0641\u0647\u0631\u0633\u062a<\/em> \u062e\u0637\u0627\u0647\u0627\u06cc \u0627\u0639\u062a\u0628\u0627\u0631\u0633\u0646\u062c\u06cc\u060c \u0645\u0627\u0646\u0646\u062f \u0627\u06cc\u0646:<\/p>\n
\n
name: required\nemail: required\n<\/code><\/pre>\n
\n
\n    \u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n
    \u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n<\/div>\n<\/div>\n<\/div>\n
\n
\n
\u0641\u0647\u0631\u0633\u062a \u0645\u0637\u0627\u0644\u0628<\/p>\nToggle<\/span><\/path><\/svg><\/svg><\/span><\/span><\/span><\/a><\/span><\/div>\n