Changes between Initial Version and Version 2 of Ticket #78


Ignore:
Timestamp:
May 3, 2006 9:27:26 PM (9 years ago)
Author:
paolo
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #78

    • Property Keywords Type System added
    • Property Topic changed from misc to Systems
  • Ticket #78 – Description

    initial v2  
    11Type 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:
    22
    3 * Implementing the the haskell type, kind and module systems
    4 * Creating an interface with which the programmer can analyse his code using gtk2hs
    5 * Incorporating it in Yi
    6 * Time permitting, extending it to the ghc type system
     3 * Implementing the the haskell type, kind and module systems
     4 * Creating an interface with which the programmer can analyse his code using gtk2hs
     5 * Incorporating it in Yi
     6 * Time permitting, extending it to the ghc type system
     7
     8== Interested Mentors ==
     9 * ?
     10
     11== Interested Students ==
     12 * ?