{"id":283597,"date":"2017-03-20T16:10:02","date_gmt":"2017-03-20T13:10:02","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=283597"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=283597","title":{"rendered":"Haskell: \u043e\u0431 \u043e\u0434\u043d\u043e\u043c \u043c\u0435\u0442\u043e\u0434\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0441 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u043c \u0447\u0438\u0441\u043b\u043e\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432"},"content":{"rendered":"<div style=\"text-align:center;\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/b0e\/1f9\/cd0\/b0e1f9cd0fac4e4d828e3920c5a892a9.png\" \/><\/div>\n<p>  <i>\u2013 \u0410 \u0432\u0438\u0434\u0435\u043b\u0430 \u0442\u044b \u0427\u0435\u0440\u0435\u043f\u0430\u0445\u0443 \u00ab\u041a\u0430\u043a \u0431\u044b\u00bb? <br \/>  \u2013 \u041d\u0435\u0442, \u2013 \u0441\u043a\u0430\u0437\u0430\u043b\u0430 \u0410\u043b\u0438\u0441\u0430. \u2013 \u042f \u0434\u0430\u0436\u0435 \u043d\u0435 \u0437\u043d\u0430\u044e, \u043a\u0442\u043e \u044d\u0442\u043e \u0442\u0430\u043a\u043e\u0439.<br \/>  \u2013 \u041a\u0430\u043a \u0436\u0435, \u2013 \u0441\u043a\u0430\u0437\u0430\u043b\u0430 \u041a\u043e\u0440\u043e\u043b\u0435\u0432\u0430. \u2013 \u042d\u0442\u043e \u0442\u043e, \u0438\u0437 \u0447\u0435\u0433\u043e \u0434\u0435\u043b\u0430\u044e\u0442 \u00ab\u041a\u0430\u043a \u0431\u044b \u0447\u0435\u0440\u0435\u043f\u0430\u0448\u0438\u0439 \u0441\u0443\u043f\u00bb. <br \/>  <\/i>  <\/p>\n<pre>                  \u041b\u044c\u044e\u0438\u0441 \u041a\u044d\u0440\u0440\u043e\u043b\u043b,                             \u00ab\u0410\u043b\u0438\u0441\u0430 \u0432 \u0421\u0442\u0440\u0430\u043d\u0435 \u0447\u0443\u0434\u0435\u0441\u00bb<\/pre>\n<p>  <i>\u2014 \u0421\u0443\u0434\u044f \u043f\u043e \u0442\u0432\u043e\u0438\u043c \u0440\u0435\u0447\u0430\u043c, \u0442\u044b \u0445\u043e\u0440\u043e\u0448\u043e \u0437\u043d\u0430\u0435\u0448\u044c \u0424\u0430\u043d\u0433\u043e\u0440\u043d? \u2014 \u0441\u043f\u0440\u043e\u0441\u0438\u043b \u0432 \u043e\u0442\u0432\u0435\u0442 \u0410\u0440\u0430\u0433\u043e\u0440\u043d.<br \/>  \u2014 \u041a\u0430\u043a\u043e\u0435 \u0442\u0430\u043c! \u2014 \u043e\u0442\u043e\u0437\u0432\u0430\u043b\u0441\u044f \u0441\u0442\u0430\u0440\u0438\u043a. \u2014 \u041d\u0430 \u044d\u0442\u043e \u0441\u0442\u0430 \u0436\u0438\u0437\u043d\u0435\u0439 \u043d\u0435 \u0445\u0432\u0430\u0442\u0438\u0442. \u041d\u043e \u044f \u0441\u044e\u0434\u0430 \u0438\u043d\u043e\u0439 \u0440\u0430\u0437 \u0437\u0430\u0445\u0430\u0436\u0438\u0432\u0430\u044e.<br \/>  <\/i>  <\/p>\n<pre>                 \u0414\u0436\u043e\u043d \u0420. \u0420. \u0422\u043e\u043b\u043a\u0438\u0435\u043d,                            \u00ab\u0412\u043b\u0430\u0441\u0442\u0435\u043b\u0438\u043d \u041a\u043e\u043b\u0435\u0446\u00bb \u2014 \u043a \u0441\u043b\u043e\u0432\u0443 \u043e \u043c\u043e\u0451\u043c \u0437\u043d\u0430\u043d\u0438\u0438 Haskell ;)<\/pre>\n<p>  <i>Homines dum docent, discunt. (\u041e\u0431\u044a\u044f\u0441\u043d\u0438 \u0434\u0440\u0443\u0433\u0438\u043c \u2014 \u0441\u0430\u043c \u043f\u043e\u0439\u043c\u0451\u0448\u044c.)<\/i>  <\/p>\n<pre>                 \u043d\u0430\u0440\u043e\u0434\u043d\u0430\u044f \u043b\u0430\u0442\u0438\u043d\u0441\u043a\u0430\u044f \u043f\u043e\u0433\u043e\u0432\u043e\u0440\u043a\u0430<\/pre>\n<p>  \u0412\u0441\u0435 \u0437\u043d\u0430\u044e\u0442, \u0447\u0442\u043e \u043b\u044e\u0431\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f Haskell \u043f\u043e \u0441\u0432\u043e\u0435\u0439 \u0441\u0443\u0442\u0438 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u0435\u0439 \u043e\u0434\u043d\u043e\u0433\u043e \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430. \u0424\u0443\u043d\u043a\u0446\u0438\u0438 \u00ab\u043a\u0430\u043a \u0431\u044b\u00bb \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u044f \u043f\u0435\u0440\u0432\u044b\u0439 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442, \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u044e\u0442 \u0434\u0440\u0443\u0433\u0443\u044e \u0444\u0443\u043d\u043a\u0446\u0438\u044e, \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u044e\u0449\u0443\u044e \u0432\u0442\u043e\u0440\u043e\u0439 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 (\u0438\u0441\u0445\u043e\u0434\u043d\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438) \u0438 \u043e\u0431\u0440\u0430\u0442\u043d\u043e \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u044e\u0449\u0443\u044e \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0438 \u0442.\u0434. \u0434\u043e \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0443\u0436\u0435 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043d\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0442\u0438\u043f\u0430 (<a href=\"https:\/\/ru.wikipedia.org\/wiki\/\u041a\u0430\u0440\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435\">\u043a\u0430\u0440\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435<\/a>). <\/p>\n<p>  \u041a\u0430\u0437\u0430\u043b\u043e\u0441\u044c \u0431\u044b \u043e \u043a\u0430\u043a\u043e\u043c \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u043c \u0447\u0438\u0441\u043b\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u043c\u043e\u0436\u0435\u0442 \u0438\u0434\u0442\u0438 \u0440\u0435\u0447\u044c \u043f\u0440\u0438 \u0442\u0430\u043a\u043e\u043c \u0440\u0430\u0441\u043a\u043b\u0430\u0434\u0435? \u041e\u0434\u043d\u0430\u043a\u043e \u043f\u043e\u0440\u0430\u0437\u043c\u044b\u0441\u043b\u0438\u0432, \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0432 \u0438\u0441\u0445\u043e\u0434\u043d\u0438\u043a\u0438 <a href=\"http:\/\/hackage.haskell.org\/package\/base-4.9.1.0\/docs\/src\/Text.Printf.html#printf\">printf<\/a> \u0438\u043b\u0438 \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u043e\u0447\u0438\u0442\u0430\u0432 <a href=\"https:\/\/wiki.haskell.org\/Varargs\">wiki.haskell<\/a> \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u043e\u0447\u0435\u0432\u0438\u0434\u043d\u044b\u043c, \u0447\u0442\u043e \u043a\u0430\u043a \u0440\u0430\u0437 <a href=\"https:\/\/ru.wikipedia.org\/wiki\/\u0424\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0435_\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435\">\u0424\u041f<\/a> \u0434\u0430\u0451\u0442 \u043a\u043b\u044e\u0447 \u043a \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u043a\u0440\u0430\u0441\u0438\u0432\u043e\u043c\u0443, \u0445\u043e\u0442\u044f \u0438 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u00ab\u043a\u0430\u0437\u0443\u0438\u0441\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u043c\u0443\u00bb \u0440\u0435\u0448\u0435\u043d\u0438\u044e \u044d\u0442\u043e\u0439 \u0437\u0430\u0434\u0430\u0447\u0438.<\/p>\n<p>  \u0412 \u043d\u0430\u0441\u0442\u043e\u044f\u0449\u0435\u0439 \u043f\u0443\u0431\u043b\u0438\u043a\u0430\u0446\u0438\u0438 \u044f \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u044e \u043e\u0434\u0438\u043d \u0438\u0437 \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u0432 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0442\u0430\u043a\u043e\u0433\u043e \u043c\u0435\u0445\u0430\u043d\u0438\u0437\u043c\u0430 \u043d\u0430 \u043f\u0440\u043e\u0441\u0442\u044b\u0445 \u043f\u0440\u0438\u043c\u0435\u0440\u0430\u0445, \u0430 \u0442\u0430\u043a\u0436\u0435 \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0443 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u043e\u0431\u043e\u0431\u0449\u0451\u043d\u043d\u043e\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u043d\u0430 \u0431\u0430\u0437\u0435 <a href=\"https:\/\/wiki.haskell.org\/Template_Haskell\">Template Haskell<\/a>, \u0434\u043b\u044f \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0435\u043d\u0438\u044f \u0441\u0435\u043c\u0435\u0439\u0441\u0442\u0432\u0430 \u043e\u0431\u044b\u0447\u043d\u044b\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0441 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u043c \u0442\u0438\u043f\u0430 \u0441\u043f\u0438\u0441\u043e\u043a \u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0441 \u00ab\u043a\u0430\u043a \u0431\u044b \u0441 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u043c \u0447\u0438\u0441\u043b\u043e\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u043c\u00bb (\u0434\u0430\u043b\u0435\u0435 \u043f\u043e \u0442\u0435\u043a\u0441\u0442\u0443 \u043f\u0440\u043e\u0441\u0442\u043e \u00ab\u0441 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u043c \u0447\u0438\u0441\u043b\u043e\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u043c\u00bb). <br \/>  <a name=\"habracut\"><\/a><br \/>  \u041a\u043e\u0440\u043e\u0442\u043a\u043e \u043e\u043f\u0438\u0448\u0443 \u0441\u0443\u0442\u044c \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u043d\u0430\u0447\u0438\u043d\u0430\u044f \u0441 \u043f\u0440\u0435\u0434\u0435\u043b\u044c\u043d\u043e \u043f\u0440\u043e\u0441\u0442\u043e\u0433\u043e \u043f\u0440\u0438\u043c\u0435\u0440\u0430.  <\/p>\n<pre><code class=\"haskell\">{-# LANGUAGE  FlexibleInstances, RankNTypes #-} -- (0)  class VarArgs a where prc :: String -&gt; a -- (1)  instance VarArgs String where prc = id -- (2)  instance  (Show a, VarArgs r) =&gt; VarArgs (a -&gt; r) where -- (3)     prc acc = \\x -&gt; prc $ acc ++ &quot; &quot; ++ show x   magic = prc []  useMagic :: (forall a. VarArgs a =&gt; a) -&gt; IO () -- (4) useMagic f = do     putStrLn $ magic 1      putStrLn $ magic 1 &quot;qwe&quot;     putStrLn $ magic 1 &quot;qwe&quot; [1, 2, 3]  main :: IO () main = do      putStrLn $ magic 1 2 &quot;qwe&quot; [1,2,3] 123.456     useMagic magic  -- (5) <\/code><\/pre>\n<p>  \u0427\u0442\u043e \u0436\u0435 \u0437\u0434\u0435\u0441\u044c \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u0438 \u043a\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c \u0443\u0434\u0430\u0451\u0442\u0441\u044f \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u0444\u0443\u043d\u043a\u0446\u0438\u0438 magic \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u043e\u0435 \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432, \u043d\u043e \u043a \u0442\u043e\u043c\u0443 \u0436\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u044b \u0440\u0430\u0437\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432?<\/p>\n<p>  \u0418\u0442\u0430\u043a \u0432 (1) \u043c\u044b \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u0435\u043c \u043a\u043b\u0430\u0441\u0441 <i>VarArgs<\/i> \u0441 \u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u043c \u043c\u0435\u0442\u043e\u0434\u043e\u043c <i>prc<\/i> \u043f\u0440\u043e\u0441\u0442\u043e \u0443\u043c\u0435\u044e\u0449\u0438\u043c \u0441\u043e\u0437\u0434\u0430\u0442\u044c \u0438\u0437 \u0441\u0442\u0440\u043e\u043a\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0437\u0430\u0434\u0430\u043d\u043d\u043e\u0433\u043e \u0442\u0438\u043f\u0430. \u0414\u0430\u043b\u0435\u0435, \u0432 (2) \u043c\u044b \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u043c \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 \u044d\u0442\u043e\u0433\u043e \u043a\u043b\u0430\u0441\u0441\u0430 \u0434\u043b\u044f \u0442\u0438\u043f\u0430 String (\u0442\u0430\u043a\u0436\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e\u0433\u043e, \u043a\u0430\u043a [Char]). \u041e\u0431\u0440\u0430\u0442\u0438\u0442\u0435 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435, \u0447\u0442\u043e \u043f\u0440\u0438\u0448\u043b\u043e\u0441\u044c \u0432\u043e\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u0435\u043c FlexibleInstances (0) \u2014 \u0438\u043d\u0430\u0447\u0435 \u0442\u0430\u043a\u043e\u0439 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 \u0431\u0443\u0434\u0435\u0442 \u00ab\u0432\u043d\u0435 \u0437\u0430\u043a\u043e\u043d\u0430\u00bb.   <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u0421\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0430\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u043d\u043e\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435, \u043d\u043e \u043e\u043d\u043e \u0442\u0430\u043a\u0436\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u0435 TypeFamilies \u0438\u043b\u0438 GADTs.<\/b><\/p>\n<div class=\"spoiler_text\">\n<pre><code class=\"haskell\">{-# LANGUAGE TypeFamilies #-}   instance a ~ Char =&gt; VarArgs [a] where prc = id <\/code><\/pre>\n<p>  <\/div>\n<\/div>\n<p>  \u042d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 <i>VarArgs String<\/i> \u2014 \u044d\u0442\u043e \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u0438 \u0435\u0441\u0442\u044c \u00ab\u0442\u0435\u043b\u043e\u00bb \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0441 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u043c \u0447\u0438\u0441\u043b\u043e\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432. \u0412 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u043c\u044b \u043f\u0440\u043e\u0441\u0442\u043e \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c \u043d\u0430\u043a\u043e\u043f\u043b\u0435\u043d\u043d\u044b\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u044b. \u0422\u0435\u043f\u0435\u0440\u044c \u043f\u0435\u0440\u0435\u0439\u0434\u0451\u043c \u043a \u0441\u0430\u043c\u043e\u043c\u0443 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e\u043c\u0443, \u0432 (3) \u043c\u044b \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u0435\u043c \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 <i>VarArgs<\/i> \u0434\u043b\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0442\u0438\u043f\u0430 <i>(a -&gt; r)<\/i>, \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u0442\u0440\u0435\u0431\u0443\u044f, \u0447\u0442\u043e \u0431\u044b \u0442\u0438\u043f \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430 <i>a<\/i> \u0443\u043c\u0435\u043b \u043e\u0442\u043e\u0431\u0440\u0430\u0436\u0430\u0442\u044c\u0441\u044f \u0432 \u0441\u0442\u0440\u043e\u043a\u0443, \u0430 \u0442\u0438\u043f \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 <i>r<\/i> \u0432\u043d\u043e\u0432\u044c \u043f\u0440\u0438\u043d\u0430\u0434\u043b\u0435\u0436\u0430\u043b \u0431\u044b \u043a\u043b\u0430\u0441\u0441\u0443 <i>VarArgs<\/i>. <\/p>\n<p>  \u0412\u043e\u0442 \u0442\u0443\u0442 \u0442\u043e \u00ab\u0441\u043e\u0431\u0430\u043a\u0430 \u0438 \u043f\u043e\u0440\u044b\u043b\u0430\u0441\u044c\u00bb \u2014 \u0438\u043d\u0441\u0442\u0430\u043d\u0446\u0438\u0440\u0443\u044f \u043a\u043b\u0430\u0441\u0441 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u044b\u043c \u0442\u0438\u043f\u043e\u043c \u0441 \u0442\u0438\u043f\u043e\u043c \u0432\u043e\u0437\u0432\u0440\u0430\u0442\u0430 \u0442\u0430\u043a\u0436\u0435 \u0434\u043e\u043f\u0443\u0441\u043a\u0430\u044e\u0449\u0438\u043c (\u0432 \u0447\u0430\u0441\u0442\u043d\u043e\u0441\u0442\u0438) \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u043c\u044b \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u043c \u043c\u0435\u0442\u043e\u0434\u0443 <i>prc<\/i> \u0432 \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0438 \u043e\u0442 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0430 \u0432\u044b\u0437\u043e\u0432\u0430 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0442\u044c \u043a\u0430\u043a \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0442\u0438\u043f\u0430 <i>String<\/i>, \u0435\u0441\u043b\u0438 \u0432 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0435 \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f \u0441\u0442\u0440\u043e\u043a\u0430, \u0442\u0430\u043a \u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u044e, \u0435\u0441\u043b\u0438 \u0442\u0438\u043f \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 \u0432\u044b\u0437\u043e\u0432\u0430 <i>prc<\/i> \u0432\u044b\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u0438\u0437 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0430 \u043a\u0430\u043a \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u044b\u0439.<\/p>\n<p>  \u0422\u0435\u043f\u0435\u0440\u044c \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 <i>prc<\/i> \u0434\u043b\u044f \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u0430 <i>VarArgs (a -&gt; r)<\/i>. \u0415\u0441\u043b\u0438 \u0432\u044b\u0432\u0435\u0441\u0442\u0438 \u0442\u0438\u043f <i>prc<\/i>, \u0442\u043e \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u043c   <\/p>\n<pre><code class=\"haskell\">prc :: (Show a, VarArgs r) =&gt; String -&gt; (a -&gt; r) <\/code><\/pre>\n<p>  \u0422.\u0435. \u043c\u044b \u0434\u043e\u043b\u0436\u043d\u044b \u0432\u0435\u0440\u043d\u0443\u0442\u044c \u0444\u0443\u043d\u043a\u0446\u0438\u044e, \u0447\u0442\u043e-\u0442\u043e \u0434\u0435\u043b\u0430\u044e\u0449\u0443\u044e \u0441 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043c\u044b\u043c \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0441\u0442\u0440\u043e\u043a\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c. \u0410\u0440\u0433\u0443\u043c\u0435\u043d\u0442 <i>acc<\/i> \u044d\u0442\u043e \u0441\u0443\u0442\u044c \u00ab\u043d\u0430\u043a\u043e\u043f\u0438\u0442\u0435\u043b\u044c\u00bb \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0439 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0438 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432. \u0412 \u0434\u0430\u043d\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043c\u044b \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u0440\u0438\u0431\u0430\u0432\u043b\u044f\u0435\u043c \u043a \u043d\u0435\u043c\u0443 \u0441\u0442\u0440\u043e\u043a\u043e\u0432\u043e\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430 \u0447\u0435\u0440\u0435\u0437 \u043f\u0440\u043e\u0431\u0435\u043b. <\/p>\n<p>  \u0412\u0430\u0436\u043d\u044b\u0439 \u043c\u043e\u043c\u0435\u043d\u0442 \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e \u043c\u044b \u043d\u0435 \u043f\u0440\u043e\u0441\u0442\u043e \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c \u043f\u0440\u0438\u0440\u0430\u0449\u0451\u043d\u043d\u044b\u0439 \u00ab\u0430\u043a\u043a\u0443\u043c\u0443\u043b\u044f\u0442\u043e\u0440\u00bb, \u043d\u043e \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u043c (\u0432 \u00ab\u0442\u0435\u043b\u0435\u00bb \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0435\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438) \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u043e <i>prc<\/i> \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0442\u0440\u0435\u0431\u0443\u0435\u043c\u044b\u0439 \u0442\u0438\u043f \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 <i>r<\/i>. \u041a\u0430\u043a\u0430\u044f \u0438\u043c\u0435\u043d\u043d\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f <i>prc<\/i> \u0431\u0443\u0434\u0435\u0442 \u0432\u044b\u0437\u0432\u0430\u043d\u0430 (\u0442.\u0435. \u043a\u0430\u043a\u043e\u0439 \u0442\u0438\u043f \u0431\u0443\u0434\u0435\u0442 \u0432\u044b\u0432\u0435\u0434\u0435\u043d) \u0437\u0430\u0432\u0438\u0441\u0438\u0442 \u043e\u0442 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0430 (\u043d\u0435 \u0437\u0430\u0431\u044b\u0432\u0430\u0435\u043c, \u0447\u0442\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u0438 Haskell \u2014 \u044d\u0442\u043e \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u044f, \u0430 \u043f\u0440\u043e\u0446\u0435\u0441\u0441 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u2014 \u044d\u0442\u043e \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u043f\u043e\u0434\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0438 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0439 \u0441 \u0430\u043a\u0442\u0443\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0435\u0439 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432).<\/p>\n<p>  \u0421\u0430\u043c\u043e\u0435 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e\u0435, \u0447\u0442\u043e \u043d\u0435\u0441\u043c\u043e\u0442\u0440\u044f \u043d\u0430 \u00ab\u043f\u043e\u043b\u0443\u043b\u0435\u0433\u0430\u043b\u044c\u043d\u044b\u0439\u00bb \u0441\u0442\u0430\u0442\u0443\u0441 \u043c\u044b \u0432\u043f\u043e\u043b\u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c (4) \u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c (5) \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0441 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u043c \u0447\u0438\u0441\u043b\u043e\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430 \u0434\u0440\u0443\u0433\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438. \u041f\u0440\u0430\u0432\u0434\u0430 \u0434\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u043d\u0430\u043c \u043f\u0440\u0438\u0448\u043b\u043e\u0441\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0435\u0449\u0451 \u043e\u0434\u043d\u043e \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u0435 RankNTypes (0) \u0438 \u043a\u0432\u0430\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440 <i>forall<\/i> \u0432 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0438 \u0432\u044b\u0437\u044b\u0432\u0430\u044e\u0449\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 (4).<\/p>\n<p>  \u0417\u0432\u0443\u0447\u0438\u0442 \u043d\u0435\u043c\u043d\u043e\u0433\u043e \u0437\u0430\u043f\u0443\u0442\u0430\u043d\u043d\u043e, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043f\u043e \u0448\u0430\u0433\u0430\u043c \u043a\u0430\u043a \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0435\u0442\u0441\u044f \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u0441\u043f\u0440\u0430\u0432\u0430 \u043e\u0442 <i>$<\/i> \u0432 (4):  <\/p>\n<ol>\n<li> magic (\u043e\u043d\u0430 \u0436\u0435 <i>prc []<\/i>) \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0441 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u043c <i>1<\/i> \u0442.\u0435. \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u043c \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0435, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 <br \/>  <i>VarArgs (a -&gt; r)<\/i>, \u0432 \u0438\u0442\u043e\u0433\u0435 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442\u0441\u044f\u2026 <\/li>\n<li>\u2026 \u0441\u043d\u043e\u0432\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0442.\u043a. \u0443 \u043d\u0430\u0441 \u043e\u043f\u044f\u0442\u044c \u0435\u0441\u0442\u044c \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 <i>2<\/i> \u0442.\u0435. \u043e\u043f\u044f\u0442\u044c \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u044b\u0439 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442 <\/li>\n<li> \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0447\u043d\u044b\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u044e\u0442\u0441\u044f <i>\u00abqwe\u00bb<\/i> \u0438 <i>[1,2,3] <\/i><\/li>\n<li> \u043d\u0430\u043a\u043e\u043d\u0435\u0446 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0433\u043e \u0432\u044b\u0437\u043e\u0432\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 <i>prc<\/i> \u0441 \u043d\u0430\u043a\u043e\u043f\u043b\u0435\u043d\u043d\u044b\u043c\u0438 \u0441\u0442\u0440\u043e\u043a\u043e\u0432\u044b\u043c\u0438 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u044f\u043c\u0438 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0438\u0445 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0438 \u0442\u0435\u043a\u0443\u0449\u0438\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u043c <i>123.456<\/i> \u0443\u0436\u0435 \u0431\u0443\u0434\u0435\u0442 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u0442\u044c \u0441\u0442\u0440\u043e\u043a\u043e\u0432\u043e\u0433\u043e \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0430, \u043a\u0430\u043a \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 <i>putStrLn<\/i> \u2014 \u0437\u0430\u043f\u0443\u0441\u043a\u0430\u0435\u0442\u0441\u044f <i>prc<\/i> \u0438\u0437 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u0430 <i>VarArgs String<\/i> <\/li>\n<\/ol>\n<p>  <a name=\"RPN\"><\/a>\u0422\u0435\u043f\u0435\u0440\u044c \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0434\u0440\u0443\u0433\u043e\u0439, \u0447\u0443\u0442\u044c \u0431\u043e\u043b\u0435\u0435 \u0441\u043b\u043e\u0436\u043d\u044b\u0439 \u043f\u0440\u0438\u043c\u0435\u0440: \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0439 \u0432 <a href=\"https:\/\/ru.wikipedia.org\/wiki\/\u041e\u0431\u0440\u0430\u0442\u043d\u0430\u044f_\u043f\u043e\u043b\u044c\u0441\u043a\u0430\u044f_\u0437\u0430\u043f\u0438\u0441\u044c\">\u043e\u0431\u0440\u0430\u0442\u043d\u043e\u0439 \u043f\u043e\u043b\u044c\u0441\u043a\u043e\u0439 \u043d\u043e\u0442\u0430\u0446\u0438\u0438<\/a>. \u0427\u0442\u043e-\u0442\u043e \u043d\u0430\u043f\u043e\u0434\u043e\u0431\u0438\u0435:  <\/p>\n<pre><code class=\"haskell\">&gt; calcRPN 5 8 (*) 2 (+) -- 5*8 + 2 42 <\/code><\/pre>\n<p>  \u041c\u0430\u043a\u0441\u0438\u043c\u0430\u043b\u044c\u043d\u043e \u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u043d\u0430\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u043c\u043e\u0436\u0435\u0442 \u0432\u044b\u0433\u043b\u044f\u0434\u0435\u0442\u044c \u043a\u0430\u043a-\u0442\u043e \u0442\u0430\u043a:  <\/p>\n<pre><code class=\"haskell\">{-# LANGUAGE ExtendedDefaultRules, FlexibleInstances, GADTs #-}  data Expr = Num Double | Op (Double -&gt; Double -&gt; Double)  calcRPN' :: [Expr] -&gt; Double calcRPN' = head . foldr rpnStep [] . reverse  rpnStep :: Expr -&gt; [Double] -&gt; [Double] rpnStep (Num n) stack = n : stack rpnStep (Op f) (x:y:stack) = (f x y) : stack  class ArgPrc a where   prc :: [Expr] -&gt; a  class ArgSrc a where    toArg :: a -&gt; Expr  instance ArgPrc Double where   prc = calcRPN' . reverse   instance (ArgSrc a, ArgPrc r) =&gt; ArgPrc (a -&gt; r) where   prc acc  = prc . (: acc) . toArg -- (2)  instance ArgSrc Expr where   toArg = id  instance a ~ Double =&gt; ArgSrc (a -&gt; a -&gt; a) where   toArg = Op  instance ArgSrc Integer where   toArg = Num . fromIntegral  instance ArgSrc String where   toArg = Num . fst . head . (reads :: ReadS Double)  instance ArgSrc [Double] where   toArg = Num . sum  calcRPN :: ArgPrc a =&gt; a calcRPN = prc []  main = do     print $ calcRPN' [Num 5, Num 5, Op (*)]     print $ calcRPN [1::Double,2,3] &quot;5&quot; (*) 7 (*)                           <\/code><\/pre>\n<p>  \u0421\u0445\u0435\u043c\u0430 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0433\u043e \u0447\u0438\u0441\u043b\u0430 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0442\u0430 \u0436\u0435, \u0447\u0442\u043e \u0438 \u0432 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435, \u0442\u043e\u043b\u044c\u043a\u043e \u0442\u0435\u043f\u0435\u0440\u044c \u043c\u044b \u0431\u0443\u0434\u0435\u043c:  <\/p>\n<ul>\n<li> \u043d\u0430\u043a\u0430\u043f\u043b\u0438\u0432\u0430\u0442\u044c \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b (\u0442\u0438\u043f\u0430 <i>Expr<\/i>) \u0432 \u0441\u043f\u0438\u0441\u043a\u0435 \u0434\u043b\u044f \u043f\u043e\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0438 \u0432\u043c\u0435\u0441\u0442\u043e \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u0431\u044b \u0441\u0440\u0430\u0437\u0443 \u0441\u0442\u0440\u043e\u0438\u0442\u044c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 (2);<\/li>\n<li>\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u00ab\u043e\u0431\u0451\u0440\u0442\u043e\u0447\u043d\u044b\u0439\u00bb \u043a\u043b\u0430\u0441\u0441 <i>ArgSrc<\/i> \u0434\u043b\u044f \u0434\u0435\u043a\u043b\u0430\u0440\u0430\u0446\u0438\u0438 \u0442\u0438\u043f\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u043e\u0433\u0443\u0442 \u0432\u044b\u0441\u0442\u0443\u043f\u0430\u0442\u044c \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u00ab\u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0439\u00bb (<i>Expr<\/i>)<\/li>\n<li>\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u00ab\u0442\u0440\u044e\u043a\u00bb (\u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u0435 GADTs) \u0434\u043b\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u0430 <br \/>  <i>instance a ~ Double =&gt; ArgSrc (a -&gt; a -&gt; a)<\/i>  <\/li>\n<\/ul>\n<p>  <a name=\"printf\"><\/a>\u041d\u0430\u043a\u043e\u043d\u0435\u0446 \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0441\u0445\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0432\u0430\u0440\u0438\u0430\u043d\u0442 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 printf:  <\/p>\n<pre><code class=\"haskell\">{-# LANGUAGE GADTs, FlexibleInstances, ExtendedDefaultRules #-}   type FmtRes = (String, String)  class PfVal a where     doFmt :: (String, String) -&gt; a -&gt; FmtRes  instance PfVal Integer where     doFmt (fmt, res) x =          let (b, s) = span (\/= '%') fmt         in  (res ++ (tail . tail $ s), b ++ show x)  instance PfVal String where     doFmt (fmt, res) x =          let (b, s) = span (\/= '%') fmt         in  (res ++ (tail . tail $ s), b ++ x)  class ArgProc a where     prc :: FmtRes -&gt; a  instance ArgProc String where      prc = uncurry (++)  instance ArgProc (IO ()) where      prc = putStrLn . uncurry (++)  instance (PfVal a, ArgProc r) =&gt; ArgProc (a -&gt; r) where     prc st =  prc . doFmt st  printf fmt = prc (fmt, &quot;&quot;)  main ::  IO() main = do                    putStrLn $ printf &quot;%d %s&quot; 1 &quot;qwe&quot;     printf &quot;%s %d&quot; &quot;This is&quot; 123 <\/code><\/pre>\n<p>  \u041f\u043e\u043b\u0430\u0433\u0430\u044e, \u043a\u043e\u0434 \u0432 \u043e\u0441\u043e\u0431\u044b\u0445 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u044f\u0445 \u043d\u0435 \u043d\u0443\u0436\u0434\u0430\u0435\u0442\u0441\u044f, \u043e\u0442\u043c\u0435\u0447\u0443 \u0442\u043e\u043b\u044c\u043a\u043e, \u0447\u0442\u043e \u0442\u0435\u043f\u0435\u0440\u044c \u043c\u044b \u0441\u043d\u043e\u0432\u0430 \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u0435\u043c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u00ab\u043d\u0430 \u043b\u0435\u0442\u0443\u00bb, \u0432\u043c\u0435\u0441\u0442\u043e \u043d\u0430\u043a\u0430\u043f\u043b\u0438\u0432\u0430\u043d\u0438\u044f \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u043c <i>\u0434\u0432\u0430<\/i> \u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0445 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u0430 \u043a\u043b\u0430\u0441\u0441\u0430 <i>ArgProc<\/i>: \u0434\u043b\u044f \u0442\u0438\u043f\u0430 <i>String<\/i> \u0438 \u0434\u043b\u044f \u0442\u0438\u043f\u0430 <i>IO ()<\/i>.<\/p>\n<p>  \u0415\u0441\u043b\u0438 \u043e\u0431\u043e\u0431\u0449\u0438\u0442\u044c \u043f\u0440\u043e\u0438\u043b\u043b\u044e\u0441\u0442\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0443\u044e \u0441\u0445\u0435\u043c\u0443, \u0442\u043e \u043c\u043e\u0436\u043d\u043e \u0432\u044b\u0434\u0435\u043b\u0438\u0442\u044c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b:  <\/p>\n<ol>\n<li> \u041d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0442\u0438\u043f \u2014 \u0430\u043a\u043a\u0443\u043c\u0443\u043b\u044f\u0442\u043e\u0440 (\u043d\u0430\u0437\u043e\u0432\u0451\u043c <i>A<\/i>) \u043f\u0440\u0435\u0434\u0432\u0430\u0440\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0439 \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0442\u0438\u043f\u0430 <i>a<\/i>. \u0421\u0442\u0435\u043f\u0435\u043d\u044c \u00ab\u043f\u0440\u0435\u0434\u0432\u0430\u0440\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438\u00bb \u043c\u043e\u0436\u0435\u0442 \u0432\u0430\u0440\u044c\u0438\u0440\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u043e\u0442 \u043f\u0440\u043e\u0441\u0442\u043e\u0433\u043e \u043d\u0430\u043a\u043e\u043f\u043b\u0435\u043d\u0438\u044f \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0432 \u043a\u0430\u043a\u043e\u043c-\u0442\u043e \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440\u0435 \u0442\u0438\u043f\u0430 \u0441\u043f\u0438\u0441\u043a\u0430 (\u043a\u0430\u043a \u0432 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0441 <a href=\"#RPN\">\u043e\u0431\u0440\u0430\u0442\u043d\u043e\u0439 \u043f\u043e\u043b\u044c\u0441\u043a\u043e\u0439 \u043d\u043e\u0442\u0430\u0446\u0438\u0435\u0439<\/a>) \u0434\u043e \u043f\u043e\u0447\u0442\u0438 \u0433\u043e\u0442\u043e\u0432\u043e\u0433\u043e \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 \u0434\u043b\u044f \u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e \u043d\u0430\u0431\u043e\u0440\u0430 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 (\u043a\u0430\u043a \u0432 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0441 <a href=\"#printf\">printf<\/a>). \u0412\u0441\u0451, \u0447\u0442\u043e \u043d\u0430\u043c \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f \u043e\u0442 \u044d\u0442\u043e\u0433\u043e \u0442\u0438\u043f\u0430, \u044d\u0442\u043e \u043d\u0430\u043b\u0438\u0447\u0438\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u0442\u0438\u043f\u0430\n<pre><code class=\"haskell\"> A -&gt; a -&gt; A <\/code><\/pre>\n<\/li>\n<li>\u041e\u0441\u043d\u043e\u0432\u043d\u043e\u0439 \u043a\u043b\u0430\u0441\u0441 (\u043d\u0430\u0437\u043e\u0432\u0451\u043c <i>ArgProc<\/i>), \u043f\u043e\u0441\u0440\u0435\u0434\u0441\u0442\u0432\u043e\u043c \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u043e\u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u0442\u0441\u044f \u0432\u0441\u044f \u00ab\u043c\u0435\u0445\u0430\u043d\u0438\u043a\u0430\u00bb \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0433\u043e \u0447\u0438\u0441\u043b\u0430 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432. \u042d\u0442\u043e\u0442 \u043a\u043b\u0430\u0441\u0441 \u0438\u043c\u0435\u0435\u0442 \u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0439 \u043c\u0435\u0442\u043e\u0434 (\u043d\u0430\u0437\u043e\u0432\u0451\u043c <i>prc<\/i>), \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0447\u0442\u043e-\u0442\u043e \u0434\u0435\u043b\u0430\u0435\u0442 \u0441 \u0430\u043a\u043a\u0443\u043c\u0443\u043b\u044f\u0442\u043e\u0440\u043e\u043c <i>A<\/i>:<br \/> \n<pre><code class=\"haskell\">class ArgProc a where     prc :: A -&gt; a <\/code><\/pre>\n<p>   <\/li>\n<li>\u041a\u043b\u0430\u0441\u0441 \u0442\u0438\u043f\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u043e\u0433\u0443\u0442 \u0432\u044b\u0441\u0442\u0443\u043f\u0430\u0442\u044c \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 (\u043d\u0430\u0437\u043e\u0432\u0451\u043c <i>ArgSrc<\/i>), \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u044e\u0449\u0438\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u043a\u043e\u043d\u0432\u0435\u0440\u0442\u0430\u0446\u0438\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u0432 \u0442\u0438\u043f \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 (\u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0442\u0438\u043f a \u0434\u043e\u043f\u0443\u0441\u043a\u0430\u044e\u0449\u0438\u0439 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044e <i>:: A -&gt; a -&gt; A<\/i> )<\/li>\n<li> \u042d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u0433\u043e \u043a\u043b\u0430\u0441\u0441\u0430, \u043e\u0442\u0432\u0435\u0447\u0430\u044e\u0449\u0438\u0439 \u0437\u0430 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0443 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0438 \u043d\u0430\u043a\u043e\u043f\u043b\u0435\u043d\u0438\u0435 \u043f\u0440\u0435\u0434\u0432\u0430\u0440\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430: <br \/> \n<pre><code class=\"haskell\">instance (ArgSrc a, ArgProc r) ArgProc (a -&gt; r) where     prc :: A -&gt; (a -&gt; r) <\/code><\/pre>\n<p> \u0412 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0441 <a href=\"#printf\">printf<\/a> \u043d\u0430\u043a\u0430\u043f\u043b\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u0441\u0440\u0430\u0437\u0443 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 (\u0432\u0442\u043e\u0440\u043e\u0439 \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u043f\u0430\u0440\u044b) \u0438 \u043f\u043e\u043f\u0443\u0442\u043d\u043e \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 (\u0441\u0442\u0440\u043e\u043a\u0430 \u0444\u043e\u0440\u043c\u0430\u0442\u0430). \u0412 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0441 <a href=\"#RPN\">\u043e\u0431\u0440\u0430\u0442\u043d\u043e\u0439 \u043f\u043e\u043b\u044c\u0441\u043a\u043e\u0439 \u043d\u043e\u0442\u0430\u0446\u0438\u0435\u0439<\/a> \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u044b \u043f\u0440\u043e\u0441\u0442\u043e \u0441\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u044e\u0442\u0441\u044f \u0432 \u0441\u043f\u0438\u0441\u043e\u043a \u0434\u043b\u044f \u043f\u043e\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0438.<\/li>\n<li> \u0422\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0435 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440(\u044b) \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u0433\u043e \u043a\u043b\u0430\u0441\u0441\u0430, \u043e\u0442\u0432\u0435\u0447\u0430\u044e\u0449\u0438\u0439 \u0437\u0430 \u043e\u043a\u043e\u043d\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u0443\u044e \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0443 \u043f\u0440\u0435\u0434\u0432\u0430\u0440\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430:<br \/> \n<pre><code class=\"haskell\">instance ArgProc R1 where  prc :: A -&gt; R1 instance ArgProc R2 where  prc :: A -&gt; R2 ... <\/code><\/pre>\n<p> \u0412 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0441 <a href=\"#RPN\">\u043e\u0431\u0440\u0430\u0442\u043d\u043e\u0439 \u043f\u043e\u043b\u044c\u0441\u043a\u043e\u0439 \u043d\u043e\u0442\u0430\u0446\u0438\u0435\u0439<\/a> \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u0432\u0441\u0435\u0433\u043e \u043e\u0434\u0438\u043d \u0442\u0430\u043a\u043e\u0439 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 \u0434\u043b\u044f \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0435\u0433\u043e \u0442\u0438\u043f\u0430 Double \u2014 \u043e\u043d \u043f\u0440\u043e\u0441\u0442\u043e \u0437\u0430\u043f\u0443\u0441\u043a\u0430\u0435\u0442 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0434\u043b\u044f \u0441\u043f\u0438\u0441\u043a\u0430 \u043f\u0440\u0435\u0434\u0432\u0430\u0440\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043d\u0430\u043a\u043e\u043f\u043b\u0435\u043d\u043d\u044b\u0445 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432. \u0412 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0441 <a href=\"#printf\">printf<\/a> \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 \u0434\u043b\u044f String \u043f\u0440\u043e\u0441\u0442\u043e \u043a\u043e\u043d\u043a\u0430\u0442\u0435\u043d\u0438\u0440\u0443\u0435\u0442 \u043e\u0442\u0444\u043e\u0440\u043c\u0430\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0443\u044e \u0441\u0442\u0440\u043e\u043a\u0443 \u0441 \u043e\u0441\u0442\u0430\u0442\u043a\u0430\u043c\u0438 \u0444\u043e\u0440\u043c\u0430\u0442\u0430 (\u043f\u043e\u0434\u0440\u0430\u0437\u0443\u043c\u0435\u0432\u0430\u0435\u0442\u0441\u044f, \u0447\u0442\u043e \u0442\u0430\u043c \u043e\u0441\u0442\u0430\u043b\u0441\u044f \u043f\u043b\u043e\u0441\u043a\u0438\u0439 \u0442\u0435\u043a\u0441\u0442). \u042d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 \u0434\u043b\u044f IO () \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0432\u044b\u0432\u043e\u0434\u0438\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442. <\/li>\n<li>\u0418\u043d\u0438\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u043f\u0440\u0435\u0434\u0432\u0430\u0440\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0439 A. \u0432 \u043e\u0431\u0449\u0435\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u2014 \u044d\u0442\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043e\u0442 \u043d\u0430\u0431\u043e\u0440\u0430 \u0444\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432, \u0432 \u043f\u0440\u0438\u043c\u0435\u0440\u0430\u0445 \u044d\u0442\u043e \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u043d\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 <i>[]<\/i> \u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u044f <br \/> \n<pre><code class=\"haskell\"> \\x -&gt; (x, &quot;&quot;) :: String -&gt; (String -&gt; String) <\/code><\/pre>\n<\/li>\n<\/ol>\n<p>  \u041d\u0435\u0442\u0440\u0443\u0434\u043d\u043e \u0432\u0438\u0434\u0435\u0442\u044c, \u0447\u0442\u043e \u0442\u0430\u043a\u0443\u044e \u0441\u0445\u0435\u043c\u0443 \u043c\u043e\u0436\u043d\u043e \u0432\u043e\u043f\u043b\u043e\u0442\u0438\u0442\u044c \u0432 \u0436\u0438\u0437\u043d\u044c \u0441\u0440\u0435\u0434\u0441\u0442\u0432\u0430\u043c\u0438 \u00ab\u0447\u0451\u0440\u043d\u043e\u0439 \u043c\u0430\u0433\u0438\u0438\u00bb <a href=\"https:\/\/wiki.haskell.org\/Template_Haskell\">Template Haskell<\/a>. \u042d\u0442\u043e \u043d\u0435\u043f\u043b\u043e\u0445\u043e\u0435 \u0443\u043f\u0440\u0430\u0436\u043d\u0435\u043d\u0438\u0435 \u0434\u043b\u044f \u0437\u0430\u043a\u0440\u0435\u043f\u043b\u0435\u043d\u0438\u044f \u043c\u0430\u0442\u0435\u0440\u0438\u0430\u043b\u0430, \u0430 \u0442\u0430\u043a\u0436\u0435 \u0445\u043e\u0440\u043e\u0448\u0430\u044f \u043f\u043b\u043e\u0449\u0430\u0434\u043a\u0430 \u0434\u043b\u044f <s>\u043f\u043b\u044f\u0441\u043e\u043a \u0441 \u0431\u0443\u0431\u043d\u043e\u043c<\/s> \u044d\u043a\u0441\u043f\u0435\u0440\u0438\u043c\u0435\u043d\u0442\u043e\u0432 \u0441 <a href=\"https:\/\/wiki.haskell.org\/Template_Haskell\">Template Haskell<\/a>. <\/p>\n<p>  \u0412 \u0442\u0435\u043a\u0443\u0449\u0435\u0439 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u044f \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0438\u043b\u0441\u044f \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e\u043c \u043e\u0431\u0449\u0435\u0439 \u0441\u0445\u0435\u043c\u044b: \u043d\u0430\u043a\u043e\u043f\u0438\u0442\u0435\u043b\u044c \u2014 \u044d\u0442\u043e \u043f\u0440\u043e\u0441\u0442\u043e \u0441\u043f\u0438\u0441\u043e\u043a \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0442\u0438\u043f\u0430, \u0438\u043d\u0438\u0446\u0438\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u043f\u0440\u043e\u0441\u0442\u043e <i>[]<\/i>. \u0423 \u0442\u0430\u043a\u0438\u0445 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0439 \u0435\u0441\u0442\u044c \u043a\u043e\u043d\u0435\u0447\u043d\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d\u043d\u044b\u0435 \u043c\u0438\u043d\u0443\u0441\u044b, \u043d\u043e \u0438\u0434\u0435\u044f \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e \u0431\u044b \u043f\u0440\u0435\u0432\u0440\u0430\u0442\u0438\u0442\u044c \u0441\u0435\u043c\u0435\u0439\u0441\u0442\u0432\u043e \u043e\u0431\u044b\u0447\u043d\u044b\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0441 \u0438\u0434\u0435\u043d\u0442\u0438\u0447\u043d\u044b\u043c \u0442\u0438\u043f\u043e\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432, \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0439 \u0438\u0437 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0441\u043f\u0438\u0441\u043e\u043a, \u0438 \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u043c\u0438 \u0442\u0438\u043f\u0430\u043c\u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0442\u0430, \u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u044e, \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u044e\u0449\u0443\u044e \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0435 \u0447\u0438\u0441\u043b\u043e \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 (\u043f\u043e\u043c\u0438\u043c\u043e \u0444\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445, \u0438\u0434\u0443\u0449\u0438\u0445 \u0434\u043e \u0441\u043f\u0438\u0441\u043a\u0430).<\/p>\n<p>  \u041f\u043e\u043f\u0443\u0442\u043d\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0437\u0438\u0440\u0443\u0435\u043c \u043f\u0440\u043e\u0446\u0435\u0441\u0441 \u00ab\u043d\u0435\u044f\u0432\u043d\u043e\u0433\u043e \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u0438\u044f\u00bb (\u0432 \u0442\u0435\u0440\u043c\u0438\u043d\u043e\u043b\u043e\u0433\u0438\u0438 \u0434\u0440\u0443\u0433\u0438\u0445 \u042f\u041f) \u0437\u0430\u0434\u0430\u043d\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 \u043a \u0442\u0438\u043f\u0443 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0441\u043f\u0438\u0441\u043a\u0430 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432. \u0415\u0449\u0451 \u043e\u0434\u043d\u043e \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435 \u2014 \u00ab\u0434\u043e\u043d\u043e\u0440\u0441\u043a\u0438\u0435\u00bb \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0434\u043e\u043b\u0436\u043d\u044b \u0438\u043c\u0435\u0442\u044c \u00ab\u043f\u0440\u043e\u0441\u0442\u044b\u0435\u00bb \u0442\u0438\u043f\u044b (\u043d\u0435 \u043f\u043e\u043b\u0438\u043c\u043e\u0440\u0444\u043d\u044b\u0435 \u0442\u0438\u043f\u044b \u0431\u0435\u0437 \u043a\u0432\u0430\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u043e\u0432 \u0438 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0439).<\/p>\n<p>  \u0421\u043d\u043e\u0432\u0430 \u0441\u0440\u0430\u0437\u0443 \u043d\u0430\u0447\u043d\u0443 \u0441 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f, \u0442\u0430\u043a \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u043d\u044f\u0442\u043d\u0430 \u0438\u0434\u0435\u044f, \u0430 \u0443\u0436\u0435 \u043f\u043e\u0442\u043e\u043c \u043a\u0440\u0430\u0442\u043a\u043e \u043f\u0440\u043e\u0439\u0434\u0443\u0441\u044c \u043f\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438. \u0418\u0442\u0430\u043a \u043d\u0430\u0447\u043d\u0451\u043c \u0441 \u0447\u0435\u0433\u043e-\u043d\u0438\u0431\u0443\u0434\u044c \u043f\u0440\u043e\u0441\u0442\u0435\u043d\u044c\u043a\u043e\u0433\u043e:<\/p>\n<pre><code class=\"haskell\">{-# LANGUAGE TemplateHaskell, FlexibleInstances, ExtendedDefaultRules #-}   import Data.Function.Vargs -- (1)  -- (2) tester' q (x : y : z) =       putStrLn $ &quot;Fixed parameter &quot; ++ q ++ &quot;, next x = &quot; ++ x ++ &quot; and y = &quot; ++ y                      ++ &quot; and rest = &quot; ++ show z  $( return [] ) -- (3)  -- (4) defVargsFun &quot;tester&quot; ['tester']         (''Integer, [| (&quot;Int &quot; ++) . show |]) -- (5)         (''(), [| const &quot;NULL&quot; |]) -- (6)         ([t| [Int] |], [| (&quot;[Int] &quot; ++) . show |]) -- (7)          ([t| [Double] |], [| (&quot;[Double] &quot; ++) . show |]) -- (8)   main :: IO () main = do     tester &quot;&lt;const&gt;&quot; &quot;qwe&quot; 100500 () [1::Int,2,3] [4::Double,5,6] -- (9) <\/code><\/pre>\n<p>  \u0412 \u0434\u0430\u043d\u043d\u043e\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u043c\u044b \u0441\u043e\u0437\u0434\u0430\u0451\u043c \u0444\u0443\u043d\u043a\u0446\u0438\u044e-\u043e\u0431\u0451\u0440\u0442\u043a\u0443 <i>tester<\/i> \u0434\u043b\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u0438 <i>tester&#8217;<\/i>, \u0438\u043c\u0435\u044e\u0449\u0435\u0439 \u0442\u0438\u043f   <\/p>\n<pre><code class=\"haskell\">tester' :: String -&gt; [String] -&gt; IO () <\/code><\/pre>\n<p>  \u041f\u0440\u043e\u0439\u0434\u0451\u043c\u0441\u044f \u043f\u043e \u0442\u0435\u043a\u0441\u0442\u0443:  <\/p>\n<ul>\n<li> (1) \u2014 \u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0430\u0435\u043c \u043c\u043e\u0434\u0443\u043b\u044c, \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u044e\u0449\u0438\u0439 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0435 \u0447\u0438\u0441\u043b\u043e \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432<\/li>\n<li> (2) \u2014 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u043c \u00ab\u043f\u043e\u0434\u043e\u043f\u044b\u0442\u043d\u0443\u044e\u00bb \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0434\u043b\u044f \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0435\u043d\u0438\u044f<\/li>\n<li> (3) \u2014 \u0442\u0440\u044e\u043a, \u0434\u043b\u044f \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0439 \u0440\u0430\u0431\u043e\u0442\u044b <a href=\"http:\/\/hackage.haskell.org\/package\/template-haskell-2.11.1.0\/docs\/Language-Haskell-TH-Syntax.html#v:reify\">reify<\/a> (\u043f\u043e\u0434\u0440\u043e\u0431\u043d\u043e, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, <a href=\"https:\/\/ghc.haskell.org\/trac\/ghc\/ticket\/9813\">\u0437\u0434\u0435\u0441\u044c<\/a>) <\/li>\n<li> (4) \u2014 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u043c \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0441 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u043c \u0447\u0438\u0441\u043b\u043e\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 <br \/>  \u041f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u044b \u043d\u0430\u0447\u0438\u043d\u0430\u044f \u0441 3-\u0433\u043e \u2014 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043e\u0434\u043d\u043e\u0433\u043e \u0438\u0437 \u0442\u0438\u043f\u043e\u0432 <br \/> \n<ul>\n<li> <i>(Name, ExpQ)<\/i> <\/li>\n<li> <i>(TypeQ, ExpQ)<\/i> <\/li>\n<\/ul>\n<p>  \u043e\u043d\u0438 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u044e \u043a\u0430\u043a \u043c\u043e\u0436\u043d\u043e \u043a\u043e\u043d\u0432\u0435\u0440\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0437\u0430\u0434\u0430\u043d\u043d\u043e\u0433\u043e \u0442\u0438\u043f\u0430 (Integer, () \u0438 \u0442.\u0434.), \u0432 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0442\u0438\u043f\u0430 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0441\u043f\u0438\u0441\u043a\u0430 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 (String). \u0422\u0438\u043f \u0437\u0430\u0434\u0430\u0451\u0442\u0441\u044f \u043b\u0438\u0431\u043e \u0438\u043c\u0435\u043d\u0435\u043c ((5), (6)) \u043b\u0438\u0431\u043e \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435\u043c ((7), (8)). \u041e\u0431\u0440\u0430\u0442\u0438\u0442\u0435 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435, \u0447\u0442\u043e \u0441\u0430\u043c\u0438 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u043f\u0435\u0440\u0435\u0434\u0430\u044e\u0442\u0441\u044f \u0442\u043e\u0436\u0435 \u043a\u0430\u043a \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u044b!   <\/li>\n<li> (9) \u2014 \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u0432\u044b\u0437\u043e\u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0441 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u043c \u0447\u0438\u0441\u043b\u043e\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0440\u0430\u0437\u043d\u043e\u0433\u043e \u0442\u0438\u043f\u0430 (\u043f\u0440\u0438\u0432\u043e\u0434\u0438\u043c\u043e\u0433\u043e \u043a \u0441\u0442\u0440\u043e\u043a\u0435) \u0432 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u043e\u043c \u043f\u043e\u0440\u044f\u0434\u043a\u0435 <\/li>\n<\/ul>\n<p>  \u0418\u0434\u0451\u043c \u0434\u0430\u043b\u044c\u0448\u0435, \u0442\u043e\u0447\u043d\u0435\u0435 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u0441\u044f \u043a \u043f\u0440\u0438\u043c\u0435\u0440\u0443 <a href=\"#RPN\">\u0441 \u043e\u0431\u0440\u0430\u0442\u043d\u043e\u0439 \u043f\u043e\u043b\u044c\u0441\u043a\u043e\u0439 \u043d\u043e\u0442\u0430\u0446\u0438\u0435\u0439<\/a>:  <\/p>\n<pre><code class=\"haskell\">{-# LANGUAGE TemplateHaskell, FlexibleInstances, ExtendedDefaultRules, GADTs #-} --   import Data.Function.Vargs  data Expr = Num Double | Op (Double -&gt; Double -&gt; Double)  calcRPN' :: [Expr] -&gt; Double calcRPN' = head . foldr rpnStep [] . reverse  rpnStep :: Expr -&gt; [Double] -&gt; [Double] rpnStep (Num n) stack = n : stack rpnStep (Op f) (x:y:stack) = (f x y) : stack  $( return [] )  defVargsFun &quot;calcRPN&quot; ['calcRPN']     (''Integer, [| Num . fromIntegral |])     (''String,  [| Num . fst . head . (reads :: ReadS Double) |])     (Genz [t| Double -&gt; Double -&gt; Double |], [| Op |]) -- (1)     ([t| [Double] |], [| Num . sum |])  main = do     print $ calcRPN' [Num 5, Num 5, Op (*)]     print $ calcRPN [1::Double,2,3] &quot;5&quot; (+) 7 (*)  <\/code><\/pre>\n<p>  \u0412 \u044d\u0442\u043e\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0432\u0441\u0451 \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0447\u043d\u043e \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u043c\u0443, \u0437\u0430 \u0438\u0441\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435\u043c \u043e\u0434\u043d\u043e\u0433\u043e \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e\u0433\u043e \u043c\u043e\u043c\u0435\u043d\u0442\u0430 (1): \u0442\u0443\u0442 \u043c\u044b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c \u043d\u0435 \u043f\u0440\u043e\u0441\u0442\u043e TypeQ, \u0430 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u0443\u044e \u043e\u0431\u0451\u0440\u0442\u043a\u0443 <i>Genz<\/i> \u043d\u0430\u0434 \u043d\u0438\u043c. \u042d\u0442\u0430 \u043e\u0431\u0451\u0440\u0442\u043a\u0430 \u0437\u0430\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0433\u0435\u043d\u0435\u0440\u0430\u0442\u043e\u0440 \u0441\u0442\u0440\u043e\u0438\u0442\u044c \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 \u0432\u0438\u0434\u0430:  <\/p>\n<pre><code class=\"haskell\">instance a ~ Double =&gt; ArgSrc (a -&gt; a -&gt; a) where <\/code><\/pre>\n<p>  \u0432\u043c\u0435\u0441\u0442\u043e \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u043e\u0433\u043e  <\/p>\n<pre><code class=\"haskell\">instance ArgSrc (Double -&gt; Double -&gt; Double) where <\/code><\/pre>\n<p>  \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432 \u0434\u0430\u043d\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043d\u0435 \u043f\u0440\u043e\u0439\u0434\u0451\u0442 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0443 \u0442\u0438\u043f\u043e\u0432.<\/p>\n<p>  \u041d\u0443 \u0438 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0439 \u043f\u0440\u0438\u043c\u0435\u0440, \u0442\u0430 \u0441\u0430\u043c\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f printf, \u0442\u043e\u0447\u043d\u0435\u0435 \u0435\u0439 \u0441\u0445\u0435\u043c\u0430\u0442\u0438\u0447\u043d\u044b\u0439 \u0430\u043d\u0430\u043b\u043e\u0433:  <\/p>\n<pre><code class=\"haskell\">{-# LANGUAGE TemplateHaskell, FlexibleInstances, ExtendedDefaultRules, ExistentialQuantification #-}   import Data.Function.Vargs  type FmtRes = (String, String)  class PfVal a where     doFmt :: FmtRes -&gt; a -&gt; FmtRes  instance PfVal Integer where     doFmt (fmt, res) x =          let (b, s) = span (\/= '%') fmt         in  (res ++ (tail . tail $ s), b ++ show x)  instance PfVal Double where     doFmt (fmt, res) x =          let (b, s) = span (\/= '%') fmt         in  (res ++ (tail . tail $ s), b ++ show x)  instance PfVal String where     doFmt (fmt, res) x =          let (b, s) = span (\/= '%') fmt         in  (res ++ (tail . tail $ s), b ++ x)  data PfValWrap = forall a. PfVal a =&gt; Val a -- (1)  printf_String :: String -&gt; [PfValWrap] -&gt; String -- (2) printf_String fmt vs =      uncurry (flip (++)) $ foldl step (fmt, &quot;&quot;) vs          where step fmt (Val f) = doFmt fmt f  printf_IO :: String -&gt; [PfValWrap] -&gt; IO () -- (3) printf_IO fmt = putStrLn . printf_String fmt  $( return [] )  defVargsFun &quot;printf&quot;          ['printf_String, 'printf_IO] -- (4)         [''Integer, ''Double, ''String]  main :: IO () main = do     let fmt = &quot;Number one is %d, number two is %f and string is \\&quot;%s\\&quot;&quot;     printf_IO fmt [Val 100, Val 123.456, Val &quot;ok&quot;]     putStrLn $ printf fmt 100 123.456 &quot;ok&quot;     printf fmt 100 123.456 &quot;ok&quot; <\/code><\/pre>\n<p>  \u0422\u0443\u0442 \u0441\u0442\u043e\u0438\u0442 \u043e\u0442\u043c\u0435\u0442\u0438\u0442\u044c \u0442\u0440\u0438 \u043d\u043e\u0432\u044b\u0445 \u043c\u043e\u043c\u0435\u043d\u0442\u0430:   <\/p>\n<ul>\n<li>\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0442\u0438\u043f\u0430-\u043e\u0431\u0451\u0440\u0442\u043a\u0438 (1) \u0434\u043b\u044f \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432, \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u044e\u0449\u0438\u0445 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u043a\u043b\u0430\u0441\u0441\u0430 <i>PfVal<\/i> (\u0443\u043c\u0435\u044e\u0449\u0438\u0445 \u0432\u044b\u0432\u043e\u0434\u0438\u0442\u044c \u0441\u0435\u0431\u044f \u0432 \u0441\u0442\u0440\u043e\u043a\u0443 \u043f\u043e \u0437\u0430\u0434\u0430\u043d\u043d\u043e\u043c\u0443 \u0444\u043e\u0440\u043c\u0430\u0442\u0443)<\/li>\n<li>\u043d\u0430\u043b\u0438\u0447\u0438\u0435 <i>\u0434\u0432\u0443\u0445<\/i> \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a\u043e\u0432 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 (2)-(3) \u0434\u043b\u044f \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 (<i>String<\/i> \u0438 <i>IO ()<\/i>)<\/li>\n<li>\u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u044f \u043a\u043e\u0434\u0430 \u0434\u043b\u044f \u043a\u043e\u043d\u0432\u0435\u0440\u0442\u0430\u0446\u0438\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 \u0432 \u0442\u0438\u043f-\u043e\u0431\u0451\u0440\u0442\u043a\u0443 <i>PfValWrap<\/i> (\u0444\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u043f\u0440\u043e\u0441\u0442\u043e \u0432\u044b\u0442\u044f\u0433\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u0447\u0435\u0440\u0435\u0437 \u0440\u0435\u0444\u043b\u0435\u043a\u0441\u0438\u044e <a href=\"http:\/\/hackage.haskell.org\/package\/template-haskell-2.11.1.0\/docs\/Language-Haskell-TH-Syntax.html#v:reify\">reify<\/a> \u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0439 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 \u0442\u0438\u043f\u0430 \u2014 <i>Val<\/i>) <\/li>\n<\/ul>\n<p>  \u0422\u0435\u043f\u0435\u0440\u044c \u043f\u0430\u0440\u0443 \u0441\u043b\u043e\u0432 \u043e \u0442\u043e\u043c, \u043a\u0430\u043a \u0432\u0441\u0451 \u044d\u0442\u043e \u0443\u0441\u0442\u0440\u043e\u0435\u043d\u043e. \u0421\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u0432\u0441\u0451 \u0447\u0442\u043e \u0434\u0435\u043b\u0430\u0435\u0442 <i>defVargsFun<\/i>, \u044d\u0442\u043e \u0441\u043e\u0437\u0434\u0430\u0451\u0442 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043a\u043b\u0430\u0441\u0441\u043e\u0432 \u0438 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u043e\u0432, \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u0438\u0438 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0438 \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u043e\u0439 \u043e\u0442 <a href=\"http:\/\/hackage.haskell.org\/package\/template-haskell-2.11.1.0\/docs\/Language-Haskell-TH-Syntax.html#v:reify\">reify<\/a>, \u0430 \u0442\u0430\u043a\u0436\u0435 \u0434\u0435\u043a\u043b\u0430\u0440\u0430\u0446\u0438\u044e \u0438 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u0441\u0430\u043c\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0441 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u043c \u0447\u0438\u0441\u043b\u043e\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432. \u0412\u0441\u044f \u044d\u0442\u0430 \u00ab\u043a\u0443\u0445\u043d\u044f\u00bb \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u043e\u0431\u0449\u0435\u0439 \u0441\u0445\u0435\u043c\u0435, \u0440\u0430\u043d\u0435\u0435 \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0435\u043d\u043d\u043e\u0439 \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0430\u0445. \u041e\u043f\u044f\u0442\u044c \u0436\u0435 \u043d\u0430\u0433\u043b\u044f\u0434\u043d\u0435\u0435 \u0438 \u043f\u0440\u043e\u0449\u0435 \u0431\u0443\u0434\u0435\u0442 \u043f\u0440\u043e\u0434\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435, \u0447\u0442\u043e \u0438\u043c\u0435\u043d\u043d\u043e \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u0435\u0442\u0441\u044f. \u0420\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043a\u043e\u0434, \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u0435\u043c\u044b\u0439 \u0432\u044b\u0437\u043e\u0432\u043e\u043c:  <\/p>\n<pre><code class=\"haskell\">defVargsFun &quot;printf&quot;          ['printf_String, 'printf_IO]          [''Integer, ''Double, ''String] <\/code><\/pre>\n<p>  \u042d\u0442\u043e\u0442 \u043a\u043e\u0434 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c \u0435\u0441\u043b\u0438 \u0437\u0430\u043f\u0443\u0441\u0442\u0438\u0442\u044c <i>ghc<\/i> \u0441 \u043a\u043b\u044e\u0447\u043e\u043c <i>-ddump-splices<\/i>. \u0414\u043b\u044f \u043d\u0430\u0433\u043b\u044f\u0434\u043d\u043e\u0441\u0442\u0438, \u044f \u043f\u043e\u043f\u0440\u0430\u0432\u0438\u043b \u0444\u043e\u0440\u043c\u0430\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0438 \u0443\u0431\u0440\u0430\u043b \u043b\u0438\u0448\u043d\u0438\u0435 \u0441\u043a\u043e\u0431\u043a\u0438:  <\/p>\n<pre><code class=\"haskell\">class ArgPrc_printf_aa3M a where -- (1)   prc_printf_aa3O :: String -&gt; [PfValWrap] -&gt; a -- (2)  class ArgSrc_printf_aa3N a where -- (3)   toArg_printf_aa3Q :: a -&gt; PfValWrap -- (4)  instance ArgPrc_printf_aa3M String where -- (5)   prc_printf_aa3O a1 = printf_String a1 . reverse  instance ArgPrc_printf_aa3M (IO ()) where -- (6)   prc_printf_aa3O a1 = printf_IO a1 . reverse  -- (7) instance (ArgSrc_printf_aa3N a, ArgPrc_printf_aa3M r) =&gt; ArgPrc_printf_aa3M (a -&gt; r) where   prc_printf_aa3O a1 acc_printf_aa3P     = prc_printf_aa3O a1 . (: acc_printf_aa3P) . toArg_printf_aa3Q  -- (8) instance ArgSrc_printf_aa3N PfValWrap where   toArg_printf_aa3Q = id  instance ArgSrc_printf_aa3N Integer where   toArg_printf_aa3Q = Val  instance ArgSrc_printf_aa3N Double where   toArg_printf_aa3Q = Val  instance ArgSrc_printf_aa3N String where   toArg_printf_aa3Q = Val  -- (9) printf :: forall a. ArgPrc_printf_aa3M a =&gt; String -&gt; a printf a1 = prc_printf_aa3O a1 [] <\/code><\/pre>\n<p>  \u041c\u043e\u043d\u0430\u0434\u0430 Q \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0438\u0432\u0430\u0435\u0442 \u043d\u0430\u043c \u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u044e \u0443\u043d\u0438\u043a\u0430\u043b\u044c\u043d\u044b\u0445 \u0438\u043c\u0451\u043d \u2014 \u043e\u0442\u0441\u044e\u0434\u0430 \u00ab\u0437\u0430\u043a\u043e\u0432\u044b\u0440\u0438\u0441\u0442\u044b\u0435\u00bb \u043e\u043a\u043e\u043d\u0447\u0430\u043d\u0438\u044f \u0432 \u043d\u0430\u0437\u0432\u0430\u043d\u0438\u044f\u0445. \u041f\u0440\u043e\u0439\u0434\u0451\u043c\u0441\u044f \u043f\u043e \u0442\u0435\u043a\u0441\u0442\u0443:  <\/p>\n<ul>\n<li>\u043e\u0431\u044a\u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u0439 \u043a\u043b\u0430\u0441\u0441-\u043e\u0431\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0433\u043e \u0447\u0438\u0441\u043b\u0430 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 (1) \u0438 \u0435\u0433\u043e \u043a\u043b\u044e\u0447\u0435\u0432\u043e\u0439 \u043c\u0435\u0442\u043e\u0434 (2) <\/li>\n<li>\u043e\u0431\u044a\u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043a\u043b\u0430\u0441\u0441 (3) \u0434\u043b\u044f \u00ab\u043d\u0435\u044f\u0432\u043d\u043e\u0433\u043e \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u0438\u044f\u00bb \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u0437\u0430\u0434\u0430\u043d\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 \u043a \u0442\u0438\u043f\u0443 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0441\u043f\u0438\u0441\u043a\u0430 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 (<i>PfValWrap<\/i>) \u0441 \u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u043c \u043c\u0435\u0442\u043e\u0434\u043e\u043c (4) <\/li>\n<li> \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u044e\u0442\u0441\u044f \u00ab\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0435\u00bb \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u044b \u043d\u0430\u0448\u0435\u0433\u043e \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u0433\u043e \u043a\u043b\u0430\u0441\u0441\u0430 (1) \u0434\u043b\u044f \u0442\u0438\u043f\u043e\u0432 String (5) \u0438 IO () (6), \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u043c\u0435\u0442\u043e\u0434\u043e\u0432 \u2014 \u0441\u0443\u0442\u044c \u0432\u044b\u0437\u043e\u0432 \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0441 \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0435\u0439 \u0432\u0441\u0435\u0445 \u0444\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0438 \u0441\u043f\u0438\u0441\u043a\u0430 \u043d\u0430\u043a\u043e\u043f\u043b\u0435\u043d\u043d\u044b\u0445 \u00ab\u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445\u00bb \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432. \u0422.\u043a. \u043d\u0430\u043a\u043e\u043f\u043b\u0435\u043d\u0438\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0443 \u043d\u0430\u0441 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u00ab\u0441 \u0433\u043e\u043b\u043e\u0432\u044b\u00bb \u0441\u043f\u0438\u0441\u043a\u0430, \u0442\u043e \u043f\u0435\u0440\u0435\u0434 \u0432\u044b\u0437\u043e\u0432\u043e\u043c \u00ab\u0440\u043e\u0434\u043d\u043e\u0439\u00bb \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f <i>reverse<\/i>  <\/li>\n<li> \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 (7) \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u0433\u043e \u043a\u043b\u0430\u0441\u0441\u0430 (1) \u0434\u043b\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0442\u0438\u043f\u0430 <i>(a -&gt; r)<\/i> \u2014 \u0442\u0443\u0442 \u0438 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0442\u0438\u043f\u043e\u0432, \u043f\u0440\u0438\u043d\u0430\u0434\u043b\u0435\u0436\u0430\u0449\u0438\u0445 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u043e \u0441\u043e\u0437\u0434\u0430\u043d\u043d\u043e\u043c\u0443 \u043a\u043b\u0430\u0441\u0441\u0443 (3), \u043f\u043e\u0441\u0440\u0435\u0434\u0441\u0442\u0432\u043e\u043c \u0432\u044b\u0437\u043e\u0432\u0430 \u043c\u0435\u0442\u043e\u0434\u0430 (4), \u043a \u0442\u0438\u043f\u0443 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0441\u043f\u0438\u0441\u043a\u0430 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 (<i>PfValWrap<\/i>), \u0438, \u0434\u0430\u043b\u0435\u0435, \u043f\u043e\u043c\u0435\u0449\u0435\u043d\u0438\u0435 \u044d\u0442\u043e\u0433\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0432 \u0441\u043f\u0438\u0441\u043e\u043a <\/li>\n<li> \u0434\u0430\u043b\u0435\u0435(8), \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u044e\u0442\u0441\u044f \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u044b \u043a\u043b\u0430\u0441\u0441\u0430 (3) \u0434\u043b\u044f \u0432\u0441\u0435\u0445 \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 + \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 \u0434\u043b\u044f \u0441\u0430\u043c\u043e\u0433\u043e \u0442\u0438\u043f\u0430 <i>PfValWrap<\/i> (\u0442\u0430\u043a\u0430\u044f \u00ab\u0442\u0430\u0432\u0442\u043e\u043b\u043e\u0433\u0438\u044f\u00bb \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u0442.\u043a. \u0434\u043b\u044f \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u044f \u0443\u043d\u0438\u0444\u0438\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043c\u0435\u0442\u043e\u0434 (4)) <\/li>\n<li> \u0438 \u043d\u0430\u043a\u043e\u043d\u0435\u0446 \u0434\u0435\u043a\u043b\u0430\u0440\u0438\u0440\u0443\u0435\u0442\u0441\u044f \u0438 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0441\u0430\u043c\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u044f-\u043e\u0431\u0451\u0440\u0442\u043a\u0430 \u0441 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u043c \u0447\u0438\u0441\u043b\u043e\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432<\/li>\n<\/ul>\n<p>  \u0418\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u043a\u043e\u0434 \u043c\u043e\u0434\u0443\u043b\u044f Data.Function.Vargs \u0441 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u044f\u043c\u0438, \u0430 \u0442\u0430\u043a\u0436\u0435 \u0432\u044b\u0448\u0435\u043f\u0440\u0438\u0432\u0435\u0434\u0451\u043d\u043d\u044b\u0435 \u043f\u0440\u0438\u043c\u0435\u0440\u044b \u0435\u0433\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f \u043b\u0435\u0436\u0430\u0442 <a href=\"https:\/\/github.com\/wardopdem\/vargs\">\u0442\u0443\u0442<\/a>, \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044f \u0432 \u0444\u043e\u0440\u043c\u0430\u0442\u0435 <a href=\"https:\/\/www.haskell.org\/haddock\/\">haddoc<\/a> \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u0430 <a href=\"https:\/\/wardopdem.github.io\/vargs\/Data-Function-Vargs.html\">\u0437\u0434\u0435\u0441\u044c <\/a>\u0438 \u0432 \u0441\u043e\u0441\u0442\u0430\u0432\u0435 \u043f\u0430\u043a\u0435\u0442\u0430. \u0412 \u043d\u0430\u0441\u0442\u043e\u044f\u0449\u0438\u0439 \u043c\u043e\u043c\u0435\u043d\u0442 \u043f\u0430\u043a\u0435\u0442 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432 \u0441\u0442\u0430\u0434\u0438\u0438 experimental \u043e\u0442 \u0441\u043b\u043e\u0432\u0430 \u00ab\u0441\u043e\u0432\u0441\u0435\u043c\u00bb \ud83d\ude09 <\/p>\n<p>  \u0412\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u0441\u043e \u0432\u0440\u0435\u043c\u0435\u043d\u0435\u043c \u0434\u043e\u0432\u0435\u0434\u0443 \u0434\u043e \u0443\u043c\u0430 \u2014 \u043a\u0430\u043a \u043c\u0438\u043d\u0438\u043c\u0443\u043c \u043d\u0430\u0434\u043e \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0430\u043d\u0430\u043b\u0438\u0437 \u0438 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0443 \u043e\u0448\u0438\u0431\u043e\u0447\u043d\u044b\u0445 \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u0439 (\u043d\u0435\u0434\u043e\u043f\u0443\u0441\u0442\u0438\u043c\u044b\u0435 \u0438\u043b\u0438 \u043d\u0435\u0441\u043e\u0432\u043c\u0435\u0441\u0442\u0438\u043c\u044b\u0435 \u0442\u0438\u043f\u044b), \u043a\u0430\u043a \u043c\u0430\u043a\u0441\u0438\u043c\u0443\u043c:   <\/p>\n<ul>\n<li> \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u043e\u0431\u043e\u0431\u0449\u0451\u043d\u043d\u0443\u044e \u0441\u0445\u0435\u043c\u0443 \u0438 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0443 \u043f\u043e\u043b\u0438\u043c\u043e\u0440\u0444\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 \u0432 \u00ab\u0440\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u0445\u00bb \u0444\u0443\u043d\u043a\u0446\u0438\u044f\u0445; <\/li>\n<li> \u0440\u0430\u0437\u0440\u0435\u0448\u0438\u0442\u044c \u043e\u0441\u043c\u044b\u0441\u043b\u0435\u043d\u043d\u043e\u0435 \u0438\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u0438\u0435 \u0441\u043e\u0437\u0434\u0430\u0432\u0430\u0435\u043c\u044b\u0445 \u043a\u043b\u0430\u0441\u0441\u043e\u0432 \u0438 \u043c\u0435\u0442\u043e\u0434\u043e\u0432, \u0432 \u0447\u0430\u0441\u0442\u043d\u043e\u0441\u0442\u0438, \u0434\u043b\u044f \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0438 \u043e\u0431\u0451\u0440\u0442\u043e\u0447\u043d\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430 \u0434\u0440\u0443\u0433\u0438\u043c \u0444\u0443\u043d\u043a\u0446\u0438\u044f\u043c; <\/li>\n<li> \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c <a href=\"http:\/\/okmij.org\/ftp\/Haskell\/polyvariadic.html#polyvar-fn\">\u0430\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u043d\u044b\u0435<\/a> \u0441\u0445\u0435\u043c\u044b \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438. <\/li>\n<\/ul>\n<p> \u0422\u043e\u0433\u0434\u0430, \u0434\u0443\u043c\u0430\u044e, \u043d\u0435 \u0441\u0442\u044b\u0434\u043d\u043e \u0431\u0443\u0434\u0435\u0442 \u0432\u044b\u043b\u043e\u0436\u0438\u0442\u044c \u043d\u0430 <a href=\"http:\/\/hackage.haskell.org\/\">hackage<\/a> (\u0445\u043e\u0442\u044f \u0442\u0430\u043c \u0443\u0436\u0435 \u0435\u0441\u0442\u044c \u0434\u043e\u0441\u0442\u043e\u0439\u043d\u044b\u0435 \u043f\u0430\u043a\u0435\u0442\u044b \u0442\u0438\u043f\u0430 <a href=\"http:\/\/hackage.haskell.org\/package\/HList\">HList<\/a> \u043d\u0430 \u043f\u043e\u0445\u043e\u0436\u0438\u0435 \u0442\u0435\u043c\u044b). <\/p>\n<p>  \u041f\u043e\u043b\u0435\u0437\u043d\u044b\u0435 \u0441\u0441\u044b\u043b\u043a\u0438 \u043f\u043e \u0442\u0435\u043c\u0435:  <\/p>\n<ol>\n<li><a href=\"https:\/\/wiki.haskell.org\/Varargs\">Varargs<\/a><\/li>\n<li><a href=\"https:\/\/wiki.haskell.org\/Polyvariadic_functions\">Polyvariadic functions<\/a><\/li>\n<li> <a href=\"https:\/\/wiki.haskell.org\/Template_Haskell\">Template Hakell<\/a> <\/li>\n<li> <a href=\"https:\/\/wiki.haskell.org\/Existential_type\">Existential type<\/a> <\/li>\n<li> <a href=\"http:\/\/hackage.haskell.org\/package\/HList\">HList<\/a> <\/li>\n<\/ol>\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:\/\/habrahabr.ru\/post\/324190\/\"> https:\/\/habrahabr.ru\/post\/324190\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<div style=\"text-align:center;\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/b0e\/1f9\/cd0\/b0e1f9cd0fac4e4d828e3920c5a892a9.png\" \/><\/div>\n<p>  <i>\u2013 \u0410 \u0432\u0438\u0434\u0435\u043b\u0430 \u0442\u044b \u0427\u0435\u0440\u0435\u043f\u0430\u0445\u0443 \u00ab\u041a\u0430\u043a \u0431\u044b\u00bb? <br \/>  \u2013 \u041d\u0435\u0442, \u2013 \u0441\u043a\u0430\u0437\u0430\u043b\u0430 \u0410\u043b\u0438\u0441\u0430. \u2013 \u042f \u0434\u0430\u0436\u0435 \u043d\u0435 \u0437\u043d\u0430\u044e, \u043a\u0442\u043e \u044d\u0442\u043e \u0442\u0430\u043a\u043e\u0439.<br \/>  \u2013 \u041a\u0430\u043a \u0436\u0435, \u2013 \u0441\u043a\u0430\u0437\u0430\u043b\u0430 \u041a\u043e\u0440\u043e\u043b\u0435\u0432\u0430. \u2013 \u042d\u0442\u043e \u0442\u043e, \u0438\u0437 \u0447\u0435\u0433\u043e \u0434\u0435\u043b\u0430\u044e\u0442 \u00ab\u041a\u0430\u043a \u0431\u044b \u0447\u0435\u0440\u0435\u043f\u0430\u0448\u0438\u0439 \u0441\u0443\u043f\u00bb. <br \/>  <\/i>  <\/p>\n<pre>                  \u041b\u044c\u044e\u0438\u0441 \u041a\u044d\u0440\u0440\u043e\u043b\u043b,                             \u00ab\u0410\u043b\u0438\u0441\u0430 \u0432 \u0421\u0442\u0440\u0430\u043d\u0435 \u0447\u0443\u0434\u0435\u0441\u00bb<\/pre>\n<p>  <i>\u2014 \u0421\u0443\u0434\u044f \u043f\u043e \u0442\u0432\u043e\u0438\u043c \u0440\u0435\u0447\u0430\u043c, \u0442\u044b \u0445\u043e\u0440\u043e\u0448\u043e \u0437\u043d\u0430\u0435\u0448\u044c \u0424\u0430\u043d\u0433\u043e\u0440\u043d? \u2014 \u0441\u043f\u0440\u043e\u0441\u0438\u043b \u0432 \u043e\u0442\u0432\u0435\u0442 \u0410\u0440\u0430\u0433\u043e\u0440\u043d.<br \/>  \u2014 \u041a\u0430\u043a\u043e\u0435 \u0442\u0430\u043c! \u2014 \u043e\u0442\u043e\u0437\u0432\u0430\u043b\u0441\u044f \u0441\u0442\u0430\u0440\u0438\u043a. \u2014 \u041d\u0430 \u044d\u0442\u043e \u0441\u0442\u0430 \u0436\u0438\u0437\u043d\u0435\u0439 \u043d\u0435 \u0445\u0432\u0430\u0442\u0438\u0442. \u041d\u043e \u044f \u0441\u044e\u0434\u0430 \u0438\u043d\u043e\u0439 \u0440\u0430\u0437 \u0437\u0430\u0445\u0430\u0436\u0438\u0432\u0430\u044e.<br \/>  <\/i>  <\/p>\n<pre>                 \u0414\u0436\u043e\u043d \u0420. \u0420. \u0422\u043e\u043b\u043a\u0438\u0435\u043d,                            \u00ab\u0412\u043b\u0430\u0441\u0442\u0435\u043b\u0438\u043d \u041a\u043e\u043b\u0435\u0446\u00bb \u2014 \u043a \u0441\u043b\u043e\u0432\u0443 \u043e \u043c\u043e\u0451\u043c \u0437\u043d\u0430\u043d\u0438\u0438 Haskell ;)<\/pre>\n<p>  <i>Homines dum docent, discunt. (\u041e\u0431\u044a\u044f\u0441\u043d\u0438 \u0434\u0440\u0443\u0433\u0438\u043c \u2014 \u0441\u0430\u043c \u043f\u043e\u0439\u043c\u0451\u0448\u044c.)<\/i>  <\/p>\n<pre>                 \u043d\u0430\u0440\u043e\u0434\u043d\u0430\u044f \u043b\u0430\u0442\u0438\u043d\u0441\u043a\u0430\u044f \u043f\u043e\u0433\u043e\u0432\u043e\u0440\u043a\u0430<\/pre>\n<p>  \u0412\u0441\u0435 \u0437\u043d\u0430\u044e\u0442, \u0447\u0442\u043e \u043b\u044e\u0431\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f Haskell \u043f\u043e \u0441\u0432\u043e\u0435\u0439 \u0441\u0443\u0442\u0438 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u0435\u0439 \u043e\u0434\u043d\u043e\u0433\u043e \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430. \u0424\u0443\u043d\u043a\u0446\u0438\u0438 \u00ab\u043a\u0430\u043a \u0431\u044b\u00bb \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u044f \u043f\u0435\u0440\u0432\u044b\u0439 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442, \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u044e\u0442 \u0434\u0440\u0443\u0433\u0443\u044e \u0444\u0443\u043d\u043a\u0446\u0438\u044e, \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u044e\u0449\u0443\u044e \u0432\u0442\u043e\u0440\u043e\u0439 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 (\u0438\u0441\u0445\u043e\u0434\u043d\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438) \u0438 \u043e\u0431\u0440\u0430\u0442\u043d\u043e \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u044e\u0449\u0443\u044e \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0438 \u0442.\u0434. \u0434\u043e \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0443\u0436\u0435 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043d\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0442\u0438\u043f\u0430 (<a href=\"https:\/\/ru.wikipedia.org\/wiki\/\u041a\u0430\u0440\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435\">\u043a\u0430\u0440\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435<\/a>). <\/p>\n<p>  \u041a\u0430\u0437\u0430\u043b\u043e\u0441\u044c \u0431\u044b \u043e \u043a\u0430\u043a\u043e\u043c \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u043c \u0447\u0438\u0441\u043b\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u043c\u043e\u0436\u0435\u0442 \u0438\u0434\u0442\u0438 \u0440\u0435\u0447\u044c \u043f\u0440\u0438 \u0442\u0430\u043a\u043e\u043c \u0440\u0430\u0441\u043a\u043b\u0430\u0434\u0435? \u041e\u0434\u043d\u0430\u043a\u043e \u043f\u043e\u0440\u0430\u0437\u043c\u044b\u0441\u043b\u0438\u0432, \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0432 \u0438\u0441\u0445\u043e\u0434\u043d\u0438\u043a\u0438 <a href=\"http:\/\/hackage.haskell.org\/package\/base-4.9.1.0\/docs\/src\/Text.Printf.html#printf\">printf<\/a> \u0438\u043b\u0438 \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u043e\u0447\u0438\u0442\u0430\u0432 <a href=\"https:\/\/wiki.haskell.org\/Varargs\">wiki.haskell<\/a> \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u043e\u0447\u0435\u0432\u0438\u0434\u043d\u044b\u043c, \u0447\u0442\u043e \u043a\u0430\u043a \u0440\u0430\u0437 <a href=\"https:\/\/ru.wikipedia.org\/wiki\/\u0424\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0435_\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435\">\u0424\u041f<\/a> \u0434\u0430\u0451\u0442 \u043a\u043b\u044e\u0447 \u043a \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u043a\u0440\u0430\u0441\u0438\u0432\u043e\u043c\u0443, \u0445\u043e\u0442\u044f \u0438 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u00ab\u043a\u0430\u0437\u0443\u0438\u0441\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u043c\u0443\u00bb \u0440\u0435\u0448\u0435\u043d\u0438\u044e \u044d\u0442\u043e\u0439 \u0437\u0430\u0434\u0430\u0447\u0438.<\/p>\n<p>  \u0412 \u043d\u0430\u0441\u0442\u043e\u044f\u0449\u0435\u0439 \u043f\u0443\u0431\u043b\u0438\u043a\u0430\u0446\u0438\u0438 \u044f \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u044e \u043e\u0434\u0438\u043d \u0438\u0437 \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u0432 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0442\u0430\u043a\u043e\u0433\u043e \u043c\u0435\u0445\u0430\u043d\u0438\u0437\u043c\u0430 \u043d\u0430 \u043f\u0440\u043e\u0441\u0442\u044b\u0445 \u043f\u0440\u0438\u043c\u0435\u0440\u0430\u0445, \u0430 \u0442\u0430\u043a\u0436\u0435 \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0443 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u043e\u0431\u043e\u0431\u0449\u0451\u043d\u043d\u043e\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u043d\u0430 \u0431\u0430\u0437\u0435 <a href=\"https:\/\/wiki.haskell.org\/Template_Haskell\">Template Haskell<\/a>, \u0434\u043b\u044f \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0435\u043d\u0438\u044f \u0441\u0435\u043c\u0435\u0439\u0441\u0442\u0432\u0430 \u043e\u0431\u044b\u0447\u043d\u044b\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0441 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u043c \u0442\u0438\u043f\u0430 \u0441\u043f\u0438\u0441\u043e\u043a \u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0441 \u00ab\u043a\u0430\u043a \u0431\u044b \u0441 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u043c \u0447\u0438\u0441\u043b\u043e\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u043c\u00bb (\u0434\u0430\u043b\u0435\u0435 \u043f\u043e \u0442\u0435\u043a\u0441\u0442\u0443 \u043f\u0440\u043e\u0441\u0442\u043e \u00ab\u0441 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u043c \u0447\u0438\u0441\u043b\u043e\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u043c\u00bb).   <\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-283597","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/283597","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=283597"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/283597\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=283597"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=283597"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=283597"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}