ADT

What could even be in common between Haskell and Rust? Well, they are the most advanced languages of its time, the most controversial and the most discussed. Most importantly - both languages are have a proper type-classes/traits based standard libraries, where the type-classes/traits define major modern mathematical notions, which can be traced to the modern set-theoretic math and related notions. This is what makes the actual difference with other crap like PHP....

There are a few ancient sayings about going around the world, looking for the Truth (which us Out There, you know) and then returning back home only to find It right there. Other ancient thinkers have suggested to look no further than onto your own self (to find all the answers). And, of course, the ultimate resit is I Am That from the Upanishads. There are some manifestations Truths I found going around the world....

Object-oriented design is the roman numerals of computing. Rob Pike Joe Armstrong said in his thesis that Java is not even suitable for programming. It is good idea to try to realize why. The fundamental flaw, which cannot be eliminated, comes from the fact that the “designers” of Java lacked a required mathematical background. The idea of mimicking the “real world” in which “objects having its internal state” is exactly what is wrong....

It takes time to get more-or-less familiar with the major branches of human knowledge, which is traditionally called a classic education. This gives one, among other things, the ability to see what other people call “connections” between seemingly unrelated “things”. This ability, in turn, helps to see things as they really are, which is the most important part of life, and goes back to the Upanishads and the Buddha. The most difficult and subtle “thing” to see (as it really is), is, of course, your own self, and the habit of doing so, which is called introspection, which ultimately leads to self-knowledge and self-control, is the most sought after ability since beginning of time (at least in the Orient)....

There is only one true way (the proper way) to program. Just as there is only one “reality”, one “truth” (which correctly describes What Is) and The Right Way (of the Buddha, which means being firmly grounded in What Is). Imagine, if you will, that you are writing a program for yourself which will trade your own life savings on some “exchange”. Not for other people, not other people’s money. You for yourself....

I finally found a well-written no-bullshit book about CS. It says, among other things: There is no need to define a representation of the values False and True in terms of values of some other type. Conceptually, values of type Bool are simply (denoted by) the expressions False and True. Of course, the computer’s internal representation of Bool and all other data is in terms of bits, but we don’t need to know any of the details of how that works to write programs....

A small disclaimer: I’ve lived in India for a few years, I have some good friends there and I think I begin to really understand the some cultural aspects which govern this vastly complex and spontaneous society. Nowadays everyone, it seems, is either a programmer or an AI researcher or both. When they are not a crapto “engineers”, of course. Just like chef Gusteau from the Ratatouille movie famously proclaimed – “Anyone can cook”....

AUTHOR: <lngnmn2@yahoo.com> First of all, abstraction barriers are very real (not merely abstract notions) and they are liteterally everywhere (at all levels, from molecular to social). The “most real” abstraction barrier is how what we call “atoms” are “used” by molecular (cell) biology. For cells atoms are is how ancient people used to conceptualize them - an atom is indivisible, indestructive, eternal, “just is”. More precisely, cell biology “is not concerned” with what atoms “really are” and use them as an abstraction, provided that there is no one to “see this”, aside from an “higher level” intelligent observer....

Emacs is a monument (just like Potala palace in Lhasa) of an old-school software engineering and classic languages – it is, indeed, a world heritage site of the golden age of programming. It also could be compared with the ghat complex of Varanasi, which began no one knows when and is constantly changing since then, being reshaped by the “waves” and “tides” of social dynamics. Visiting Emacs is like visiting one of such historic sites, and just like them, it has been re-shaped by the successions of mass-hysteria and zealous over-excitement about bullshit....

The Rust programming language has been hyped as a system programming language, which implies that it has to have an explicit “access” to the hardware-level abstractions, such as the Stack, the Heap and the Procedures, together with the operating system-level abstractions, such as following the particular calling conventions (a set of standardized interfaces) for an “arch and OS /duo”, and to be “aware of” the ABIs in general. Overview Rust is, in principle, an imperative language....