**The Game**

Inspired by Socrates' winning goal for the Greeks, I've recently been considering a more purely symbolic, mathematical form of python. After having seen the concept of Chinese Python and playing around with APL a little, I had the eureka shot of applying mathematical symbols to the language itself. In homage to the spirit of python, I shall name this symbolic python:

*Socrates*.

**Ground Rules**

A principle we have in Socrates for substituting mathematical symbols for python keywords and built-ins is that the correspondence should be one-to-one, non-overlapping, automated, and invertible. By one-to-one we mean there should be one and only one unique Unicode symbol for each keyword. By non-overlapping, we mean that the character should not overlap any current python usage, which means we cannot use any of the existing python character set, it must be separate and distinct from any ASCII characters. By automated, we mean that an automatic conversion routine should exist to convert between existing python keywords and symbolic keywords. By invertible, we mean that we should be able to go from existing keywords to symbolic keywords, and back again, without limitation.

**Why Python?**

Python is an ideal source language for Socrates experimentation. It is noted for its clarity and lack of extraneous punctuation and grouping characters, making it ideally suited to symbolic enhancement. It also offers advantages in mapping mathematical equations and algorithms to source code, with native support for complex numbers and its powerful splice notation. In addition, creating a dialect of python using symbols for keywords is much more efficient than creating a language from scratch, taking advantage of the large installed base and library set of the language. This makes python an ideal environment for symbolic expression.

**What This Proposal Is NOT**

Socrates is not a request to change the Python language. It is not something that requires altering the Cpython source code. It is simply an overlay, if you will, a filter, a viewport, a different way of seeing the exact same code. A preprocessor or better yet an editor or IDE should be able to take Socrates and transform it into standard python for compilation and evaluation. Likewise, standard python coming into an editor, IDE, or debugger should be substitutable with Socrates automatically. Now this gets a little interesting when you try to involve the exec, compile, eval, and execfile functions, they could be overridden to do the symbol transformation through the inclusion of a import statement for a symbol python module, tricky with exec, or we could just leave that out of scope. Generally Socrates should be completely transparent to the interpreter and all libraries. Only an end-user will ever see any difference.

**Steps for Ease of Programming**

Socrates aims to be easy for the programmer. One of the things that plagued APL was the difficulty of directly entering a large character set. With graphical UIs and emacs or vi escape codes it's not especially difficult these days to enter special characters. However, programmers like to type fast when they're in the zone and don't want to have to remember even more special sequences than they already do. Thus I think the easiest way to implement symbol python from an editor perspective is to have active-replace as you type, so you can type standard python and the symbolic characters will automatically be exchanged with standard ones. For instance, you start typing "if" and then after you have a space the if gets magically replaced by "→" character. This can be implemented in many IDEs and is quite readily implemented on the web in javascript as well. Likewise, Socrates can be more readily understood when you can hover with the mouse, or caret in an editor, and the standard python for the symbol pops up after a short interval for easy interpretation.

**Keyword Sources**

The official list of python keywords is maintained and defined in the Python Reference Document. The keyword list for the python, although version dependent as I'm using 2.6.1, can easily be obtained through the following short program:

import keyword

print keyword.kwlist

Given this list, we can construct a symbol table mapping from the keywords to equivalent international mathematical symbols. Some mappings are quite obvious, such as logical "and" being the "∧" symbol. Others are more arbitrary and inexact, such as "while" mapping to "∃", which doesn't really mean exactly what the exists symbol does in formal logic. In this regard what we are doing is similar to when mathematical symbols are applied across different fields, whereby a symbol may have a related but not identical meaning. For instance, the symbol for arithmetic mean,"|…|", can also be used for set cardinality.

For the list of Unicode supported special characters I've used the Table of Mathematical Symbols, Greek Letters in Mathematics, and Table of Logic Symbols, all at Wikipedia. This should display properly in your browser if you have Unicode enabled, which most browsers these days have by default.

**Keyword Mapping**

Each symbol listed below has standard python, the selected symbol, and rationale for the symbol selection. This list is somewhat arbitrary, and not necessarily the best or ideal mapping, so if you have better recommendations let me know.

Keyword | Symbol | Rationale |
---|---|---|

Expressions | ||

and | ∧ | From formal logic |

or | ∨ | From formal logic |

not | ¬ | From formal logic |

in | ∈ | Element exists in list, as in set theory |

not in | ∉ | Negation of exists in |

is | ≡ | Congruence, is the same object |

