William J. Bowman. The 2025 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) – Invited Talk.
Abstract:
"The is-ought gap is a problem in moral philosophy observing that ethical judgments ("ought") cannot be grounded purely in truth judgments ("is"): that an ought cannot be derived from an is.
This gap renders the following argument invalid: "It is true that type safe languages prevent bugs and that bugs cause harm, therefore you ought to write in type safe languages".
To validate ethical claims, we must bridge the gap between is and ought with some ethical axiom, such as "I believe one ought not cause harm".
But what do ethics have to do with manipulating programs?
A lot!
Ethics are central to correctness!
For example, suppose an algorithm infers the type of is Bool, and is in fact a Bool; the program type checks.
Is the program correct-does it behave as it ought?
We cannot answer this without some ethical axioms: what does the programmer believe ought to be?
I believe one ought to design and implement languages ethically.
We must give the programmer the ability to express their ethics-their values and beliefs about a program-in addition to mere computational content, and build tools that respect the distinction between is and ought.
This paper is a guide to ethical language design and implementation possibilities."
matt_d•7mo ago
DOI: https://doi.org/10.1145/3704253.3706135
William J. Bowman. The 2025 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) – Invited Talk.
Abstract:
"The is-ought gap is a problem in moral philosophy observing that ethical judgments ("ought") cannot be grounded purely in truth judgments ("is"): that an ought cannot be derived from an is.
This gap renders the following argument invalid: "It is true that type safe languages prevent bugs and that bugs cause harm, therefore you ought to write in type safe languages".
To validate ethical claims, we must bridge the gap between is and ought with some ethical axiom, such as "I believe one ought not cause harm".
But what do ethics have to do with manipulating programs?
A lot!
Ethics are central to correctness!
For example, suppose an algorithm infers the type of is Bool, and is in fact a Bool; the program type checks.
Is the program correct-does it behave as it ought?
We cannot answer this without some ethical axioms: what does the programmer believe ought to be?
I believe one ought to design and implement languages ethically.
We must give the programmer the ability to express their ethics-their values and beliefs about a program-in addition to mere computational content, and build tools that respect the distinction between is and ought.
This paper is a guide to ethical language design and implementation possibilities."