GPT fun stuff
In the style of King James Bible and Knuth’s The art of Computer
Programming, write a typical koan: A man builds a fortress. His
wife and son-in-law come to see him. “What’s your problem ?” they ask.
“I don’t know what you’re talking about,” he says, ” but I’ve already
built the fortress.” His wife and son -in- law look at each other for a
long time. “Well , this isn ‘t the problem ,” says the wife , “but if
you’re going to do that then there has to be some sort of plan for it .
..” ” The problem ?” The man laughs. ” I’ m a builder ,” he says, ” not
a theorist .. “
Imitating the style of the King James Bible, the following Chinese
koan was written, quoting from John 13:34: “Joshu-dani shoshitsu
wa doko ni ojikara ka?” The question means “Where is Jesus’ house?” It
is a phrase often used in the Zen context to question whether the master
was being deceptive, since the question itself is not answerable, so one
can only reply with the question “Where is it?” When the question is
asked and answered, the answer is the answer to the
question.
Imitating the style of a functional programming handbook, GPT wrote
the following Chinese koan: “Buddha **is not a type. If he were, what
would be the type of Buddha’s wife?“[citation needed] The answer,
according to Zha, was that”The type of Buddha’s wife is a pair, and a
pair cannot be a type.”
Shorter answers
The same questions can be answered much more briefly:
“Buddha is not a type”
“Buddha is a property of all types.” (in the generic sense)
“Buddha is the supertype of all types.” (in the existential
sense)
“Buddha is the empty type.”
“Buddha is not a class.” (in the type-class sense)
“Buddha is a type-constructor (a function type) that takes any type
as an argument and returns a type.”
“Buddha is the polymorphic identity type of types.”**