FP Laboratory 6/cs - Revision history

Beh01 at 08:07, 26 October 2023

2023-10-26T08:07:09Z

Beh01: Created page with "== Doplňková cvičení == * Vytvořte funkci, která rozdělí seznam prvků na seznam seznamů pomocí zadaného oddělovače."

2023-10-26T08:06:46Z

Created page with "== Doplňková cvičení == * Vytvořte funkci, která rozdělí seznam prvků na seznam seznamů pomocí zadaného oddělovače."

Fai0013 at 10:30, 20 October 2021

2021-10-20T10:30:38Z

Fai0013 at 10:29, 20 October 2021

2021-10-20T10:29:53Z

Fai0013 at 10:28, 20 October 2021

2021-10-20T10:28:40Z

Fai0013 at 10:28, 20 October 2021

2021-10-20T10:28:11Z

Fai0013 at 10:26, 20 October 2021

2021-10-20T10:26:49Z

Fai0013: Created page with "== Komplexní funkce - Huffmanovo kódování == *Vytvořte funkci která spočíta [https://en.wikipedia.org/wiki/Huffman_coding Huffmanovo kódování] dpro daný seznam zna..."

2021-10-20T10:26:41Z

Created page with "== Komplexní funkce - Huffmanovo kódování == *Vytvořte funkci která spočíta [https://en.wikipedia.org/wiki/Huffman_coding Huffmanovo kódování] dpro daný seznam zna..."

Fai0013: Created page with "*Rozšiřte predchozí funkci tak aby přijímala výraz s libovolným počtem proměnných (počet proměnných bude zadán jako druhý)."

2021-10-20T10:20:16Z

Created page with "*Rozšiřte predchozí funkci tak aby přijímala výraz s libovolným počtem proměnných (počet proměnných bude zadán jako druhý)."

Fai0013: Created page with "== Operátory == Definujte následující funkce které provádí příslušné logické operace: `not', and', or', nand', xor', impl', equ'` Definujte 'standard..."

2021-10-20T10:17:48Z

Created page with "== Operátory == *Definujte následující funkce které provádí příslušné logické operace: <code>not', and', or', nand', xor', impl', equ'</code> *Definujte 'standard..."

New page

== Operátory ==
*Definujte následující funkce které provádí příslušné logické operace: <code>not', and', or', nand', xor', impl', equ'</code>
*Definujte 'standardní' prioritu pro tyto funkce když budou použity jako operátory.
*Implemenetujte funkci která vytiskne pravdivostní tabulku logického výrazu.

<syntaxhighlight lang="Haskell">table :: (Bool -> Bool -> Bool) -> IO ()</syntaxhighlight>
<syntaxhighlight lang="Haskell" class="myDark">
table (\a b -> (and' a (or' a b)))
True True True
True False True
False True False
False False False
</syntaxhighlight>

<div class="mw-collapsible mw-collapsed" data-collapsetext="Hide solution" data-expandtext="Show solution">
<syntaxhighlight lang="Haskell">

not' :: Bool -> Bool
not' True = False
not' False = True
infixl 5 `not'`

and' :: Bool -> Bool -> Bool
and' True True = True
and' _ _ = False
infixl 4 `and'`

or' :: Bool -> Bool -> Bool
or' False False = False
or' _ _ = True
infixl 3 `or'`

