id	summary	reporter	owner	description	type	status	priority	resolution	keywords	cc	topic	difficulty	mentor
78	Graphical type analysis	palomer	none	"Type errors can be frustrating to beginner and intermediate programmers in haskell. Indeed, with its powerful type system and baffling compiler output, finding type errors for programs compiled in ghc can be a task which can be extremely tedious and time consuming. As a teaching assistant, I have seen first hand the exasperation of students when trying to find their errors. I propose to let the programmer see which types have been assigned to what parts of the code graphically in Yi. A user would simply have to point to the piece of code he wants to scrutinise and all the type information would be instantly displayed. Furthermore, the exact location of the typing incongruities would be quickly displayed in red. This would involve:

 * Implementing the the haskell type, kind and module systems
 * Creating an interface with which the programmer can analyse his code using gtk2hs
 * Incorporating it in Yi
 * Time permitting, extending it to the ghc type system

== Interested Mentors ==
 * Dons Stewart <[mailto:dons@cse.unsw.edu.au]>

== Interested Students ==
 * Jacques Le Normand <[mailto:jlenor1@cs.mcgill.ca]>"	proposed-project	new			Type System		Systems	1 person Summer	not-accepted