4 ms·
Excellent article, very clever optimizations given the tradeoffs. From the article: > We were talking about students' tendency to let the compiler substitute f
by jallmann 11y ago
Excellent article, very clever optimizations given the tradeoffs. From the article:
> We were talking about students' tendency to let the compiler substitute for thinking
This is actually why I use OCaml. Not going to comment on whether useful error messages are a detriment to pedagogy, but offloading thinking to the compiler is a lifesaver.
- mercurial 11y agoDefinitely. It doesn't prevent, say, off-by-one errors (and in general, errors when you manipulate several items of the same type), but if you structure your program correctly, you can be very confident about your code. Though OCaml's errors are not always the most explicit or nicely written.