Opened 12 years ago

Last modified 12 years ago

#78 new proposed-project

Graphical type analysis

Reported by: palomer Owned by: none
Priority: Keywords: Type System
Cc: Difficulty: 1 person Summer
Mentor: not-accepted Topic: Systems

Description (last modified by palomer)

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 <dons@…>

Interested Students

  • Jacques Le Normand <jlenor1@…>

Change History (5)

comment:1 Changed 12 years ago by palomer

Keywords: Type System added

comment:2 Changed 12 years ago by paolo

Description: modified (diff)
Topic: miscSystems

comment:3 Changed 12 years ago by palomer

Description: modified (diff)

comment:4 Changed 12 years ago by palomer

Description: modified (diff)

comment:5 Changed 12 years ago by palomer

Description: modified (diff)
Note: See TracTickets for help on using tickets.