Ameisen (Aufgabe)

1. Ameise darf nur auf leeres Nachbarfeld laufen.

• Transaktionen für: Feld verlassen, Feld betreten

2. Ameise soll ein zufälliges solches Nachbarfeld betreten.

• Welcher Fehler ist in folgendem Ansatz?

walk :: World -> Ant -> IO ()
walk w a = do
    d <- random ( 0, 7 )
    atomically $ do
        a läuft_in_Richtung d