Programming languages

There is an awesome article that goes over how one program can be written in different languages from the most abstract level of Math to Haskell to C to Assembly to actual machine code.

Links

• Awesome programming languages

• Tour de Babel - Funny de tour of programming languages.

• Programming Language Theory

• Conal Elliott - Teaching New Tricks to Old Programs (2017)

• Awesome static analysis - Curated list of static analysis tools, linters and code quality checkers for various programming languages.

• Lists of most popular repositories for most favored programming languages

• Rockstar - Idiomatic Rockstar FizzBuzz implementation is the best thing ever.

• Twelf - Language used to specify, implement, and prove properties of deductive systems such as programming languages and logics.

• GitHut - Place to discover languages on GitHub.

• Type inference (2018)

• Little Languages - (Lobsters)

• Course page Types and Semantics for Programming Languages (2018)

• Smallest possible syntactically valid files of different types

• History of Programming Languages course (GitHub repo)

• The Programming Language I’m Looking For (2018)

• Go, Tooling, and New Languages (2016)

• Programming paradigms for dummies: what every programmer should know (2019)

• What, if anything, is a programming paradigm? (2017)

• Programming Languages Zoo - Collection of implementations of miniature programming languages.

• Thinking in a Language (2019)

• What are some niche features you'd like to see in more languages? (2019)