News for hackers. Stuff that matters.

A comment on Typed, modular macros for OCaml. Parent comment

Re:Typed, modular macros for OCaml by junke on Sunday November 27, 2016 @03:04AM (#13048255)
Why just type errors? You might want to trace any error that occurs at runtime back to the original source code anyway.
[ Parent | on HN ]
Re:Typed, modular macros for OCaml by sordina on Monday November 28, 2016 @07:02AM (#13054863)
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".
[ Parent | on HN ]