Beh01 at 07:55, 22 November 2022

2022-11-22T07:55:57Z

Beh01: Created page with "== Monads == * In your prefered programming language, implement data type bubbleSort :: Array Int Int -> Array Int Int
2022-11-22T07:31:38Z

Created page with "== Monads == * In your prefered programming language, implement data type <syntaxhighlight lang="Haskell">bubbleSort :: Array Int Int -> Array Int Int</syntaxhighlight> <syn..."

New page
== Monads ==
* In your prefered programming language, implement data type
<syntaxhighlight lang="Haskell">bubbleSort :: Array Int Int -> Array Int Int</syntaxhighlight>
<syntaxhighlight lang="Haskell" class="myDark">
ghci> elems $ bubbleSort $ listArray (0,5) [8,4,9,6,7,1]
[1,4,6,7,8,9]
</syntaxhighlight>

<div class="mw-collapsible mw-collapsed" data-collapsetext="Hide solution" data-expandtext="Show solution">
<syntaxhighlight lang="Haskell">
import Data.Array
import Data.Array.ST
import Control.Monad

bubbleSort :: Array Int Int -> Array Int Int
bubbleSort myArray = runSTArray $ do
stArray <- thaw myArray
let end = (snd . bounds) myArray
forM_ [1 .. end] $ \i -> do
forM_ [0 .. (end - i)] $ \j -> do
val <- readArray stArray j
nextVal <- readArray stArray (j + 1)
let outOfOrder = val > nextVal
when outOfOrder $ do
writeArray stArray j nextVal
writeArray stArray (j + 1) val
return stArray
</syntaxhighlight>
</div>
<div style="clear:both"></div>

@@ Line 1: / Line 1: @@
 == Monads ==
-* In your prefered programming language, implement data type
+* In your prefered programming language, implement data type representing <code>Maybe</code>.
-<syntaxhighlight lang="Haskell">bubbleSort :: Array Int Int -> Array Int Int</syntaxhighlight>
+* Implement functions '''bind''' and '''return''' as it is defined for monads.
-<syntaxhighlight lang="Haskell" class="myDark">
+* Using implemented opertions, implement functions '''apply''' and '''fmap''' as it is define for <code>Applicative</code> and <code>Functor</code>.