File:Tfpie2014 submission 10.pdf
Tfpie2014_submission_10.pdf (file size: 146 KB, MIME type: application/pdf)
A type debugger interactively detects the expression which causes a type error. It asks users whether they intend the types of identifiers to be those that the compiler inferred. However, it seems that novice programmers using type debugger often get in trouble with conceiving the solutions of the type errors. In this paper, we analyze the user testing of type debugger and extend it. Furthermore, we also introduce language levels to OCaml by editing the parser. At last, this paper shows some example of error-logs which we think difficult to explain the sources of the type errors. The target of the user testing is 40 novice students belong to the department of information science, Ochanomizu University.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 14:11, 20 May 2014 | (146 KB) | Peter88 (talk | contribs) | A type debugger interactively detects the expression which causes a type error. It asks users whether they intend the types of identifiers to be those that the compiler inferred. However, it seems that novice programmers using type debugger often get in t |
You cannot overwrite this file.
File usage
There are no pages that use this file.