Skip to main content

Smalltalk Challenge: Post 3 - Awkward

After spending a short time in the Smalltalk (Squeak) environment, it's easy to understand how other existing languages at the time were not suited for realizing the full potential of the Dynabook. Working in a visual environment is a far-cry from working at a mainframe terminal. It's ironic though that some of the same issues that plague OO now are the same that held Smalltalk back in the 80's... it consumed a substantial amount of memory and the performance was not always optimal. For me, one of the issues is the awkwardness of Smalltalk's "everything is an object" philosophy.

I believe the "everything is a ___" mindset causes problems, regardless of what fills in the blank. In TCL, everything is a string. In LISP, everything is a list. In Smalltalk, everything is an object. The fact of the matter is not everything in the world is homogeneous. Some things are objects, others are numbers, and yet others are actions. Forcing everything into the same conceptual model forces the programmer to perform cognitive acrobatics.

Understanding the semantics behind a simple statement such as Transcript show: 'Hello World!' is easy; a Transcript window object is sent the message show:, which then responds by displaying the argument. But the semantics behind conditional code execution isn't so intuitive. Smalltalk doesn't have a dedicated if-construct, instead conditional execution is achieved by passing messages to Boolean objects, like so:
x > 0
    ifTrue: [Transcript show: 'Positive']
    ifFalse: [Transcript show 'Negative'].
The object represented by the variable x is sent the > message with the argument 0. x then compares its value with that of the argument and returns a Boolean object in response. If the value of x is a positive number then the resulting truth value of the returned object is true, otherwise the value is false. The ifTrue:ifFalse: message is sent to the implicit Boolean object providing two code block (which are also objects!) as arguments. All basic language constructs such as if-statements and while loops are abstracted as objects! While it does produce an appreciable amount of elegance and flexibility in the language, this thinking takes some getting used to.

There's a lot going on behind the scenes with an expression like 2 + 1 / 4 as well. A language like C will follow the rules of precedence stated by the mathematical order of operations. First 1 is divided by 4 which yields .25, and then 2 is added to .25 resulting in the final value 2.25. In Smalltalk, everything is an object which the programmer interacts with by sending messages. The literals 2, 1, and 4 are actually instances of SmallInteger objects. The + message is sent to 2 with an argument of 1, which responds by adding the value of the argument to its own value resulting in a value of 3. Then, the / message with the argument 4 is sent. The object responds by dividing its value by 4 which results in a final value of .75 for the expression.

Some things can easily be conceptualized as objects, such as windows, streams, and data structures, while it can be difficult to think of others as objects, such as text, integers, colors, and truth values. Over-personification and the perspective of the grammatical predicate/direct object performing actions is backwards of how we speak and how we think.

As awkward as the "everything is a" mindset it, I have to respect Kay for it. He intentionally adopted it so he and his team would be forced to think outside the box. Kay admits "we were actually trying for a qualitative shift in belief structures-- a new Kuhnian paradigm in the same spirit as the invention of the printing press-- and thus took highly extreme positions which almost forced these new styles to be invented." I can respect his effort and appreciate the elegant design it resulted in, but I can't expect an 8-year old to understand passing code blocks as arguments and why the order of operations is different on the computer than in the classroom.

Comments

Popular posts from this blog

Geolocation Search

Services that allow users to identify nearby points of interest continue to grow in popularity. I'm sure we're all familiar with social websites that let you search for the profiles of people near a postal code, or mobile applications that use geolocation to identify Thai restaurants within walking distance. It's surprisingly simple to implement such functionality, and in this post I will discuss how to do so.

The first step is to obtain the latitude and longitude coordinates of any locations you want to make searchable. In the restaurant scenario, you'd want the latitude and longitude of each eatery. In the social website scenario, you'd want to obtain a list of postal codes with their centroid latitude and longitude.

In general, postal code-based geolocation is a bad idea; their boundaries rarely form simple polygons, the area they cover vary in size, and are subject to change based on the whims of the postal service. But many times we find ourselves stuck on a c…

Reading Unicode (UTF-8) in C

In working on scanner code for Kiwi I did a bit of reading up on Unicode. It's not really as difficult as one might think parsing UTF-8 character by character in C. In the end I opted to use ICU so I could take advantage of its character class functions instead of rolling my own, but the by-hand method I thought was still worth sharing. Functions like getc() read in a byte from an input stream. ASCII was the predominant encoding scheme and encoded characters in 7-8 bits, so reading a byte was effectively the same as reading a character. But you can only represent 255 characters using 8 bits, far too little to represent all the characters of the world's languages. The most common Unicode scheme is UTF-8, is a multi-byte encoding scheme capable of representing over 2 million characters using 4 bytes or less. The 128 characters of 7-bit ASCII encoding scheme are encoded the same, the most-significant bit is always 0. Other characters can be encoded as multiple bytes but the mo…

Composing Music with PHP

I’m not an expert on probability theory, artificial intelligence, and machine learning. And even my Music 201 class from years ago has been long forgotten. But if you’ll indulge me for the next 10 minutes, I think you’ll find that even just a little knowledge can yield impressive results if creatively woven together. I’d like to share with you how to teach PHP to compose music. Here’s an example: You’re looking at a melody generated by PHP. It’s not the most memorable, but it’s not unpleasant either. And surprisingly, the code to generate such sequences is rather brief. So what’s going on? The script calculates a probability map of melodic intervals and applies a Markov process to generate a new sequence. In friendlier terms, musical data is analyzed by a script to learn which intervals make up pleasing melodies. It then creates a new composition by selecting pitches based on the possibilities it’s observed. . Standing on ShouldersComposition doesn’t happen in a vacuum. Bach was f…