Yes, they’re just general terms. It’s to do with abstraction, and how close you are to what the computer’s actually doing. Here’s a list of programming languages ranging from very low to very high level: Machine Code could probably be considered the lowest level programming language. Assembly language is at the level of telling the … Read more
I’d suggest two paradigm shifts: Software Transactional Memory You may want to take a look at the concept of Software Transactional Memory (STM). The idea is to use optimistic concurrency: any operation that runs in parallel to others try to complete its job in an isolated transaction; if at some point another transaction has been … Read more
Malbolge would be a good place to start. Every instruction is self-modifying, and it’s a lot of fun(*) to play with. (*) Disclaimer: May not actually be fun.
Types determine the granularity of composition, i.e. of extensibility. For example, an interface, e.g. Comparable, that combines (thus conflates) equality and relational operators. Thus it is impossible to compose on just one of the equality or relational interface. In general, the substitution principle of inheritance is undecidable. Russell’s paradox implies that any set that is … Read more
Not a full answer, but a bit more info: “The on-board Apollo Guidance Computer (AGC) was about 1 cubic foot with 2K of 16-bit RAM and 36K of hard-wired core-rope memory with copper wires threaded or not threaded through tiny magnetic cores. The 16-bit words were generally 14 bits of data (or two op-codes), 1 … Read more
There’s a Haskell (GHC) backend targeting the LLVM. You could also try using F# through Mono-LLVM. Also, the VMKit project is implementing both the JVM and the .NET CLI on top of LLVM; it’s still in its early stages but once it matures you could use it with F#, or any JVM-targeting functional languages (Scala, … Read more
Google is working on noop as a language (OOP, Java-based) created to produce code that is always testable. Noop is a new language that will run on the Java Virtual Machine, and in source form will look similar to Java. The goal is to build dependency injection and testability into the language from the beginning, … Read more
Perl Perl has built-in Unicode support, mostly. Sort of. From perldoc: perlunitut – Tutorial on using Unicode in Perl. Largely teaches in absolute terms about what you should and should not do as far as Unicode. Covers basics. perlunifaq – Frequently asked questions about Unicode in Perl. perluniintro – Introduction to Unicode in Perl. Less … Read more
From twitter @cwgem Sublime Text 2 is written in C++, with some Objective C for Cocoa integration, and Python for plugins
Definitions for Object-Orientation are of course a huge can of worms, but here are my 2 cents: To me, Object-Orientation is all about objects that collaborate by sending messages. That is, to me, the single most important trait of an object-oriented language. If I had to put up an ordered list of all the features … Read more