有一種在看一份探討輪胎直徑與胎壓以及胎壁厚度之間關係的 paper 的 feel

哈哈，這句話太好笑了，中午看到你這句，我就爆笑出來了！

真的很感謝大師的補充，的確，我在寫 domain-specific error checking/report 時，只想到了 C++ 可以用 type system 去做 constraint ，卻忘了 metaprogramming 裡頭的 compiler time assertion 技巧可以補足這部份，看來我還不夠融入 C++ metaprogramming 的思維 : (

或許以後這種討論語言性質的文章，我都應該分兩篇，一篇講 general case ，一篇講 C++ ！畢竟 C++ 跟 compiler 是好朋友，很多問題，C++ 都可以拼出好幾組有趣的解法 : ) 好吧，那下一篇文章就是： C++ 在 DSL 的應用了！？