%TOC%

On this page we place some Haskell Modules that have been referred to in the course:

---+++ The calendar program

The file  [[%ATTACHURL%/Calendar.hs][Calendar.hs]] contains the full code of the calendar program.

---+++ An extremely simplistic Prolog-like interpreter

The package =nanoprolog= contains a simplistic Prolog interpreter which you can study. It is a bit more involved than the one dealt with in the lecture notes; it provides a bit more information about the whole backtracking process. You can install it as follows:
<verbatim>
cabal install nanoprolog
</verbatim>
You can run it on one of the attached files:
   * [[%ATTACHURL%/tc.pro][tc.pro]]
   * [[%ATTACHURL%/royals.pro][royals.pro]]
as:<verbatim>
doaitse$nanoprolog
File with rules?
tc.pro
wellTyped(map, ((A) -> B) -> ([A]) -> [B]).
wellTyped(foldr, ((A) -> (B) -> B) -> (B) -> ([A]) -> B).
wellTyped(ap(F, V), A):-wellTyped(F, (B) -> A), wellTyped(V, B).
goal? 
wellTyped(ap(map,map),X)
0 wellTyped(ap(map, map), ([(A0.2) -> B0.2]) -> [([A0.2]) -> [B0.2]]):-wellTyped(map, (((A0.2) -> B0.2) -> ([A0.2]) -> [B0.2]) -> ([(A0.2) -> B0.2]) -> [([A0.2]) -> [B0.2]]), wellTyped(map, ((A0.2) -> B0.2) -> ([A0.2]) -> [B0.2]).
0.1 wellTyped(map, (((A0.2) -> B0.2) -> ([A0.2]) -> [B0.2]) -> ([(A0.2) -> B0.2]) -> [([A0.2]) -> [B0.2]]).
0.2 wellTyped(map, ((A0.2) -> B0.2) -> ([A0.2]) -> [B0.2]).
substitution: X <- ([(A0.2) -> B0.2]) -> [([A0.2]) -> [B0.2]]

goal? 
quit
*Main> 
</verbatim>
<!--

   * [[%ATTACHURL%/Calendar.hs][Calendar.hs]]
   * [[%ATTACHURL%/Balls.hs][Balls.hs]] (Bouncing Balls)
   * [[%ATTACHURL%/Screenshots.hs][Screenshots.hs]] Voorbeelden van layout combinators
   * [[%ATTACHURL%/PocketCalculators.hs][PocketCalculators.hs]]: 

-->
---+++ An Extremely Simplistic Parsing Library and its Use in a Series of Pocketcalculators

   * [[%ATTACHURL%/TooSimpleParseLib.hs][TooSimpleParseLib.hs]]: Parsing library as defined in the lecture notes
   * [[%ATTACHURL%/PocketCalculators.hs][PocketCalculators.hs]]

---+++ The current version of the Asteroids shooting game
   * [[%ATTACHURL%/asteroids-fixed.zip][asteroids.zip]]

Topic attachments
I	Attachment	Action	Size	Date	Who
hs	Calendar.hs	manage	3.0 K	23 Nov 2010 - 11:21	DoaitseSwierstra
zip	asteroids-fixed.zip	manage	7806.5 K	16 Oct 2012 - 20:33	DoaitseSwierstra
pro	royals.pro	manage	0.5 K	23 Oct 2012 - 13:39	DoaitseSwierstra
pro	tc.pro	manage	0.1 K	23 Oct 2012 - 13:39	DoaitseSwierstra