June 12, 2020

I see what you mean

Youtube

Speaker

Peter Alvado, UC Professor

Thoughts

Very nice presentation about declarative programming language.

Quotes

"Abstraction is sometimes harmful"

Operational semantics: the meaning of a program is what it does

Model-theoretic semantics: the meaning of a program is the databases that make it true

What we want: Programs that are resilient to failure and tolerant of loose ordering

Why it is so hard: Too many possible behaviors.

Recommendations

  1. Meanings are data representing outcomes. Outcomes are independent of execution order.

Tags: software