3 ms·
Don't have the chance to watch the video but highly disagree with the title. Math as a language is just a DSL which carries a lot of historical burden that is
by cttet 8y ago
Don't have the chance to watch the video but highly disagree with the title.
Math as a language is just a DSL which carries a lot of historical burden that is not friendly at all.
Programming languages can achieve same level of abstraction with more clarity. Math instead added too much specific syntactic sugar(bad is multiply(b, a, d), log a is log(10, a) or log(e, a)), operator overload (/ for divide and dy/dx for differentiation operator, same grammar for scalar and matrix multiplication, one of which is communicative while the other is not), and complicated design (integral would be much clearer if we write integrate(target=ax, over=x, from=0, to=10) instead of the original one).
- wodenokoto 8y agoThe talk is about TLA+, which is somehow not a programming language, yet you follow a syntax and describe algorithms and then I'm not sure what happens. Maybe you prove your algorithms and call it a day, or maybe you can ask your program to run it, like an external dependency. It's very unclear how TLA+ is neither programming or how it fits in with your programming. But he is not asking you to do normal math notation.
- pron 8y ago> Maybe you prove your algorithms and call it a day You can do that, or check it with a model checker (which is much easier). Either way, you verify your algorithm rather than "run" it (although the model checker lets you simulate or "run" a random execution).