nand' :: Bool -> Bool -> Bool
nand' x y = not' (and' x y)
infixl 4 `nand'`

xor' :: Bool -> Bool -> Bool
xor' x y = x/=y
infixl 3 `xor'`

impl' :: Bool -> Bool -> Bool
impl' True False = False
impl' _ _ = True
infixl 2 `impl'`

equ' :: Bool -> Bool -> Bool
equ' x y = x == y
infixl 7 `equ'`

table :: (Bool -> Bool -> Bool) -> IO ()
table expr = putStr (concat [nicePrint [x,y,(expr x y)] |x<-[True,False], y<-[True,False]])

nicePrint :: [Bool] -> String
nicePrint xs = concat [show x++"\t"| x<-xs] ++ "\n"
</syntaxhighlight>
[[File:Tryit.png|center|60px|Try it!|link=https://rextester.com/GWCM50489]]
</div>
<div style="clear:both"></div>

*Extend the previously defined function to accept any number of variables (the number of variables will be given as a first parameter).

<syntaxhighlight lang="Haskell">tablen :: Int -> ([Bool] -> Bool) -> IO ()</syntaxhighlight>
<syntaxhighlight lang="Haskell" class="myDark">
tablen 3 (\[a,b,c] -> a `and'` (b `or'` c) `equ'` a `and'` b `or'` a `and'` c)
True True True => True
True True False => True
True False True => True
True False False => False
False True True => False
False True False => False
False False True => False
False False False => False
</syntaxhighlight>

<div class="mw-collapsible mw-collapsed" data-collapsetext="Hide solution" data-expandtext="Show solution">
<syntaxhighlight lang="Haskell">
tablen :: Int -> ([Bool] -> Bool) -> IO ()
tablen n f = putStr(concat [nicePrint x ++ " => " ++ show(f x) ++ "\n" |x<-allValues n]) where
allValues 1 = [[True], [False]]
allValues n = [x:y| x<-[True,False], y<-allValues (n-1)]

nicePrint :: [Bool] -> String
nicePrint xs = concat [show x++"\t"| x<-xs]
</syntaxhighlight>
[[File:Tryit.png|center|60px|Try it!|link=https://rextester.com/IDZIG48578]]
</div>
<div style="clear:both"></div>

== Complex function - Huffman Codes ==
*Create a function that will compute [https://en.wikipedia.org/wiki/Huffman_coding Huffman codes] for a given list of characters and their frequencies.

<div style="float: right"> [[File:Video logo.png|80px|link=https://youtu.be/HWYQZtbxMhc]]</div>
<syntaxhighlight lang="Haskell">huffman :: [(Char, Int)] -> [(Char, String)]</syntaxhighlight>
<syntaxhighlight lang="Haskell" class="myDark">
*Main> huffman [('a',45),('b',13),('c',12),('d',16),('e',9),('f',5)]
[('a',"0"),('b',"101"),('c',"100"),('d',"111"),('e',"1101"),('f',"1100")]
</syntaxhighlight>

<div class="mw-collapsible mw-collapsed" data-collapsetext="Hide solution" data-expandtext="Show solution">
<syntaxhighlight lang="Haskell">
import Data.List (sortBy)

huffman :: [(Char, Int)] -> [(Char, String)]
huffman input =
let
prep = [ (y, [(x,"")] ) | (x,y)<-input]
in sortBy (\ (x,_) (y,_) -> compare x y) (step prep) where
step :: [(Int, [(Char, String)])] -> [(Char, String)]
step [(_, result) ] = result
step list = let ((a1, as2):(b1,bs2):rest) = sortBy (\ (x,_) (y,_) -> compare x y) list
in step ((a1+b1, [(x,'0':a2)|(x,a2)<-as2]++[(x,'1':b2)|(x,b2)<-bs2]) : rest)
</syntaxhighlight>
[[File:Tryit.png|center|60px|Try it!|link=https://rextester.com/PSSTZ19890]]
</div>
<div style="clear:both"></div>

@@ Line 1: / Line 1: @@
 == Operátory ==
 *Definujte funkce, které provádí příslušné logické operace: <code>not', and', or', nand', xor', impl', equ'</code>
-*Definujte 'standardní' prioritu pro tyto funkce když je definujeme jako operátory.
+*Definujte 'standardní' prioritu pro případ, kdy je použijeme jako operátory.
 *Implemenetujte funkci která vytiskne pravdivostní tabulku logického výrazu.

@@ Line 88: / Line 88: @@
 == Komplexní funkce - Huffmanovo kódování ==
-*Vytvořte funkci která spočíta [https://en.wikipedia.org/wiki/Huffman_coding Huffmanovo kódování] dpro daný seznam znaků a jejich četností.
+*Vytvořte funkci která spočíta [https://en.wikipedia.org/wiki/Huffman_coding Huffmanovo kódování] pro daný seznam znaků a jejich četností.
 <div style="float: right"> [[File:Video logo.png|80px|link=https://youtu.be/HWYQZtbxMhc]]</div>

@@ Line 58: / Line 58: @@
 <div style="clear:both"></div>
-*Rozšiřte predchozí funkci tak aby přijímala výraz s libovolným počtem proměnných (počet proměnných bude zadán jako druhý).
+*Rozšiřte predchozí funkci tak aby přijímala výraz s libovolným počtem proměnných (počet proměnných bude zadán jako druhý parametr).
 <syntaxhighlight lang="Haskell">tablen :: Int -> ([Bool] -> Bool) -> IO ()</syntaxhighlight>

FP Laboratory 6/cs - Revision history

Beh01 at 08:07, 26 October 2023

Beh01: Created page with "== Doplňková cvičení == * Vytvořte funkci, která rozdělí seznam prvků na seznam seznamů pomocí zadaného oddělovače."

Fai0013 at 10:30, 20 October 2021

Fai0013 at 10:29, 20 October 2021

Fai0013 at 10:28, 20 October 2021

Fai0013 at 10:28, 20 October 2021

Fai0013 at 10:26, 20 October 2021

Fai0013: Created page with "== Komplexní funkce - Huffmanovo kódování == *Vytvořte funkci která spočíta [https://en.wikipedia.org/wiki/Huffman_coding Huffmanovo kódování] dpro daný seznam zna..."

Fai0013: Created page with "*Rozšiřte predchozí funkci tak aby přijímala výraz s libovolným počtem proměnných (počet proměnných bude zadán jako druhý)."

Fai0013: Created page with "== Operátory == *Definujte následující funkce které provádí příslušné logické operace: not', and', or', nand', xor', impl', equ' *Definujte 'standard..."

Fai0013: Created page with "== Operátory == Definujte následující funkce které provádí příslušné logické operace: `not', and', or', nand', xor', impl', equ'` Definujte 'standard..."