From 273447bf246a358010bc9015513d60989b8cd09c Mon Sep 17 00:00:00 2001
From: Trifon Trifonov <triffon@fmi.uni-sofia.bg>
Date: Wed, 4 Dec 2024 22:10:40 +0200
Subject: [PATCH] =?UTF-8?q?=D0=94=D0=BE=D0=B1=D0=B0=D0=B2=D1=8F=D0=BD?=
 =?UTF-8?q?=D0=B5=20=D0=BD=D0=B0=20=D0=BE=D0=BF=D1=86=D0=B8=D1=8F=20=D0=B7?=
 =?UTF-8?q?=D0=B0=20=D0=BE=D0=BF=D0=B5=D1=80=D0=B0=D1=86=D0=B8=D1=8F=D1=82?=
 =?UTF-8?q?=D0=B0=20($)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 2.6-haskell_io.tex | 23 +++++++++++++----------
 1 file changed, 13 insertions(+), 10 deletions(-)

diff --git a/2.6-haskell_io.tex b/2.6-haskell_io.tex
index 11d8049..4a6ef85 100644
--- a/2.6-haskell_io.tex
+++ b/2.6-haskell_io.tex
@@ -5,7 +5,10 @@
 \newboolfalse{lazy}
 
 % компилация по части
-\newbooltrue{parts}
+\newboolfalse{parts}
+
+% взели ли сме вече операцията ($)?
+\newbooltrue{app}
 
 \ifbool{parts}{
     \newbool{part1}
@@ -114,7 +117,7 @@ \section{\tt{IO}}
     специална: тя е входната точка на компилираната програма.
   \item По същество тя дефинира входно-изходна трансформация, която се прилага към стандартния вход и изход при изпълнение на програмата.
   \item \textbf{Пример:} \lst^main = putStrLn "Hello, world!"^
-  \item Можем ли да дефинираме \lst!main = putStrLn $ "Въведохте: " ++ getLine!? % поправка на оцветяването на синтаксис$
+  \item Можем ли да дефинираме \lst!main = putStrLn !\ifbool{app}{\lst!\$! }{\lst!(!}\lst!"Въведохте: " ++ getLine!\ifbool{app}{}{\lst!)!}? % поправка на оцветяването на синтаксис$
   \item \alert{Не!} \hspace{3em} \lst{getLine :: }\tta{IO} \lst{String}
   \item Композицията на входно-изходни трансформации работи по различен начин от композицията на функции
   \item Низът, който връща \lst{getLine} е „замърсен“ от входно-изходна операция
@@ -149,7 +152,7 @@ \section{Синтаксис за вход/изход}
   \vspace{-.5ex}
 \begin{lstlisting}
 main = do line <- getLine
-          putStrLn $ "Въведохте: " ++ line
+          putStrLn @\ifbool{app}{\$ }{(}@"Въведохте: " ++ line@\ifbool{app}{}{)}@
 \end{lstlisting}
 \end{frame}
 
@@ -174,7 +177,7 @@ \section{Синтаксис за вход/изход}
           line <- getLine
           let revLine = reverse line
           if revLine == line then putStrLn "Благодаря!"
-          else do putStrLn $ line ++ " не е палиндром!"
+          else do putStrLn @\ifbool{app}{\$ }{(}@line ++ " не е палиндром!"@\ifbool{app}{}{)}@
                   main
 \end{lstlisting}
 \end{frame}
@@ -194,7 +197,7 @@ \section{Синтаксис за вход/изход}
   \item Haskell не може да познае типа на резултата, понеже е генеричен!
   \item \lst{getInt :: IO Int}
   \item \lst{getInt = do line <- getLine}\\
-    \hspace{7em}\lst{return \$ read line}
+    \hspace{7em}\lst!return! \ifbool{app}{\lst! \$! }{ \lst!(!}\lst!read line!\ifbool{app}{}{\lst!)!}
   \end{itemize}
 \end{frame}
 
@@ -206,17 +209,17 @@ \section{Синтаксис за вход/изход}
 findAverage = do putStr "Моля, въведете брой: "
                  n <- getInt
                  s <- readAndSum n
-                 return $ fromIntegral s / fromIntegral n
+                 return @\ifbool{app}{\$ }{(}@fromIntegral s / fromIntegral n@\ifbool{app}{}{)}@
 @\pause@
 readAndSum :: Int -> IO Int@\pause@
 readAndSum 0 = return 0
 readAndSum n = do putStr "Моля, въведете число: "
                   x <- getInt
-                  s <- readAndSum $ n - 1
-                  return $ x + s
+                  s <- readAndSum @\ifbool{app}{\$ }{(}@n - 1@\ifbool{app}{}{)}@
+                  return @\ifbool{app}{\$ }{(}@x + s@\ifbool{app}{}{)}@
 @\pause@
 main = do avg <- findAverage
-          putStrLn $ "Средното аритметично е: " ++ show avg
+          putStrLn @\ifbool{app}{\$ }{(}@"Средното аритметично е: " ++ show avg@\ifbool{app}{}{)}@
 \end{lstlisting}
 \end{frame}
 
@@ -317,7 +320,7 @@ \section{Управляващи структури}
   do h1 <- openFile inFile ReadMode
      text <- hGetContents h1
      h2 <- openFile outFile WriteMode
-     hPutStr h2 $ map cypher text
+     hPutStr h2 @\ifbool{app}{\$ }{(}@map cypher text@\ifbool{app}{}{)}@
 \end{lstlisting}
   \end{itemize}
 \end{frame}