A programming language in the genre of experimental language by Chris Pressey, Cat's Eye Technologies, ca Oct 3, 2009

Dieter (as in the German masculine given name Dieter, not dieter as in "one who diets") is a little experimental programming language that conflates type qualifiers with modules to produce something reminiscent of object-orientation. It demonstrates another way of thinking about objects, or rather, classes: not so much as aggregates of data as associations of predicates.

Dieter was intended as a way to make Hungarian notation part of the type system, and thus automatically checkable. However, it also suggests possible ways of dealing with the problems of aliasing — that is, determining if two pointers cannot possibly point to the same data, for safety and optimization considerations.

Sample Program

module beefy
  procedure beef_up(x: ♥t): beefy ♥t
    return (bestow beefy x)

Computational Class

believed Turing-complete

Programming Paradigms

Defined by in the Dieter distribution