рдХрд╛рд░реНрдпрдХреНрд░рдо рд╕рд░рд▓ рдЯрд┐рдХ-рдЯреИрдХ-рдЯреЛ рдЦреЗрд▓, рдПрдХ рдкрдВрдХреНрддрд┐ рдореЗрдВ рдЪрд╛рд░ (рдХрдиреЗрдХреНрдЯ 4) рдФрд░ рдЧреЛрдореЛрдХреВ рдЦреЗрд▓рддрд╛ рд╣реИ - рдФрд░ рд╡реНрдпрдХреНрддрд┐ рдХреЛ рдЬреАрддрддрд╛ рд╣реИред рдРрд╕рд╛ рд▓рдЧрддрд╛ рд╣реИ рдХрд┐ рджрд┐рд▓рдЪрд╕реНрдк рдирд╣реАрдВ рд╣реИ, рдЕрдЧрд░ рдПрдХ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдмрд╛рд░реАрдХрд┐рдпреЛрдВ рдХреЗ рд▓рд┐рдП рдирд╣реАрдВ - рдпрд╣ рдХрд╛рд░реНрдпрдХреНрд░рдо рдирд┐рдпрдореЛрдВ рдХреЛ рдирд╣реАрдВ рдЬрд╛рдирддрд╛ рд╣реИ! рдЕрдзрд┐рдХ рд╕рдЯреАрдХ рд░реВрдк рд╕реЗ, рдЙрд╕рдиреЗ рд▓реЛрдЧреЛрдВ рдХреЗ рдЦреЗрд▓реЛрдВ рдХреА рд╡рд┐рд╢реЗрд╖рддрд╛ рд╡рд╛рд▓реЗ рджреЛ-рдорд┐рдирдЯ рдХреЗ рд╡реАрдбрд┐рдпреЛ рджреЗрдЦрдХрд░ рдЙрдиреНрд╣реЗрдВ рдЦрд░реЛрдВрдЪ рд╕реЗ рд╕реАрдЦрд╛ред
рдкреЗрд░рд┐рд╕ рдбрд┐рдбреНрд░реЛ рд╡рд┐рд╢реНрд╡рд╡рд┐рджреНрдпрд╛рд▓рдп рдХреЗ
рд▓реБрдХрд╛рд╕ рдХреИрд╕рд░ (asukasz Kaiser) рдиреЗ C ++ рдореЗрдВ рдПрдХ рдХрд╛рд░реНрдпрдХреНрд░рдо рд▓рд┐рдЦрд╛, рдЬреЛ рд╡реАрдбрд┐рдпреЛ рдЕрдиреБрдХреНрд░рдо рдХреЛ рдлреНрд░реЗрдо рдореЗрдВ рддреЛрдбрд╝рддрд╛ рд╣реИ, рдЙрдирд╕реЗ (рд▓реЛрдЧреЛрдВ рдХреЗ рд╣рд╛рде) рд╕рднреА рдЕрдирд╛рд╡рд╢реНрдпрдХ рд╣рдЯрд╛ рджреЗрддрд╛ рд╣реИ - рдФрд░ рд▓рдЧрд╛рддрд╛рд░ рдкрджреЛрдВ рдХреА рд╕реВрдЪреА рдкреНрд░рд╛рдкреНрдд рдХрд░рддрд╛ рд╣реИред
рдЗрд╕ рдбреЗрдЯрд╛ рдХреЗ рдЖрдзрд╛рд░ рдкрд░, рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо (OCaml рдкрд░) рдЕрдиреБрдордд рдЪрд╛рд▓реЛрдВ рдХреЗ рдПрдХ рдбреЗрдЯрд╛рдмреЗрд╕ рдФрд░ рдЬреАрддрдиреЗ / рдЦреЛрдиреЗ / рдЕрдирд╕реБрд▓рдЭреЗ рдкрджреЛрдВ рдХреА рд╕реВрдЪреА рддреИрдпрд╛рд░ рдХрд░рддрд╛ рд╣реИ, рдлрд┐рд░ тИГx1Q (X1) тИз (x0 (C (X1, x0) тИз x0 = e1) рдкреНрд░рдХрд╛рд░ рдХреЗ рддрд╛рд░реНрдХрд┐рдХ рд╕реВрддреНрд░реЛрдВ рдХрд╛ рдПрдХ рд╕рдореВрд╣ рдЙрддреНрдкрдиреНрди рдХрд░рддрд╛ рд╣реИред рджреЛрдиреЛрдВ рдореЙрдбреНрдпреВрд▓ рдореБрдлреНрдд
рдЯреЙрд╕ рдмреЛрд░реНрдб рдЧреЗрдо рдХрд╛рд░реНрдпрдХреНрд░рдо рдореЗрдВ рдПрдХреАрдХреГрдд рд╣реИрдВред
рдПрдХ рдирд┐рдпрдорд┐рдд рд▓реИрдкрдЯреЙрдк рдкрд░, рдЦреЗрд▓ рдХреЗ рдЖрдзрд╛рд░ рдкрд░, рджреЛ рдорд┐рдирдЯ рдХреЗ рд╡реАрдбрд┐рдпреЛ рдХреЛ рд╕рдВрд╕рд╛рдзрд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдХрд╛рд░реНрдпрдХреНрд░рдо рдореЗрдВ 28-74 рд╕реЗрдХрдВрдб рд▓рдЧрддреЗ рд╣реИрдВред рдлрд┐рд░ рдХреБрдЫ рдорд┐рдирдЯ рдХреЗ рд▓рд┐рдП рдирд┐рдпрдореЛрдВ рдХрд╛ рдПрдХ рд╕реЗрдЯ рддреИрдпрд╛рд░ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП - рдФрд░ рд╡рд╣ рдЦреЗрд▓рдиреЗ рдХреЗ рд▓рд┐рдП рддреИрдпрд╛рд░ рд╣реИред рд╕рдЪ рд╣реИ, рдЬреАрддрдиреЗ рдХреЗ рддрд░реАрдХреЗ рд╕реАрдЦрдиреЗ рдХреЗ рд▓рд┐рдП, рдЖрдкрдХреЛ рдПрдХ рд╕реЗ рдЕрдзрд┐рдХ рд╡реАрдбрд┐рдпреЛ рджреЗрдЦрдиреЗ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИред рдХрд╛рд░реНрдпрдХреНрд░рдо рдХреЗ рдкрд░реАрдХреНрд╖рдг рдХреЗ рджреМрд░рд╛рди, рдЙрд╕рдиреЗ рдЯрд┐рдХ-рдЯреИрдХ-рдЯреЛ рдХреЗ рдЦреЗрд▓ рдХреЗ 25 рд╡реАрдбрд┐рдпреЛ рд╕рдВрд╕рд╛рдзрд┐рдд рдХрд┐рдП, 25 - рдПрдХ рдкрдВрдХреНрддрд┐ рдореЗрдВ рдЪрд╛рд░ рдФрд░ 17 - рд╣реЛрдореЛрдХреВ рдореЗрдВред рдпрджрд┐ рдЦреЗрд▓ рд╕рд░рд▓ рд╣реИ, рддреЛ рдХрдо рдкрд░реНрдпрд╛рдкреНрдд рд╣реИред
рдпрд╣ рдХреБрдЫ рднреА рдЬрдЯрд┐рд▓ рдирд╣реАрдВ рд▓рдЧреЗрдЧрд╛, рд▓реЗрдХрд┐рди рдЬрд░рд╛ рд╕реЛрдЪрд┐рдП рдХрд┐ рдЗрд╕ рддрд░рд╣ рдХреЗ рд╕рд┐рд╕реНрдЯрдо рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рдФрд░ рдЕрдзрд┐рдХ рдкрд░рд┐рдкреВрд░реНрдг рдмрди рдЬрд╛рдПрдВрдЧреЗ - рдФрд░ рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рдЧреЗрдо рдФрд░ рд░рдгрдиреАрддрд┐рдпреЛрдВ рдХреЛ рд╕реАрдЦрдиреЗ рдореЗрдВ рд╕рдХреНрд╖рдо рд╣реЛрдВрдЧреЗ, рдмрд╕
рдХреАрдбрд╝реЛрдВ рдХреЗ рдХрд╛рд░реНрдпреЛрдВ рдХрд╛ рдЕрд╡рд▓реЛрдХрди рдХрд░рдХреЗред
рджрд░рдЕрд╕рд▓, рд▓реБрдХрд╛рд╢ рдХреИрд╕рд░ рдЦреБрдж рд▓рд┐рдЦрддреЗ рд╣реИрдВ рдХрд┐ рдЙрдиреНрд╣реЛрдВрдиреЗ рдмреЛрд░реНрдб рдЧреЗрдореНрд╕ рдХреЛ рдЕрдкрдиреЗ рдХрд╛рд░реНрдпрдХреНрд░рдо рдХреЗ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдХреЗ рдЙрджреНрджреЗрд╢реНрдп рдХреЗ рд░реВрдк рдореЗрдВ рдЪреБрдирд╛, тАЬрдХреНрдпреЛрдВрдХрд┐ рдпрд╣рд╛рдВ рджреГрд╢реНрдп рд╡рд╕реНрддреБрдУрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдЕрдкреЗрдХреНрд╖рд╛рдХреГрдд рдХрдо рд╣реИ, рдЬрдмрдХрд┐ рдкрд░реНрдпрд╛рдкреНрдд рдкреНрд░рдХрд╛рд░ рдХреА рдХреНрд░рд┐рдпрд╛рдПрдВ рд╣реИрдВред рдЗрд╕рдХреЗ рдЕрд▓рд╛рд╡рд╛, рдЦреЗрд▓ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рджреБрдирд┐рдпрд╛ рдореЗрдВ рд░рд┐рд╢реНрддреЛрдВ рдХреЗ рдХрдИ рдкрд░рд┐рджреГрд╢реНрдпреЛрдВ рдХреЗ рдПрдХ рдкреНрд░рд╛рдХреГрддрд┐рдХ рдореЙрдбрд▓ рд╣реИрдВ, рдЬреЛ рдПрдХ рд╡рд┐рд╕реНрддреГрдд рд╡рд┐рдХрд╛рд╕ рдореЗрдВ рдкрд░рд┐рдгрд╛рдо рдХреЛ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдмрдирд╛рддрд╛ рд╣реИред тАЭ
рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдЕрдзрд┐рдХ рдЬрд╛рдирдХрд╛рд░реА рдХреЗ рд▓рд┐рдП, рд╢реЛрдз рдкрддреНрд░ рджреЗрдЦреЗрдВ:
рд╡рд░реНрдгрдирд╛рддреНрдордХ рдЬрдЯрд┐рд▓рддрд╛ (рдкреАрдбреАрдПрдл)
рджреНрд╡рд╛рд░рд╛ рдирд┐рд░реНрджреЗрд╢рд┐рдд рд╡реАрдбрд┐рдпреЛ рд╕реЗ рд╕реАрдЦрдиреЗ рдХреЗ рдЦреЗрд▓ , рдпрд╛ рдЖрд░реНрдЯрд┐рдлрд┐рд╢рд┐рдпрд▓ рдЬрдирд░рд▓ рдЗрдВрдЯреЗрд▓рд┐рдЬреЗрдВрд╕ рдкрд░ рддреАрд╕рд░реЗ рд╕рдореНрдореЗрд▓рди рд╕реЗ рдЙрдирдХреА рдкреНрд░рд╕реНрддреБрддрд┐ рдХрд╛ рд╡реАрдбрд┐рдпреЛред