sigmoid.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A social space for people researching, working with, or just interested in AI!

Server stats:

596
active users

#compilers

4 posts4 participants0 posts today

"Church [1941] developed the λ-calculus, a "programming language" of nested functions that can be passed as arguments and returned as results. He was hampered by having no machines to compile for."
(Appel, Modern Compiler Implementation in ML, p.341) #compilers are #mathematics

Continued thread

quote: "Compilers, when perfected, can be elegant to the point that you want to paste a printed listing on your wall, like artwork. Ok, so you have to be into writing compilers to get my meaning, but when your compiler works, you are very proud and want to show it off. "

Feeling this! Also, feeling an urge to start a #compilers are #mathematics collection of quotes.

now reading: Retrospective on High-Level Language Computer Architecture [Ditzel and Patterson 1980]: a summary of failed design approaches for

- reduction of the semantic gap between programming and machine languages
- reduction of software development costs
- aesthetics ("esoteric")
[High-level language computers] are aesthetically appealing to those not familiar with modern compiler writing technology. It is acknowledged that code generation may be simpler for a high-level language computer. What needs to be made more fully understood is that a high-level language instruction set does not eliminate the need for compilers, nor does it greatly simplify them. The need and complexity of compilers extends far beyond code generation. The amount of code necessary for preprocessing, lexical analysis, syntax analysis, assembly, optimization, loading, error detection, error recovery and diagnostics often dwarfs the part of the compiler concerned with code generation. The level of the target computer does not seem to have enough of an effect on the size of a compiler to warrant a totally new architecture.
ref: https://dl.acm.org/doi/pdf/10.1145/800053.801914

#compilers #computerarchitecture #forth #retrocomputing