{"id":479371,"date":"2026-05-12T06:00:12","date_gmt":"2026-05-12T06:00:12","guid":{"rendered":"https:\/\/savepearlharbor.com\/?p=479371"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=479371","title":{"rendered":"8. \u041f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0442\u0438\u043f\u043e\u0432: \u0417\u0430\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435"},"content":{"rendered":"<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<p>\u0412 \u044d\u0442\u043e\u043c \u0446\u0438\u043a\u043b\u0435 \u043c\u044b \u0443\u0437\u043d\u0430\u043b\u0438 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u0432 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0442\u0438\u043f\u044b, \u043a\u0430\u043a \u0447\u0430\u0441\u0442\u044c \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430 \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f. \u0412 \u0447\u0430\u0441\u0442\u043d\u043e\u0441\u0442\u0438:<\/p>\n<ul>\n<li>\n<p>\u0420\u0430\u0437\u0431\u0438\u0435\u043d\u0438\u0435 \u0431\u043e\u043b\u044c\u0448\u0438\u0445 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440 \u043d\u0430 \u043c\u0430\u043b\u0435\u043d\u044c\u043a\u0438\u0435 \u00ab\u0430\u0442\u043e\u043c\u0430\u0440\u043d\u044b\u0435\u00bb \u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442\u044b.<\/p>\n<\/li>\n<li>\n<p>\u0418\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u043e\u0434\u043d\u043e\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u044b\u0445 \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0439 \u0434\u043b\u044f \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0438 \u0432\u0430\u043b\u0438\u0434\u0430\u0446\u0438\u0438 \u043a \u0442\u0438\u043f\u0430\u043c \u043f\u0440\u0435\u0434\u043c\u0435\u0442\u043d\u043e\u0439 \u043e\u0431\u043b\u0430\u0441\u0442\u0438, \u043d\u0430\u043f\u043e\u0434\u043e\u0431\u0438\u0435 <code>EmailAddress<\/code> \u0438 <code>ZipCode<\/code>.<\/p>\n<\/li>\n<li>\n<p>\u041f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u0435, \u0447\u0442\u043e \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0442\u0438\u043f\u043e\u0432 \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435 (\u00ab\u0434\u0435\u043b\u0430\u0435\u043c \u043d\u0435\u0434\u043e\u043f\u0443\u0441\u0442\u0438\u043c\u044b\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u043d\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043c\u044b\u043c\u0438\u00bb).<\/p>\n<\/li>\n<li>\n<p>\u0418\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0442\u0438\u043f\u043e\u0432 \u043a\u0430\u043a \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430 \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u0434\u043b\u044f \u0432\u044b\u044f\u0432\u043b\u0435\u043d\u0438\u044f \u0441\u043a\u0440\u044b\u0442\u044b\u0445 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u0438\u0439.<\/p>\n<\/li>\n<li>\n<p>\u0417\u0430\u043c\u0435\u043d\u0430 \u0444\u043b\u0430\u0433\u043e\u0432 \u0438 \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0439 \u043f\u0440\u043e\u0441\u0442\u044b\u043c\u0438 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u043c\u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430\u043c\u0438.<\/p>\n<\/li>\n<li>\n<p>\u0417\u0430\u043c\u0435\u043d\u0430 \u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u043d\u044b\u0445 \u0441\u0442\u0440\u043e\u043a \u0442\u0438\u043f\u0430\u043c\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u044e\u0442 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u0435 \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u043c \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f\u043c.<\/p>\n<\/li>\n<\/ul>\n<p>\u0412 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u043c \u043f\u043e\u0441\u0442\u0435 \u0446\u0438\u043a\u043b\u0430, \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0438\u0445 \u0432\u043c\u0435\u0441\u0442\u0435.<\/p>\n<h3>\u041a\u043e\u0434 \u00ab\u0434\u043e\u00bb<\/h3>\n<p>\u041e\u0440\u0438\u0433\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0439 \u043f\u0440\u0438\u043c\u0435\u0440, \u0441 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043c\u044b \u043d\u0430\u0447\u0430\u043b\u0438 \u0432 <a href=\"https:\/\/habr.com\/ru\/articles\/881272\/\" rel=\"noopener noreferrer nofollow\">\u043f\u0435\u0440\u0432\u043e\u043c \u043f\u043e\u0441\u0442\u0435<\/a> \u0446\u0438\u043a\u043b\u0430:<\/p>\n<pre><code class=\"fsharp\">type Contact =    {    FirstName: string;    MiddleInitial: string;    LastName: string;    EmailAddress: string;    \/\/true, \u0435\u0441\u043b\u0438 \u044d\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u043d\u044b\u0439 \u0430\u0434\u0440\u0435\u0441 \u043f\u043e\u0434\u0442\u0432\u0435\u0440\u0436\u0434\u0451\u043d    IsEmailVerified: bool;    Address1: string;    Address2: string;    City: string;    State: string;    Zip: string;    \/\/true, \u0435\u0441\u043b\u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0441\u0435\u0440\u0432\u0438\u0441\u0430 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u0430\u0434\u0440\u0435\u0441\u043e\u0432    IsAddressValid: bool;    }<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:87px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041a\u0430\u043a \u043e\u043d \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u043f\u043e \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u044e \u0441 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u043c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u043c, \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u044b\u043c \u043f\u043e\u0441\u043b\u0435 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u0432\u0441\u0435\u0445 \u0442\u0435\u0445\u043d\u0438\u043a, \u043e\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0445 \u0432\u044b\u0448\u0435?<\/p>\n<h3>\u041a\u043e\u0434 \u00ab\u043f\u043e\u0441\u043b\u0435\u00bb<\/h3>\n<p>\u0412\u043e-\u043f\u0435\u0440\u0432\u044b\u0445, \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u043d\u0430\u0447\u043d\u0451\u043c \u0441 \u0442\u0438\u043f\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0435 \u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u043d\u044b\u043c\u0438 \u0434\u043b\u044f \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f. \u042d\u0442\u0438 \u0442\u0438\u043f\u044b \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043f\u043e\u0432\u0442\u043e\u0440\u043d\u043e \u0432 \u0434\u0440\u0443\u0433\u0438\u0445 \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f\u0445.<\/p>\n<pre><code class=\"fsharp\">\/\/ ========================================\/\/ WrappedString\/\/ ========================================\/\/\/ \u041e\u0431\u0449\u0438\u0439 \u043a\u043e\u0434 \u0434\u043b\u044f \u043e\u0431\u0451\u0440\u0442\u043e\u043a \u043d\u0430\u0434 \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438module WrappedString =    \/\/\/ \u0418\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u044e\u0442 \u0432\u0441\u0435 \u043e\u0431\u0451\u0440\u0442\u043a\u0438 \u043d\u0430\u0434 \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438    type IWrappedString =        abstract Value : string    \/\/\/ \u0421\u043e\u0437\u0434\u0430\u0451\u0442 \u043e\u043f\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0435 \u0437\u0430\u0432\u0451\u0440\u043d\u0443\u0442\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435    \/\/\/ 1) \u041f\u0440\u0438\u0432\u043e\u0434\u0438\u0442 \u0432\u0445\u043e\u0434\u043d\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435 \u043a \u043a\u0430\u043d\u043e\u043d\u0438\u0447\u0435\u0441\u043a\u043e\u043c\u0443 \u0432\u0438\u0434\u0443    \/\/\/ 2) \u0415\u0441\u043b\u0438 \u0432\u0430\u043b\u0438\u0434\u0430\u0446\u0438\u044f \u043f\u0440\u043e\u0448\u043b\u0430, \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 Some \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0430    \/\/\/ 3) \u0415\u0441\u043b\u0438 \u0432\u0430\u043b\u0438\u0434\u0430\u0446\u0438\u044f \u043d\u0435 \u043f\u0440\u043e\u0448\u043b\u0430, \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 None    \/\/\/ \u0417\u043d\u0430\u0447\u0435\u043d\u0438\u044f null \u043d\u0435 \u0441\u0447\u0438\u0442\u0430\u044e\u0442\u0441\u044f \u0432\u0430\u043b\u0438\u0434\u043d\u044b\u043c\u0438.    let create canonicalize isValid ctor (s:string) =        if s = null        then None        else            let s' = canonicalize s            if isValid s'            then Some (ctor s')            else None    \/\/\/ \u041f\u0440\u0438\u043c\u0435\u043d\u044f\u0435\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u043a \u0437\u0430\u0432\u0451\u0440\u043d\u0443\u0442\u043e\u043c\u0443 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e    let apply f (s:IWrappedString) =        s.Value |&gt; f    \/\/\/ \u0412\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0437\u0430\u0432\u0451\u0440\u043d\u0443\u0442\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435    let value s = apply id s    \/\/\/ \u0420\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u043e    let equals left right =        (value left) = (value right)    \/\/\/ \u0421\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435    let compareTo left right =        (value left).CompareTo (value right)    \/\/\/ \u041f\u0440\u0438\u0432\u043e\u0434\u0438\u0442 \u0441\u0442\u0440\u043e\u043a\u0443 \u043a \u043a\u0430\u043d\u043e\u043d\u0438\u0447\u0435\u0441\u043a\u043e\u043c\u0443 \u0432\u0438\u0434\u0443 \u043f\u0435\u0440\u0435\u0434 \u0432\u044b\u0437\u043e\u0432\u043e\u043c \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0430    \/\/\/ * \u043a\u043e\u043d\u0432\u0435\u0440\u0442\u0438\u0440\u0443\u0435\u0442 \u0432\u0441\u0435 \u043f\u0440\u043e\u0431\u0435\u043b\u044c\u043d\u044b\u0435 \u0441\u0438\u043c\u0432\u043e\u043b\u044b \u0432 \u043f\u0440\u043e\u0431\u0435\u043b\u044b    \/\/\/ * \u043e\u0431\u0440\u0435\u0437\u0430\u0435\u0442 \u0441\u043b\u0435\u0432\u0430 \u0438 \u0441\u043f\u0440\u0430\u0432\u0430    let singleLineTrimmed s =        System.Text.RegularExpressions.Regex.Replace(s,\"\\s\",\" \").Trim()    \/\/\/ \u0424\u0443\u043d\u043a\u0446\u0438\u044f \u0432\u0430\u043b\u0438\u0430\u0434\u0430\u0446\u0438\u0438 \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0435 \u0434\u043b\u0438\u043d\u044b \u0441\u0442\u0440\u043e\u043a\u0438    let lengthValidator len (s:string) =        s.Length &lt;= len    \/\/\/ \u0421\u0442\u0440\u043e\u043a\u0430 \u0434\u043b\u0438\u043d\u044b 100    type String100 = String100 of string with        interface IWrappedString with            member this.Value = let (String100 s) = this in s    \/\/\/ \u041a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 \u0441\u0442\u0440\u043e\u043a \u0434\u043b\u0438\u043d\u044b 100    let string100 = create singleLineTrimmed (lengthValidator 100) String100    \/\/\/ \u041a\u043e\u043d\u0432\u0435\u0440\u0442\u0438\u0440\u0443\u0435\u0442 \u043e\u0431\u0451\u0440\u0442\u043a\u0443 \u043d\u0430\u0434 \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438 \u0432 \u0441\u0442\u0440\u043e\u043a\u0443 \u0434\u043b\u0438\u043d\u044b 100    let convertTo100 s = apply string100 s    \/\/\/ \u0421\u0442\u0440\u043e\u043a\u0430 \u0434\u043b\u0438\u043d\u044b 50    type String50 = String50 of string with        interface IWrappedString with            member this.Value = let (String50 s) = this in s    \/\/\/ \u041a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 \u0441\u0442\u0440\u043e\u043a \u0434\u043b\u0438\u043d\u044b 50    let string50 = create singleLineTrimmed (lengthValidator 50)  String50    \/\/\/ \u041a\u043e\u043d\u0432\u0435\u0440\u0442\u0438\u0440\u0443\u0435\u0442 \u043e\u0431\u0451\u0440\u0442\u043a\u0443 \u043d\u0430\u0434 \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438 \u0432 \u0441\u0442\u0440\u043e\u043a\u0443 \u0434\u043b\u0438\u043d\u044b 50    let convertTo50 s = apply string50 s    \/\/\/ \u0412\u0441\u043f\u043e\u043c\u043e\u0433\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0434\u043b\u044f \u0441\u043b\u043e\u0432\u0430\u0440\u0435\u0439    let mapAdd k v map =        Map.add (value k) v map    let mapContainsKey k map =        Map.containsKey (value k) map    let mapTryFind k map =        Map.tryFind (value k) map\/\/ ========================================\/\/ \u042d\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u043d\u044b\u0435 \u0430\u0434\u0440\u0435\u0441\u0430 (\u043a\u043e\u0434, \u043d\u0435 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u043d\u044b\u0439 \u0434\u043b\u044f \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f)\/\/ ========================================module EmailAddress =    type T = EmailAddress of string with        interface WrappedString.IWrappedString with            member this.Value = let (EmailAddress s) = this in s    let create =        let canonicalize = WrappedString.singleLineTrimmed        let isValid s =            (WrappedString.lengthValidator 100 s) &amp;&amp;            System.Text.RegularExpressions.Regex.IsMatch(s,@\"^\\S+@\\S+\\.\\S+$\")        WrappedString.create canonicalize isValid EmailAddress    \/\/\/ \u041a\u043e\u043d\u0432\u0435\u0440\u0442\u0438\u0443\u0435\u0442 \u043b\u044e\u0431\u0443\u044e \u043e\u0431\u0451\u0440\u0442\u043a\u0443 \u043d\u0430\u0434 \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438 \u0432 EmailAddress    let convert s = WrappedString.apply create s\/\/ ========================================\/\/ \u041f\u043e\u0447\u0442\u043e\u0432\u044b\u0439 \u0438\u043d\u0434\u0435\u043a\u0441 (\u043a\u043e\u0434, \u043d\u0435 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u043d\u044b\u0439 \u0434\u043b\u044f \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f)\/\/ ========================================module ZipCode =    type T = ZipCode of string with        interface WrappedString.IWrappedString with            member this.Value = let (ZipCode s) = this in s    let create =        let canonicalize = WrappedString.singleLineTrimmed        let isValid s =            System.Text.RegularExpressions.Regex.IsMatch(s,@\"^\\d{5}$\")        WrappedString.create canonicalize isValid ZipCode    \/\/\/ \u041a\u043e\u043d\u0432\u0435\u0440\u0442\u0438\u0443\u0435\u0442 \u043b\u044e\u0431\u0443\u044e \u043e\u0431\u0451\u0440\u0442\u043a\u0443 \u043d\u0430\u0434 \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438 \u0432 ZipCode    let convert s = WrappedString.apply create s\/\/ ========================================\/\/ \u041a\u043e\u0434 \u0448\u0442\u0430\u0442\u0430 (\u043a\u043e\u0434, \u043d\u0435 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u043d\u044b\u0439 \u0434\u043b\u044f \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f)\/\/ ========================================module StateCode =    type T = StateCode  of string with        interface WrappedString.IWrappedString with            member this.Value = let (StateCode  s) = this in s    let create =        let canonicalize = WrappedString.singleLineTrimmed        let stateCodes = [\"AZ\";\"CA\";\"NY\"] \/\/ \u0438 \u0442. \u0434.        let isValid s =            stateCodes |&gt; List.exists ((=) s)        WrappedString.create canonicalize isValid StateCode    \/\/\/ \u041a\u043e\u043d\u0432\u0435\u0440\u0442\u0438\u0443\u0435\u0442 \u043b\u044e\u0431\u0443\u044e \u043e\u0431\u0451\u0440\u0442\u043a\u0443 \u043d\u0430\u0434 \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438 \u0432 StateCode    let convert s = WrappedString.apply create s\/\/ ========================================\/\/ \u041f\u043e\u0447\u0442\u043e\u0432\u044b\u0439 \u0430\u0434\u0440\u0435\u0441 (\u043a\u043e\u0434, \u043d\u0435 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u043d\u044b\u0439 \u0434\u043b\u044f \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f)\/\/ ========================================module PostalAddress =    type USPostalAddress =        {        Address1: WrappedString.String50;        Address2: WrappedString.String50;        City: WrappedString.String50;        State: StateCode.T;        Zip: ZipCode.T;        }    type UKPostalAddress =        {        Address1: WrappedString.String50;        Address2: WrappedString.String50;        Town: WrappedString.String50;        PostCode: WrappedString.String50;   \/\/ \u0434\u043e\u0434\u0435\u043b\u0430\u0442\u044c        }    type GenericPostalAddress =        {        Address1: WrappedString.String50;        Address2: WrappedString.String50;        Address3: WrappedString.String50;        Address4: WrappedString.String50;        Address5: WrappedString.String50;        }    type T =        | USPostalAddress of USPostalAddress        | UKPostalAddress of UKPostalAddress        | GenericPostalAddress of GenericPostalAddress\/\/ ========================================\/\/ \u041b\u0438\u0447\u043d\u043e\u0435 \u0438\u043c\u044f (\u043a\u043e\u0434, \u043d\u0435 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u043d\u044b\u0439 \u0434\u043b\u044f \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f)\/\/ ========================================module PersonalName =    open WrappedString    type T =        {        FirstName: String50;        MiddleName: String50 option;        LastName: String100;        }    \/\/\/ \u0421\u043e\u0437\u0434\u0430\u0451\u0442 \u043d\u043e\u0432\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435    let create first middle last =        match (string50 first),(string100 last) with        | Some f, Some l -&gt;            Some {                FirstName = f;                MiddleName = (string50 middle)                LastName = l;                }        | _ -&gt;            None    \/\/\/ \u0421\u043a\u043b\u0435\u0438\u0432\u0430\u0435\u0442 \u0432\u043c\u0435\u0441\u0442\u0435 \u0438\u043c\u044f \u0438 \u0444\u0430\u043c\u0438\u043b\u0438\u044e    \/\/\/ \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u043f\u0440\u043e\u0441\u0442\u0443\u044e \u0441\u0442\u0440\u043e\u043a\u0443    let fullNameRaw personalName =        let f = personalName.FirstName |&gt; value        let l = personalName.LastName |&gt; value        let names =            match personalName.MiddleName with            | None -&gt; [| f; l |]            | Some middle -&gt; [| f; (value middle); l |]        System.String.Join(\" \", names)    \/\/\/ \u0421\u043a\u043b\u0435\u0438\u0432\u0430\u0435\u0442 \u0432\u043c\u0435\u0441\u0442\u0435 \u0438\u043c\u044f \u0438 \u0444\u0430\u043c\u0438\u043b\u0438\u044e    \/\/\/ \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 None, \u0435\u0441\u043b\u0438 \u0441\u043b\u0438\u0448\u043a\u043e\u043c \u0434\u043b\u0438\u043d\u043d\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430let fullNameOption personalName =        personalName |&gt; fullNameRaw |&gt; string100    \/\/\/ \u0421\u043a\u043b\u0435\u0438\u0432\u0430\u0435\u0442 \u0432\u043c\u0435\u0441\u0442\u0435 \u0438\u043c\u044f \u0438 \u0444\u0430\u043c\u0438\u043b\u0438\u044e    \/\/\/ \u0438 \u043e\u0431\u0440\u0435\u0437\u0430\u0435\u0442 \u0441\u043b\u0438\u0448\u043a\u043e\u043c \u0434\u043b\u0438\u043d\u043d\u0443\u044e \u0441\u0442\u0440\u043e\u043a\u0443    let fullNameTruncated personalName =        \/\/ \u0432\u0441\u043f\u043e\u043c\u043e\u0433\u0430\u0442\u0435\u043b\u044c\u043d\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f        let left n (s:string) =            if (s.Length &gt; n)            then s.Substring(0,n)            else s        personalName        |&gt; fullNameRaw  \/\/ \u0441\u043a\u043b\u0435\u0438\u0432\u0430\u0435\u043c        |&gt; left 100     \/\/ \u043e\u0431\u0440\u0435\u0437\u0430\u0435\u043c        |&gt; string100    \/\/ \u0437\u0430\u0432\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0435\u043c        |&gt; Option.get   \/\/ \u0432\u0441\u0451 \u0432\u043c\u0435\u0441\u0442\u0435 \u0434\u0430\u0451\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0431\u0435\u0437 \u043e\u0448\u0438\u0431\u043e\u043a<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0410 \u0442\u0435\u043f\u0435\u0440\u044c\u00a0\u2014 \u0442\u0438\u043f\u044b, \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u043d\u044b\u0435 \u0434\u043b\u044f \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f.<\/p>\n<pre><code class=\"fsharp\">\/\/ ========================================\/\/ EmailContactInfo -- \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\/\/ ========================================module EmailContactInfo =    open System    \/\/ UnverifiedData = \u043f\u0440\u043e\u0441\u0442\u043e EmailAddress    type UnverifiedData = EmailAddress.T    \/\/ VerifiedData = EmailAddress \u043f\u043b\u044e\u0441 \u0434\u0430\u0442\u0430\/\u0432\u0440\u0435\u043c\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438    type VerifiedData = EmailAddress.T * DateTime    \/\/ \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439    type T =        | UnverifiedState of UnverifiedData        | VerifiedState of VerifiedData    let create email =        \/\/ \u043d\u0435\u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d\u043d\u044b\u0439 \u043f\u0440\u0438 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0438        UnverifiedState email    \/\/ \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0441\u043e\u0431\u044b\u0442\u0438\u0435 \"\u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d\"    let verified emailContactInfo dateVerified =        match emailContactInfo with        | UnverifiedState email -&gt;            \/\/ \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u0438\u0440\u0443\u0435\u043c \u043d\u043e\u0432\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442 \u0432 \u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d\u043d\u043e\u043c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0438            VerifiedState (email, dateVerified)        | VerifiedState _ -&gt;            \/\/ \u0438\u0433\u043d\u043e\u0440\u0438\u0440\u0443\u0435\u043c            emailContactInfo    let sendVerificationEmail emailContactInfo =        match emailContactInfo with        | UnverifiedState email -&gt;            \/\/ \u043e\u0442\u043f\u0440\u0430\u0432\u043b\u044f\u0435\u043c \u043f\u0438\u0441\u044c\u043c\u043e            printfn \"\u043e\u0442\u043f\u0440\u0430\u0432\u043a\u0430 \u043f\u0438\u0441\u044c\u043c\u0430\"        | VerifiedState _ -&gt;            \/\/ \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0434\u0435\u043b\u0430\u0435\u043c            ()    let sendPasswordReset emailContactInfo =        match emailContactInfo with        | UnverifiedState email -&gt;            \/\/ \u0438\u0433\u043d\u043e\u0440\u0438\u0440\u0443\u0435\u043c            ()        | VerifiedState _ -&gt;            printfn \"\u043e\u0442\u043f\u0440\u0430\u0432\u043a\u0430 \u0437\u0430\u043f\u0440\u043e\u0441\u0430 \u0437\u0430 \u0441\u0431\u0440\u043e\u0441 \u043f\u0430\u0440\u043e\u043b\u044f\"\/\/ ========================================\/\/ PostalContactInfo -- \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\/\/ ========================================module PostalContactInfo =    open System    \/\/ InvalidData = \u043f\u0440\u043e\u0441\u0442\u043e PostalAddress    type InvalidData = PostalAddress.T    \/\/ ValidData = PostalAddress \u043f\u043b\u044e\u0441 \u0434\u0430\u0442\u0430\/\u0432\u0440\u0435\u043c\u044f \u0432\u0430\u043b\u0438\u0434\u0430\u0446\u0438\u0438    type ValidData = PostalAddress.T * DateTime    \/\/ \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439    type T =        | InvalidState of InvalidData        | ValidState of ValidData    let create address =        \/\/ \u043d\u0435\u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d\u043d\u044b\u0439 \u043f\u0440\u0438 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0438        InvalidState address    \/\/ \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u043c \u0441\u043e\u0431\u044b\u0442\u0438\u0435 \"\u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d\"    let validated postalContactInfo dateValidated =        match postalContactInfo with        | InvalidState address -&gt;            \/\/ \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u0438\u0440\u0443\u0435\u043c \u043d\u043e\u0432\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442 \u0432 \u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d\u043d\u043e\u043c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0438            ValidState (address, dateValidated)        | ValidState _ -&gt;            \/\/ \u0438\u0433\u043d\u043e\u0440\u0438\u0440\u0443\u0435\u043c            postalContactInfo    let contactValidationService postalContactInfo =        let dateIsTooLongAgo (d:DateTime) =            d &lt; DateTime.Today.AddYears(-1)        match postalContactInfo with        | InvalidState address -&gt;            printfn \"\u0441\u043e\u0435\u0434\u0438\u043d\u044f\u0435\u043c\u0441\u044f \u0441 \u0441\u0435\u0440\u0432\u0438\u0441\u043e\u043c \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u0430\u0434\u0440\u0435\u0441\u043e\u0432\"        | ValidState (address,date) when date |&gt; dateIsTooLongAgo  -&gt;            printfn \"\u043f\u043e\u0441\u043b\u0435\u0434\u043d\u044f\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0431\u044b\u043b\u0430 \u0441\u043b\u0438\u0448\u043a\u043e\u043c \u0434\u0430\u0432\u043d\u043e\"            printfn \"\u0441\u043d\u043e\u0432\u0430 \u0441\u043e\u0435\u0434\u0438\u043d\u044f\u0435\u043c\u0441\u044f \u0441 \u0441\u0435\u0440\u0432\u0438\u0441\u043e\u043c \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u0430\u0434\u0440\u0435\u0441\u043e\u0432\"        | ValidState  _ -&gt;            printfn \"\u043d\u0435\u0434\u0430\u0432\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d, \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0434\u0435\u043b\u0430\u0435\u043c\"\/\/ ========================================\/\/ ContactMethod \u0438 Contact\/\/ ========================================type ContactMethod =    | Email of EmailContactInfo.T    | PostalAddress of PostalContactInfo.Ttype Contact =    {    Name: PersonalName.T;    PrimaryContactMethod: ContactMethod;    SecondaryContactMethods: ContactMethod list;    }<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<h3>\u0417\u0430\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435<\/h3>\n<p>\u0423\u0444! \u041d\u043e\u0432\u044b\u0439 \u043a\u043e\u0434 \u0433\u043e\u0440\u0430\u0437\u0434\u043e, \u0433\u043e\u0440\u0430\u0437\u0434\u043e \u0434\u043b\u0438\u043d\u043d\u0435\u0435 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e. \u0414\u0430, \u0432 \u043d\u0451\u043c \u043c\u043d\u043e\u0433\u043e \u0432\u0441\u043f\u043e\u043c\u043e\u0433\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439, \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043d\u0435 \u0431\u044b\u043b\u043e \u0432 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u043c \u043a\u043e\u0434\u0435, \u043d\u043e \u0432\u0441\u0451 \u0440\u0430\u0432\u043d\u043e \u043a\u0430\u0436\u0435\u0442\u0441\u044f, \u0447\u0442\u043e \u043c\u044b \u043f\u043e\u0442\u0440\u0430\u0442\u0438\u043b\u0438 \u043d\u0430 \u043d\u0435\u0433\u043e \u0441\u043b\u0438\u0448\u043a\u043e\u043c \u043c\u043d\u043e\u0433\u043e \u0441\u0438\u043b. \u0421\u0442\u043e\u0438\u043b\u0430 \u043b\u0438 \u043e\u0432\u0447\u0438\u043d\u043a\u0430 \u0432\u044b\u0434\u0435\u043b\u043a\u0438?<\/p>\n<p>\u042f \u0434\u0443\u043c\u0430\u044e, \u043e\u0442\u0432\u0435\u0442\u00a0\u2014 \u0434\u0430. \u0418 \u0432\u043e\u0442 \u043f\u043e\u0447\u0435\u043c\u0443:<\/p>\n<p><strong>\u041d\u043e\u0432\u044b\u0439 \u043a\u043e\u0434 \u044f\u0432\u043d\u043e \u0432\u044b\u0440\u0430\u0436\u0430\u0435\u0442 \u043d\u0430\u043c\u0435\u0440\u0435\u043d\u0438\u044f \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a\u0430<\/strong><\/p>\n<p>\u0421\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430 \u0434\u0430\u043d\u043d\u044b\u0445 \u0431\u044b\u043b\u0430 \u00ab\u0442\u0443\u043f\u043e\u0439\u00bb, \u0430 \u0431\u0438\u0437\u043d\u0435\u0441-\u043f\u0440\u0430\u0432\u0438\u043b\u0430\u00a0\u2014 \u043d\u0435\u044f\u0432\u043d\u044b\u043c\u0438. \u0412\u0441\u0435 \u0448\u0430\u043d\u0441\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u043a\u043e\u0432\u0430\u0440\u043d\u044b\u0445 \u043e\u0448\u0438\u0431\u043e\u043a, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0434\u0430\u0436\u0435 \u043d\u0435 \u043f\u0440\u043e\u044f\u0432\u044f\u0442\u0441\u044f \u0432 \u043c\u043e\u0434\u0443\u043b\u044c\u043d\u044b\u0445 \u0442\u0435\u0441\u0442\u0430\u0445. (<em>\u0412\u044b \u0443\u0432\u0435\u0440\u0435\u043d\u044b, \u0447\u0442\u043e \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u0435 \u0441\u0431\u0440\u0430\u0441\u044b\u0432\u0430\u0435\u0442 \u0444\u043b\u0430\u0433 <\/em><code><em>IsEmailVerified<\/em><\/code><em> \u0432\u0435\u0437\u0434\u0435, \u0433\u0434\u0435 \u043c\u0435\u043d\u044f\u0435\u0442\u0441\u044f \u044d\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u043d\u044b\u0439 \u0430\u0434\u0440\u0435\u0441?<\/em>)<\/p>\n<p>\u0421 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u044b, \u043d\u043e\u0432\u044b\u0439 \u043a\u043e\u0434 \u043f\u0440\u0435\u0434\u0435\u043b\u044c\u043d\u043e \u044f\u0441\u0435\u043d \u0432 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0438 \u0434\u0435\u0442\u0430\u043b\u0435\u0439. \u0415\u0441\u043b\u0438 \u0431\u044b \u044f \u0443\u0434\u0430\u043b\u0438\u043b \u0432\u0441\u0451, \u043a\u0440\u043e\u043c\u0435 \u0442\u0438\u043f\u043e\u0432, \u0432\u044b \u0431\u044b \u0432\u0441\u0451 \u0440\u0430\u0432\u043d\u043e \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u0438 \u0447\u0451\u0442\u043a\u043e\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043e \u0431\u0438\u0437\u043d\u0435\u0441-\u043f\u0440\u0430\u0432\u0438\u043b\u0430\u0445 \u0438 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f\u0445 \u043f\u0440\u0435\u0434\u043c\u0435\u0442\u043d\u043e\u0439 \u043e\u0431\u043b\u0430\u0441\u0442\u0438.<\/p>\n<p><strong>\u041d\u043e\u0432\u044b\u0439 \u043a\u043e\u0434 \u043d\u0435 \u0440\u0430\u0437\u0440\u0435\u0448\u0430\u0435\u0442 \u043e\u0442\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u0442\u044c \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0443 \u043e\u0448\u0438\u0431\u043e\u043a<\/strong><\/p>\n<p>\u041d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u043a\u043e\u0434\u0430 \u0432 \u043d\u043e\u0432\u043e\u043c \u0441\u0442\u0438\u043b\u0435, \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442, \u0447\u0442\u043e \u0432\u0430\u043c \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0443\u0447\u0438\u0442\u044b\u0432\u0430\u0442\u044c \u0432\u0441\u0451, \u0447\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u043f\u043e\u0439\u0442\u0438 \u043d\u0435 \u0442\u0430\u043a: \u043e\u0442 \u0441\u043b\u0438\u0448\u043a\u043e\u043c \u0434\u043b\u0438\u043d\u043d\u043e\u0433\u043e \u0438\u043c\u0435\u043d\u0438 \u0434\u043e \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u044f \u0441\u043f\u043e\u0441\u043e\u0431\u0430 \u0441\u0432\u044f\u0437\u0438. \u0418 \u044d\u0442\u043e \u043d\u0430\u0434\u043e \u0434\u0435\u043b\u0430\u0442\u044c \u0437\u0430\u0440\u0430\u043d\u0435\u0435, \u043f\u0440\u0438 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0438 \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432. \u0412\u044b \u043d\u0435 \u043c\u043e\u0436\u0435\u0442\u0435 \u043e\u0442\u043b\u043e\u0436\u0438\u0442\u044c \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0443 \u043d\u0430 \u043f\u043e\u0442\u043e\u043c.<\/p>\n<p>\u041e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0430 \u043e\u0448\u0438\u0431\u043e\u043a \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0441\u043a\u0443\u0447\u043d\u043e\u0439 \u0438 \u0440\u0430\u0437\u0434\u0440\u0430\u0436\u0430\u044e\u0449\u0435\u0439, \u043d\u043e, \u0441 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u044b, \u043a\u043e\u0434 \u043f\u043e\u0447\u0442\u0438 \u0447\u0442\u043e \u043f\u0438\u0448\u0435\u0442 \u0441\u0430\u043c \u0441\u0435\u0431\u044f. \u041f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0435\u0441\u0442\u044c \u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0439 \u0441\u043f\u043e\u0441\u043e\u0431 \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043a\u043e\u0434, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0431\u0443\u0434\u0435\u0442 \u043a\u043e\u043c\u043f\u0438\u043b\u0438\u0440\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u0441 \u0432\u0430\u0448\u0438\u043c\u0438 \u0442\u0438\u043f\u0430\u043c\u0438.<\/p>\n<p><strong>\u041d\u043e\u0432\u044b\u0439 \u043a\u043e\u0434, \u0441\u043a\u043e\u0440\u0435\u0435 \u0432\u0441\u0435\u0433\u043e, \u0431\u0443\u0434\u0435\u0442 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u043c<\/strong><\/p>\n<p><em>\u041e\u0433\u0440\u043e\u043c\u043d\u043e\u0435<\/em> \u043f\u0440\u0435\u0438\u043c\u0443\u0449\u0435\u0441\u0442\u0432\u043e \u043d\u043e\u0432\u043e\u0433\u043e \u043a\u043e\u0434\u0430 \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e \u0432 \u043d\u0451\u043c \u0433\u043e\u0440\u0430\u0437\u0434\u043e \u043c\u0435\u043d\u044c\u0448\u0435 \u043e\u0448\u0438\u0431\u043e\u043a. \u0414\u0430\u0436\u0435 \u0431\u0435\u0437 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u043c\u043e\u0434\u0443\u043b\u044c\u043d\u044b\u0445 \u0442\u0435\u0441\u0442\u043e\u0432 \u044f \u0443\u0432\u0435\u0440\u0435\u043d, \u0447\u0442\u043e \u0438\u043c\u044f \u043f\u0440\u0438 \u0437\u0430\u043f\u0438\u0441\u0438 \u0432 \u0431\u0430\u0437\u0443 \u043d\u0435 \u0431\u0443\u0434\u0435\u0442 \u0443\u0441\u0435\u0447\u0435\u043d\u043e \u0434\u043e <code>varchar(50)<\/code>, \u0438 \u0447\u0442\u043e \u044f\u00a0\u2014 \u0434\u0430\u0436\u0435 \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e\u00a0\u2014 \u043d\u0435 \u043e\u0442\u043f\u0440\u0430\u0432\u043b\u044e \u0434\u0432\u0430 \u0440\u0430\u0437\u0430 \u043f\u0438\u0441\u044c\u043c\u043e \u0434\u043b\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u0430\u0434\u0440\u0435\u0441\u0430.<\/p>\n<p>\u0427\u0442\u043e \u043a\u0430\u0441\u0430\u0435\u0442\u0441\u044f \u0441\u0430\u043c\u043e\u0433\u043e \u043a\u043e\u0434\u0430, \u0432 \u043d\u0451\u043c \u043d\u0435\u0442 \u043c\u043d\u043e\u0433\u043e\u0433\u043e \u0438\u0437 \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u0432\u0430\u043c, \u043a\u0430\u043a \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a\u0443, \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u043f\u043e\u043c\u043d\u0438\u0442\u044c. \u041d\u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u043e\u043a \u043d\u0430 <code>null<\/code>, \u043d\u0438 \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u0438\u044f \u0442\u0438\u043f\u043e\u0432, \u043d\u0438 \u0431\u0435\u0441\u043f\u043e\u043a\u043e\u0439\u0441\u0442\u0432\u0430 \u043e \u0442\u043e\u043c, \u0447\u0442\u043e \u0434\u043e\u043b\u0436\u043d\u043e \u0431\u044b\u0442\u044c \u0432 \u0432\u0435\u0442\u043a\u0435 <code>default<\/code> \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 <code>switch<\/code>. \u0418 \u0435\u0441\u043b\u0438 \u0432\u0430\u043c \u043d\u0440\u0430\u0432\u0438\u0442\u044c\u0441\u044f \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0446\u0438\u043a\u043b\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0443\u044e \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c, \u043a\u0430\u043a \u043c\u0435\u0442\u0440\u0438\u043a\u0443 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0430 \u043a\u043e\u0434\u0430, \u043e\u0431\u0440\u0430\u0442\u0438\u0442\u0435 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435, \u0447\u0442\u043e \u0432 \u043d\u043e\u0432\u043e\u043c \u043a\u043e\u0434\u0435 \u0432\u0441\u0435\u0433\u043e \u0442\u0440\u0438 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 <code>if<\/code> \u043d\u0430 350 \u0441 \u043b\u0438\u0448\u043d\u0438\u043c \u0441\u0442\u0440\u043e\u043a.<\/p>\n<p><strong>\u0421\u043b\u043e\u0432\u0430 \u043f\u0440\u0435\u0434\u043e\u0441\u0442\u0435\u0440\u0435\u0436\u0435\u043d\u0438\u044f\u2026<\/strong><\/p>\n<p>\u0411\u0443\u0434\u044c\u0442\u0435 \u043e\u0441\u0442\u043e\u0440\u043e\u0436\u043d\u044b! \u0421\u0442\u0438\u043b\u044c \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f, \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043d\u0430 \u0442\u0438\u043f\u0430\u0445, \u043e\u043a\u0430\u0436\u0435\u0442 \u043d\u0430 \u0432\u0430\u0441 \u043a\u043e\u0432\u0430\u0440\u043d\u043e\u0435 \u0432\u043e\u0437\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0435. \u0412\u0441\u044f\u043a\u0438\u0439 \u0440\u0430\u0437, \u043a\u043e\u0433\u0434\u0430 \u0432\u044b \u0432\u0441\u0442\u0440\u0435\u0442\u0438\u0442\u0435 \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u0442\u0438\u043f\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043a\u043e\u0434, \u0443 \u0432\u0430\u0441 \u0431\u0443\u0434\u0435\u0442 \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u0442\u044c \u043f\u0430\u0440\u0430\u043d\u043e\u0439\u044f. (<em>\u041a\u0430\u043a\u043e\u0439 \u0442\u043e\u0447\u043d\u043e \u0434\u043b\u0438\u043d\u044b \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c \u044d\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u043d\u044b\u0439 \u0430\u0434\u0440\u0435\u0441?<\/em>) \u0412\u044b \u043d\u0435 \u0441\u043c\u043e\u0436\u0435\u0442\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043f\u0440\u043e\u0441\u0442\u0435\u0439\u0448\u0438\u0439 \u0441\u043a\u0440\u0438\u043f\u0442 \u043d\u0430 Python, \u043d\u0435 \u0438\u0441\u043f\u044b\u0442\u044b\u0432\u0430\u044f \u0431\u0435\u0441\u043f\u043e\u043a\u043e\u0439\u0441\u0442\u0432\u0430. \u041f\u043e\u0441\u043b\u0435 \u044d\u0442\u043e\u0433\u043e \u0432\u044b \u0441\u0442\u0430\u043d\u0435\u0442\u0435 \u043f\u043e\u043b\u043d\u043e\u043f\u0440\u0430\u0432\u043d\u044b\u043c \u0447\u043b\u0435\u043d\u043e\u043c \u043a\u0443\u043b\u044c\u0442\u0430. \u0414\u043e\u0431\u0440\u043e \u043f\u043e\u0436\u0430\u043b\u043e\u0432\u0430\u0442\u044c!<\/p>\n<p><em>\u0415\u0441\u043b\u0438 \u0432\u0430\u043c \u043f\u043e\u043d\u0440\u0430\u0432\u0438\u043b\u0441\u044f \u044d\u0442\u043e\u0442 \u0446\u0438\u043a\u043b, \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e, \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u0442\u0435 <\/em><a href=\"https:\/\/fsharpforfunandprofit.com\/ddd\/\" rel=\"noopener noreferrer nofollow\"><em>\u043c\u043e\u0439 \u0434\u043e\u043a\u043b\u0430\u0434<\/em><\/a><\/p>\n<\/div>\n<p>\u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/habr.com\/ru\/articles\/1033886\/\">https:\/\/habr.com\/ru\/articles\/1033886\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u0412 \u044d\u0442\u043e\u043c \u0446\u0438\u043a\u043b\u0435 \u043c\u044b \u0443\u0437\u043d\u0430\u043b\u0438 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u0432 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0442\u0438\u043f\u044b, \u043a\u0430\u043a \u0447\u0430\u0441\u0442\u044c \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430 \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f. \u0412 \u0447\u0430\u0441\u0442\u043d\u043e\u0441\u0442\u0438:\u0420\u0430\u0437\u0431\u0438\u0435\u043d\u0438\u0435 \u0431\u043e\u043b\u044c\u0448\u0438\u0445 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440 \u043d\u0430 \u043c\u0430\u043b\u0435\u043d\u044c\u043a\u0438\u0435 \u00ab\u0430\u0442\u043e\u043c\u0430\u0440\u043d\u044b\u0435\u00bb \u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442\u044b.\u0418\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u043e\u0434\u043d\u043e\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u044b\u0445 \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0439 \u0434\u043b\u044f \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0438 \u0432\u0430\u043b\u0438\u0434\u0430\u0446\u0438\u0438 \u043a \u0442\u0438\u043f\u0430\u043c \u043f\u0440\u0435\u0434\u043c\u0435\u0442\u043d\u043e\u0439 \u043e\u0431\u043b\u0430\u0441\u0442\u0438, \u043d\u0430\u043f\u043e\u0434\u043e\u0431\u0438\u0435 EmailAddress \u0438 ZipCode.\u041f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u0435, \u0447\u0442\u043e \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0442\u0438\u043f\u043e\u0432 \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435 (\u00ab\u0434\u0435\u043b\u0430\u0435\u043c \u043d\u0435\u0434\u043e\u043f\u0443\u0441\u0442\u0438\u043c\u044b\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u043d\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043c\u044b\u043c\u0438\u00bb).\u0418\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0442\u0438\u043f\u043e\u0432 \u043a\u0430\u043a \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430 \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u0434\u043b\u044f \u0432\u044b\u044f\u0432\u043b\u0435\u043d\u0438\u044f \u0441\u043a\u0440\u044b\u0442\u044b\u0445 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u0438\u0439.\u0417\u0430\u043c\u0435\u043d\u0430 \u0444\u043b\u0430\u0433\u043e\u0432 \u0438 \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0439 \u043f\u0440\u043e\u0441\u0442\u044b\u043c\u0438 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u043c\u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430\u043c\u0438.\u0417\u0430\u043c\u0435\u043d\u0430 \u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u043d\u044b\u0445 \u0441\u0442\u0440\u043e\u043a \u0442\u0438\u043f\u0430\u043c\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u044e\u0442 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u0435 \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u043c \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f\u043c.\u0412 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u043c \u043f\u043e\u0441\u0442\u0435 \u0446\u0438\u043a\u043b\u0430, \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0438\u0445 \u0432\u043c\u0435\u0441\u0442\u0435.\u041a\u043e\u0434 \u00ab\u0434\u043e\u00bb\u041e\u0440\u0438\u0433\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0439 \u043f\u0440\u0438\u043c\u0435\u0440, \u0441 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043c\u044b \u043d\u0430\u0447\u0430\u043b\u0438 \u0432 \u043f\u0435\u0440\u0432\u043e\u043c \u043f\u043e\u0441\u0442\u0435 \u0446\u0438\u043a\u043b\u0430:type Contact =    {    FirstName: string;    MiddleInitial: string;    LastName: string;    EmailAddress: string;    \/\/true, \u0435\u0441\u043b\u0438 \u044d\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u043d\u044b\u0439 \u0430\u0434\u0440\u0435\u0441 \u043f\u043e\u0434\u0442\u0432\u0435\u0440\u0436\u0434\u0451\u043d    IsEmailVerified: bool;    Address1: string;    Address2: string;    City: string;    State: string;    Zip: string;    \/\/true, \u0435\u0441\u043b\u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0441\u0435\u0440\u0432\u0438\u0441\u0430 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u0430\u0434\u0440\u0435\u0441\u043e\u0432    IsAddressValid: bool;    }\u041a\u0430\u043a \u043e\u043d \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u043f\u043e \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u044e \u0441 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u043c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u043c, \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u044b\u043c \u043f\u043e\u0441\u043b\u0435 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u0432\u0441\u0435\u0445 \u0442\u0435\u0445\u043d\u0438\u043a, \u043e\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0445 \u0432\u044b\u0448\u0435?\u041a\u043e\u0434 \u00ab\u043f\u043e\u0441\u043b\u0435\u00bb\u0412\u043e-\u043f\u0435\u0440\u0432\u044b\u0445, \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u043d\u0430\u0447\u043d\u0451\u043c \u0441 \u0442\u0438\u043f\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0435 \u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u043d\u044b\u043c\u0438 \u0434\u043b\u044f \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f. \u042d\u0442\u0438 \u0442\u0438\u043f\u044b \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043f\u043e\u0432\u0442\u043e\u0440\u043d\u043e \u0432 \u0434\u0440\u0443\u0433\u0438\u0445 \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f\u0445.\/\/ ========================================\/\/ WrappedString\/\/ ========================================\/\/\/ \u041e\u0431\u0449\u0438\u0439 \u043a\u043e\u0434 \u0434\u043b\u044f \u043e\u0431\u0451\u0440\u0442\u043e\u043a \u043d\u0430\u0434 \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438module WrappedString =    \/\/\/ \u0418\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u044e\u0442 \u0432\u0441\u0435 \u043e\u0431\u0451\u0440\u0442\u043a\u0438 \u043d\u0430\u0434 \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438    type IWrappedString =        abstract Value : string    \/\/\/ \u0421\u043e\u0437\u0434\u0430\u0451\u0442 \u043e\u043f\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0435 \u0437\u0430\u0432\u0451\u0440\u043d\u0443\u0442\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435    \/\/\/ 1) \u041f\u0440\u0438\u0432\u043e\u0434\u0438\u0442 \u0432\u0445\u043e\u0434\u043d\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435 \u043a \u043a\u0430\u043d\u043e\u043d\u0438\u0447\u0435\u0441\u043a\u043e\u043c\u0443 \u0432\u0438\u0434\u0443    \/\/\/ 2) \u0415\u0441\u043b\u0438 \u0432\u0430\u043b\u0438\u0434\u0430\u0446\u0438\u044f \u043f\u0440\u043e\u0448\u043b\u0430, \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 Some \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0430    \/\/\/ 3) \u0415\u0441\u043b\u0438 \u0432\u0430\u043b\u0438\u0434\u0430\u0446\u0438\u044f \u043d\u0435 \u043f\u0440\u043e\u0448\u043b\u0430, \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 None    \/\/\/ \u0417\u043d\u0430\u0447\u0435\u043d\u0438\u044f null \u043d\u0435 \u0441\u0447\u0438\u0442\u0430\u044e\u0442\u0441\u044f \u0432\u0430\u043b\u0438\u0434\u043d\u044b\u043c\u0438.    let create canonicalize isValid ctor (s:string) =        if s = null        then None        else            let s&#8217; = canonicalize s            if isValid s&#8217;            then Some (ctor s&#8217;)            else None    \/\/\/ \u041f\u0440\u0438\u043c\u0435\u043d\u044f\u0435\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u043a \u0437\u0430\u0432\u0451\u0440\u043d\u0443\u0442\u043e\u043c\u0443 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e    let apply f (s:IWrappedString) =        s.Value |&gt; f    \/\/\/ \u0412\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0437\u0430\u0432\u0451\u0440\u043d\u0443\u0442\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435    let value s = apply id s    \/\/\/ \u0420\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u043e    let equals left right =        (value left) = (value right)    \/\/\/ \u0421\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435    let compareTo left right =        (value left).CompareTo (value right)    \/\/\/ \u041f\u0440\u0438\u0432\u043e\u0434\u0438\u0442 \u0441\u0442\u0440\u043e\u043a\u0443 \u043a \u043a\u0430\u043d\u043e\u043d\u0438\u0447\u0435\u0441\u043a\u043e\u043c\u0443 \u0432\u0438\u0434\u0443 \u043f\u0435\u0440\u0435\u0434 \u0432\u044b\u0437\u043e\u0432\u043e\u043c \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0430    \/\/\/ * \u043a\u043e\u043d\u0432\u0435\u0440\u0442\u0438\u0440\u0443\u0435\u0442 \u0432\u0441\u0435 \u043f\u0440\u043e\u0431\u0435\u043b\u044c\u043d\u044b\u0435 \u0441\u0438\u043c\u0432\u043e\u043b\u044b \u0432 \u043f\u0440\u043e\u0431\u0435\u043b\u044b    \/\/\/ * \u043e\u0431\u0440\u0435\u0437\u0430\u0435\u0442 \u0441\u043b\u0435\u0432\u0430 \u0438 \u0441\u043f\u0440\u0430\u0432\u0430    let singleLineTrimmed s =        System.Text.RegularExpressions.Regex.Replace(s,&#187;\\s&#187;,&#187; &#171;).Trim()    \/\/\/ \u0424\u0443\u043d\u043a\u0446\u0438\u044f \u0432\u0430\u043b\u0438\u0430\u0434\u0430\u0446\u0438\u0438 \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0435 \u0434\u043b\u0438\u043d\u044b \u0441\u0442\u0440\u043e\u043a\u0438    let lengthValidator len (s:string) =        s.Length &lt;= len    \/\/\/ \u0421\u0442\u0440\u043e\u043a\u0430 \u0434\u043b\u0438\u043d\u044b 100    type String100 = String100 of string with        interface IWrappedString with            member this.Value = let (String100 s) = this in s    \/\/\/ \u041a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 \u0441\u0442\u0440\u043e\u043a \u0434\u043b\u0438\u043d\u044b 100    let string100 = create singleLineTrimmed (lengthValidator 100) String100    \/\/\/ \u041a\u043e\u043d\u0432\u0435\u0440\u0442\u0438\u0440\u0443\u0435\u0442 \u043e\u0431\u0451\u0440\u0442\u043a\u0443 \u043d\u0430\u0434 \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438 \u0432 \u0441\u0442\u0440\u043e\u043a\u0443 \u0434\u043b\u0438\u043d\u044b 100    let convertTo100 s = apply string100 s    \/\/\/ \u0421\u0442\u0440\u043e\u043a\u0430 \u0434\u043b\u0438\u043d\u044b 50    type String50 = String50 of string with        interface IWrappedString with            member this.Value = let (String50 s) = this in s    \/\/\/ \u041a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 \u0441\u0442\u0440\u043e\u043a \u0434\u043b\u0438\u043d\u044b 50    let string50 = create singleLineTrimmed (lengthValidator 50)  String50    \/\/\/ \u041a\u043e\u043d\u0432\u0435\u0440\u0442\u0438\u0440\u0443\u0435\u0442 \u043e\u0431\u0451\u0440\u0442\u043a\u0443 \u043d\u0430\u0434 \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438 \u0432 \u0441\u0442\u0440\u043e\u043a\u0443 \u0434\u043b\u0438\u043d\u044b 50    let convertTo50 s = apply string50 s    \/\/\/ \u0412\u0441\u043f\u043e\u043c\u043e\u0433\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0434\u043b\u044f \u0441\u043b\u043e\u0432\u0430\u0440\u0435\u0439    let mapAdd k v map =        Map.add (value k) v map    let mapContainsKey k map =        Map.containsKey (value k) map    let mapTryFind k map =        Map.tryFind (value k) map\/\/ ========================================\/\/ \u042d\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u043d\u044b\u0435 \u0430\u0434\u0440\u0435\u0441\u0430 (\u043a\u043e\u0434, \u043d\u0435 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u043d\u044b\u0439 \u0434\u043b\u044f \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f)\/\/ ========================================module EmailAddress =    type T = EmailAddress of string with        interface WrappedString.IWrappedString with            member this.Value = let (EmailAddress s) = this in s    let create =        let canonicalize = WrappedString.singleLineTrimmed        let isValid s =            (WrappedString.lengthValidator 100 s) &amp;&amp;            System.Text.RegularExpressions.Regex.IsMatch(s,@&#187;^\\S+@\\S+\\.\\S+$&#187;)        WrappedString.create canonicalize isValid EmailAddress    \/\/\/ \u041a\u043e\u043d\u0432\u0435\u0440\u0442\u0438\u0443\u0435\u0442 \u043b\u044e\u0431\u0443\u044e \u043e\u0431\u0451\u0440\u0442\u043a\u0443 \u043d\u0430\u0434 \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438 \u0432 EmailAddress    let convert s = WrappedString.apply create s\/\/ ========================================\/\/ \u041f\u043e\u0447\u0442\u043e\u0432\u044b\u0439 \u0438\u043d\u0434\u0435\u043a\u0441 (\u043a\u043e\u0434, \u043d\u0435 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u043d\u044b\u0439 \u0434\u043b\u044f \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f)\/\/ ========================================module ZipCode =    type T = ZipCode of string with        interface WrappedString.IWrappedString with            member this.Value = let (ZipCode s) = this in s    let create =        let canonicalize = WrappedString.singleLineTrimmed        let isValid s =            System.Text.RegularExpressions.Regex.IsMatch(s,@&#187;^\\d{5}$&#187;)        WrappedString.create canonicalize isValid ZipCode    \/\/\/ \u041a\u043e\u043d\u0432\u0435\u0440\u0442\u0438\u0443\u0435\u0442 \u043b\u044e\u0431\u0443\u044e \u043e\u0431\u0451\u0440\u0442\u043a\u0443 \u043d\u0430\u0434 \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438 \u0432 ZipCode    let convert s = WrappedString.apply create s\/\/ ========================================\/\/ \u041a\u043e\u0434 \u0448\u0442\u0430\u0442\u0430 (\u043a\u043e\u0434, \u043d\u0435 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u043d\u044b\u0439 \u0434\u043b\u044f \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f)\/\/ ========================================module StateCode =    type T = StateCode  of string with        interface WrappedString.IWrappedString with            member this.Value = let (StateCode  s) = this in s    let create =        let canonicalize = WrappedString.singleLineTrimmed        let stateCodes = [&#171;AZ&#187;;&#187;CA&#187;;&#187;NY&#187;] \/\/ \u0438 \u0442. \u0434.        let isValid s =            stateCodes |&gt; List.exists ((=) s)        WrappedString.create canonicalize isValid StateCode    \/\/\/ \u041a\u043e\u043d\u0432\u0435\u0440\u0442\u0438\u0443\u0435\u0442 \u043b\u044e\u0431\u0443\u044e \u043e\u0431\u0451\u0440\u0442\u043a\u0443 \u043d\u0430\u0434 \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438 \u0432 StateCode    let convert s = WrappedString.apply create s\/\/ ========================================\/\/ \u041f\u043e\u0447\u0442\u043e\u0432\u044b\u0439 \u0430\u0434\u0440\u0435\u0441 (\u043a\u043e\u0434, \u043d\u0435 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u043d\u044b\u0439 \u0434\u043b\u044f \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f)\/\/ ========================================module PostalAddress =    type USPostalAddress =        {        Address1: WrappedString.String50;        Address2: WrappedString.String50;        City: WrappedString.String50;        State: StateCode.T;        Zip: ZipCode.T;        }    type UKPostalAddress =        {        Address1: WrappedString.String50;        Address2: WrappedString.String50;        Town: WrappedString.String50;        PostCode: WrappedString.String50;   \/\/ \u0434\u043e\u0434\u0435\u043b\u0430\u0442\u044c        }    type GenericPostalAddress =        {        Address1: WrappedString.String50;        Address2: WrappedString.String50;        Address3: WrappedString.String50;        Address4: WrappedString.String50;        Address5: WrappedString.String50;        }    type T =        | USPostalAddress of USPostalAddress        | UKPostalAddress of UKPostalAddress        | GenericPostalAddress of GenericPostalAddress\/\/ ========================================\/\/ \u041b\u0438\u0447\u043d\u043e\u0435 \u0438\u043c\u044f (\u043a\u043e\u0434, \u043d\u0435 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u043d\u044b\u0439 \u0434\u043b\u044f \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f)\/\/ ========================================module PersonalName =    open WrappedString    type T =        {        FirstName: String50;        MiddleName: String50 option;        LastName: String100;        }    \/\/\/ \u0421\u043e\u0437\u0434\u0430\u0451\u0442 \u043d\u043e\u0432\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435    let create first middle last =        match (string50 first),(string100 last) with        | Some f, Some l -&gt;            Some {                FirstName = f;                MiddleName = (string50 middle)                LastName = l;                }        | _ -&gt;            None    \/\/\/ \u0421\u043a\u043b\u0435\u0438\u0432\u0430\u0435\u0442 \u0432\u043c\u0435\u0441\u0442\u0435 \u0438\u043c\u044f \u0438 \u0444\u0430\u043c\u0438\u043b\u0438\u044e    \/\/\/ \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u043f\u0440\u043e\u0441\u0442\u0443\u044e \u0441\u0442\u0440\u043e\u043a\u0443    let fullNameRaw personalName =        let f = personalName.FirstName |&gt; value        let l = personalName.LastName |&gt; value        let names =            match personalName.MiddleName with            | None -&gt; [| f; l |]            | Some middle -&gt; [| f; (value middle); l |]        System.String.Join(&#187; &#171;, names)    \/\/\/ \u0421\u043a\u043b\u0435\u0438\u0432\u0430\u0435\u0442 \u0432\u043c\u0435\u0441\u0442\u0435 \u0438\u043c\u044f \u0438 \u0444\u0430\u043c\u0438\u043b\u0438\u044e    \/\/\/ \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 None, \u0435\u0441\u043b\u0438 \u0441\u043b\u0438\u0448\u043a\u043e\u043c \u0434\u043b\u0438\u043d\u043d\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430let fullNameOption personalName =        personalName |&gt; fullNameRaw |&gt; string100    \/\/\/ \u0421\u043a\u043b\u0435\u0438\u0432\u0430\u0435\u0442 \u0432\u043c\u0435\u0441\u0442\u0435 \u0438\u043c\u044f \u0438 \u0444\u0430\u043c\u0438\u043b\u0438\u044e    \/\/\/ \u0438 \u043e\u0431\u0440\u0435\u0437\u0430\u0435\u0442 \u0441\u043b\u0438\u0448\u043a\u043e\u043c \u0434\u043b\u0438\u043d\u043d\u0443\u044e \u0441\u0442\u0440\u043e\u043a\u0443    let fullNameTruncated personalName =        \/\/ \u0432\u0441\u043f\u043e\u043c\u043e\u0433\u0430\u0442\u0435\u043b\u044c\u043d\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f        let left n (s:string) =            if (s.Length &gt; n)            then s.Substring(0,n)            else s        personalName        |&gt; fullNameRaw  \/\/ \u0441\u043a\u043b\u0435\u0438\u0432\u0430\u0435\u043c        |&gt; left 100     \/\/ \u043e\u0431\u0440\u0435\u0437\u0430\u0435\u043c        |&gt; string100    \/\/ \u0437\u0430\u0432\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0435\u043c        |&gt; Option.get   \/\/ \u0432\u0441\u0451 \u0432\u043c\u0435\u0441\u0442\u0435 \u0434\u0430\u0451\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0431\u0435\u0437 \u043e\u0448\u0438\u0431\u043e\u043a\u0410 \u0442\u0435\u043f\u0435\u0440\u044c\u00a0\u2014 \u0442\u0438\u043f\u044b, \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u043d\u044b\u0435 \u0434\u043b\u044f \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u044f.\/\/ ========================================\/\/ EmailContactInfo &#8212; \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\/\/ ========================================module EmailContactInfo =    open System    \/\/ UnverifiedData = \u043f\u0440\u043e\u0441\u0442\u043e EmailAddress    type UnverifiedData = EmailAddress.T    \/\/ VerifiedData = EmailAddress \u043f\u043b\u044e\u0441 \u0434\u0430\u0442\u0430\/\u0432\u0440\u0435\u043c\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438    type VerifiedData = EmailAddress.T * DateTime    \/\/ \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439    type T =        | UnverifiedState of UnverifiedData        | VerifiedState of VerifiedData    let create email =        \/\/ \u043d\u0435\u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d\u043d\u044b\u0439 \u043f\u0440\u0438 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0438        UnverifiedState email    \/\/ \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0441\u043e\u0431\u044b\u0442\u0438\u0435 &#171;\u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d&#187;    let verified emailContactInfo dateVerified =        match emailContactInfo with        | UnverifiedState email -&gt;            \/\/ \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u0438\u0440\u0443\u0435\u043c \u043d\u043e\u0432\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442 \u0432 \u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d\u043d\u043e\u043c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0438            VerifiedState (email, dateVerified)        | VerifiedState _ -&gt;            \/\/ \u0438\u0433\u043d\u043e\u0440\u0438\u0440\u0443\u0435\u043c            emailContactInfo    let sendVerificationEmail emailContactInfo =        match emailContactInfo with        | UnverifiedState email -&gt;            \/\/ \u043e\u0442\u043f\u0440\u0430\u0432\u043b\u044f\u0435\u043c \u043f\u0438\u0441\u044c\u043c\u043e            printfn &#171;\u043e\u0442\u043f\u0440\u0430\u0432\u043a\u0430 \u043f\u0438\u0441\u044c\u043c\u0430&#187;        | VerifiedState _ -&gt;            \/\/ \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0434\u0435\u043b\u0430\u0435\u043c            ()    let sendPasswordReset emailContactInfo =        match emailContactInfo with        | UnverifiedState email -&gt;            \/\/ \u0438\u0433\u043d\u043e\u0440\u0438\u0440\u0443\u0435\u043c            ()        | VerifiedState _ -&gt;      &#8230;<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-479371","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/479371","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=479371"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/479371\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=479371"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=479371"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=479371"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}