Difference between revisions of "Video/Declarative vs Imperative Approach"
Jump to navigation
Jump to search
m (Text replacement - "{{#ev:youtube |" to "{{#widget:YouTube |id=") |
|||
| (4 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
<noinclude> | <noinclude> | ||
In this video, [[Bartosz Milewski|Milewski]] stated Category Theory's notation and its compositional rules allow mathematicians to think declaratively, vs. imperative reason that relies on algorithmic sequences. This observation helps to construct ideas that can be best shown in the following | In this video, [[Bartosz Milewski|Milewski]] stated Category Theory's notation and its compositional rules allow mathematicians to think declaratively, vs. imperative reason that relies on algorithmic sequences. This observation helps to construct ideas that can be best shown in the following table: | ||
{{:Table/Declarative vs. Imperative}} | |||
The critical insight that must be noted is that [[Bartosz Milewski|Milewski]] presented a mental model by giving examples in physics, particularly mentioning [[Richard Feyman]]'s realization of the fact that [[delcarative reasoning]] can be applied to solve many problems. Specifically, the notion of [[Stationary Action Principle]]/[[Principle of Least Action]] is in fact a style pf [[declarative reasoning]]. | |||
</noinclude> | </noinclude> | ||
{{# | {{#widget:YouTube | ||
|https://youtu.be/3XTQSx1A3x8 | |id=https://youtu.be/3XTQSx1A3x8 | ||
}} | }} | ||
Latest revision as of 14:15, 26 August 2022
In this video, Milewski stated Category Theory's notation and its compositional rules allow mathematicians to think declaratively, vs. imperative reason that relies on algorithmic sequences. This observation helps to construct ideas that can be best shown in the following table:
| Concepts\Programming Style | Imperative | Declarative |
|---|---|---|
| Mathematical Semantics | Algorithmic Sequence | Category Theory |
| Scopes | Local | Global |
| Scientific Doctrines | Classical Physics | Quantum Physics |
| Scientific Doctrines | Action-Reaction | Stationary Action Principle |
| Analytical Modeling | Newtonian Mechanics | Lagrangian Mechanics |
| Infrastructure Automation | Ansible | Terraform |
The critical insight that must be noted is that Milewski presented a mental model by giving examples in physics, particularly mentioning Richard Feyman's realization of the fact that delcarative reasoning can be applied to solve many problems. Specifically, the notion of Stationary Action Principle/Principle of Least Action is in fact a style pf declarative reasoning.