PLMW 2016
Sun 18 Sep 2016 Nara, Japan
co-located with ICFP 2016
Sun 18 Sep 2016 17:00 - 17:30 at Conference Room 5 - 5 Chair(s): Atsushi Igarashi

It is not always easy to correct a type error especially for novice programmers. When a type error occurs, the compiler shows a type error message, but often, it does not show the true cause of the type error. Why? Because it is impossible in general. Without knowing the intention of the programmer, the compiler cannot choose a single cause among multiple possible causes of the type error.

To locate the true cause of a type error, we have built an interactive type debugger for OCaml that incorporates programmer’s intention. When a type error occurs, the type debugger asks a series of questions to the programmer. By correctly answering these questions, we are lead to the true source of the type error.

In this talk, I will first introduce the principle of the type debugger and show how a simple but crucial idea leads to a practicable type debugger. I then describe requirements and challenges for such a tool to be effective in the real use cases, such as in a classroom.

(plmw16.pdf)1.2MiB

Sun 18 Sep

PLMW-ICFP-2016
17:00 - 18:00: PLMW - 5 at Conference Room 5
Chair(s): Atsushi Igarashi
PLMW-ICFP-2016147421080000017:00 - 17:30
Talk
File Attached
PLMW-ICFP-2016147421260000017:30 - 18:00
Talk