Why just type errors? You might want to trace any error that occurs at runtime b... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

junke on Nov 27, 2016 | parent | context | favorite | on: Typed, modular macros for OCaml

Why just type errors? You might want to trace any error that occurs at runtime back to the original source code anyway.

sordina on Nov 28, 2016 [–]

I agree, you may wish to do that but I was answering the question "What is the utility of typed-templates", not "contrast type and runtime error tradeoffs".

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact