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
From twitter @cwgem Sublime Text 2 is written in C++, with some Objective C for Cocoa integration, and Python for plugins
Pratt & Whitney, purveyors of jet engines for civilian and military applications, did a study on this many years ago, without actually intending to do the study. They went on the same metrics kick everyone else went on in the 1990s. They collected a bunch of data about their jet engine controller projects, including timecard … Read more
Normally, the specific variable names that we chose in the lambda calculus are meaningless – a function of x is the same thing as a function of a or b or c. In other words: (λx.(λy.yx)) is equivalent to (λa.(λb.ba)) – renaming x to a and y to b does not change anything. From this, … Read more
Erlang was designed for use in Telecommunication systems, where high-rel is fundamental. I think they have standard methodology for building sets of communicating processes in which failures can be gracefully handled. ERLANG is a concurrent functional language, well suited for distributed, highly concurrent and fault-tolerant software. An important part of Erlang is its support for … Read more
Bah – I can crash C in 5 characters: main; This declares an implicit int variable called ‘main’. It’s global so the variable has an initial value of 0. It’s C the names aren’t decorated – so the linker doesn’t realize that it’s a var and not a function. GCC gave me a warning – … Read more
I’ve never personally encountered a stack overflow that wasn’t caused by infinite recursion. In these cases, a dynamic stack size wouldn’t help, it would just take a little longer to run out of memory.
Lists of keywords in … ANSI COBOL 85: 357 SystemVerilog: 250 + 73 reserved system functions = 323 VHDL 2008: 115 reserved words C#: 79 + 23 contextual = 102 F#: 64 + 8 from ocaml + 26 future = 98 C++: 82 Dart: 54 Java: 50 (48 without unused keywords const and goto) PHP: … Read more