File:Tfpie2014 submission 10.pdf

From tfpie
Revision as of 14:11, 20 May 2014 by 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)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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/TimeDimensionsUserComment
current14: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.

There are no pages that link to this file.