"Key features of the Julia language": I would add the Package Manager (pkg) and dependency specification in general. It's much superior to R (no package manager) and Python (multiple competing standards and confusing dev environment).
One point that enables all of these specific ecosystems in Julia is that the advanced metaprogramming and codegen enables users of packages to code in a more declarative rather than imperative style (alluded to in JuMP section). Helps with long term maintenance and the code more self-documenting than imperative programs.
"ACT was originally applied to composing ordinary and delay differential equation models, as well as difference equation models." I didn't follow this, I think category theory's first applications outside of pure maths or very theoretical CS was in knowledge representation rather than dynamical systems (ologs, algebraic databases, etc). I'd have to hunt for references though.
In the 2nd to last paragraph, "cohesive epidemiology metapackage that provides domain-specific abstractions for common IDM patterns" - I didn't really follow, what would such a package be for? Simulation, optimization, inference, data mgmt...all of the above at once? Is that possible? What problems would that solve?
Also in the 2nd to last paragraph, I'd add education and outreach as a clear priority area.
"Key features of the Julia language": I would add the Package Manager (pkg) and dependency specification in general. It's much superior to R (no package manager) and Python (multiple competing standards and confusing dev environment).
One point that enables all of these specific ecosystems in Julia is that the advanced metaprogramming and codegen enables users of packages to code in a more declarative rather than imperative style (alluded to in JuMP section). Helps with long term maintenance and the code more self-documenting than imperative programs.
"ACT was originally applied to composing ordinary and delay differential equation models, as well as difference equation models." I didn't follow this, I think category theory's first applications outside of pure maths or very theoretical CS was in knowledge representation rather than dynamical systems (ologs, algebraic databases, etc). I'd have to hunt for references though.
In the 2nd to last paragraph, "cohesive epidemiology metapackage that provides domain-specific abstractions for common IDM patterns" - I didn't really follow, what would such a package be for? Simulation, optimization, inference, data mgmt...all of the above at once? Is that possible? What problems would that solve?
Also in the 2nd to last paragraph, I'd add education and outreach as a clear priority area.