is not | ≅ | Not technically correct since this is isomorphism, more a mnemonic |

None | ∅ | Empty set |

Multi-Arg Expressions | ||

if | → | As in formal logic, except before the statement as in python syntax |

else | … | Ellipsis, actually its own character not three dots |

lambda | λ | Not purely symbolic since it's Greek, but can't really be anything else |

Simple Statements | ||

assert | ⇔ | Iff: the statement is true if and only iff the following is true |

pass | □ | QED, this expression is done, go to the next one |

del | ↓ | Drop the following from memory, from the Webb operator |

‣ | Alternative form of QED, the output as result | |

return | ↑ | Function return, those of you old enough may remember this from Smalltalk |

yield | ← | Return for generator functions |

raise | ⇈ | Like function return, but with two arrows |

break | ⊗ | Tensor, but looks like a breakpoint |

continue | ⊕ | XOR, but we're using it like a graphical breakpoint continuation |

import | ∪ | Union the existing module list with this module |

as | ≐ | Alternative form of "definition" |

from | ⊂ | From a subset of this module, perform an import |

global | Γ | Include this in the "modular group" of all variable definitions |

exec | Φ | The work function in physics, similar to the APL execute symbol |

Compound Statements | ||

elif | ⇒ | Different notation for "if" to distinguish from "→" |

while | ∃ | While the true condition exists, execute the body |

for | ∀ | For all elements of the list, execute the body |

try | ⊤ | Top statement - try this statement first |

except | ⊥ | For something raised "independent" of the execution path |

finally | ⊧ | Because every evaluation "entails" the following statement |

with | ⊢ | "Infer" the following in order to execute the statement below |

def | ↦ | Function definition, although this is in front of the function name |

class | ∘ | Function composition, although in front, and more a set than a composition of functions |

**Examples**

Let's see what this looks like in practice for some small sample programs. Here's the Fibonacci sequence in Socrates:

↦ fib(n): → n == 0: ↑ 0 ⇒ n == 1: ↑ 1 …: ↑ fib(n-1) + fib(n-2)

Let's try this with the 8-Queens problem from the Python Wiki, which demonstrates many of the symbols in a longer program:

BOARD_SIZE = 8 ∘ BailOut(Exception): □ ↦ validate(queens): left = right = col = queens[-1] ∀ r ∈ reversed(queens[:-1]): left, right = left-1, right+1 → r ∈ (left, col, right): ⇈ BailOut ↦ add_queen(queens): ∀ i ∈ range(BOARD_SIZE): test_queens = queens + [i] ⊤: validate(test_queens) → len(test_queens) == BOARD_SIZE: ↑ test_queens …: ↑ add_queen(test_queens) ⊥ BailOut: □ ⇈ BailOut queens = add_queen([]) ‣ queens ‣ "\n".join(". "*q + "Q " + ". "*(BOARD_SIZE-q-1) ∀ q ∈ queens)

**Where Do We Go From Here?**

Mostly I did Socrates as a Gedankenexperiment, a thought exercise for those of you whose German is rusty, just to see what it would look like and to go through the task of considering mathematical modeling of programming functions. Some of the symbols I'm happy with, some I'm not to fond of, it could use some refinement. If anyone would like I can attempt a mapping of the built-in functions next, and maybe a python conversion routine, some editor macros and javascript transformation functions. We'll see if anyone is interested or it's just my own pet eccentricity.

So you've changed Python to a non-ASCII syntax. What does this make easier? What problems does it help prevent?

ReplyDeleteThis is fun and interesting! Ignore the haters.

ReplyDeleteWhat about a python program that does the conversion automatically?

2007 called, they want their April Fools' joke back (aka PEP 3117).

ReplyDeleteInteresting... from the zen of python

ReplyDeleteReadability counts.

For people who aren't versed in math this is going to be problematic.

I wouldn't wish this language on my worst enemy. It is fun to look at though!

ReplyDeleteAt first glance, this looked like trouble.

ReplyDeleteHowever, I am a native English (American?!)

speaker, and an avid Pythonista.

Then I looked at Chinese Python, and

realized that Socrates could serve as

the foundation of a "lingua Franca"

version of Python, so that any other

version (English, Chinese, etc.) could

be translated to and from.

If Chinese Python is useful (to +-20%

of the Earth's population), Socrates

could prove very handy indeed!

Great Work, after reading this post I felt comfortable with this post thank you very much...........................Just Click Here to learn More Information about Oracle Coaching.

ReplyDelete