[OT] On the Expressive Power of Programming Languages
Ola Fosheim Grøstad
ola.fosheim.grostad at gmail.com
Mon Nov 16 16:54:30 UTC 2020
On Monday, 16 November 2020 at 16:37:07 UTC, Steven Schveighoffer
> I enjoyed the talk and like the principles shown.
What are the principles?
> And the bar is pretty high. I don't know if there are many
> "expressive" features left to add to D if we go by this
> definition unless we go AST-macros.
Oh, there is a ton of stuff to add. Logic programming, idris/agda
like type system, an smt engine, verified concurrent actor
In reality, expressiveness is not the challenge, but bridging the
gap between modelling and implementation while ensuring
correctness and maintainability with little performance loss and
low labour costs...
More information about the Digitalmars-d