4 ms·
All this proves is Turing's methodology is flawed. It ignores the primary question in a vain attempt to create an oddity. What good does it do for the "hints"
by freedude 4y ago
All this proves is Turing's methodology is flawed. It ignores the primary question in a vain attempt to create an oddity.
What good does it do for the "hints" to do the work of Python, Pascal, C++ or anything else for that matter?
It does "hints". Does it do "hints" well? If yes, then it provides value.
- rcfox 4y agoNobody (okay, mostly nobody) is saying, "We should do computation in the type system!" I think it's more: "Watch out, you could create types that never resolve."
- OriRoth 4y agoExactly. Although, I would add that type level computations definitely can be used to perform useful metaprogramming tasks, such as embedding domain-specific languages or enforcing API protocols at compile time. I show some examples in my other papers. You can also check out my blog post: https://blog.sigplan.org/2021/03/02/fluent-api-practice-and-theory/ https://blog.sigplan.org/2021/03/02/fluent-api-practice-and-...