# Programming languages

There is an [awesome article](https://briansteffens.github.io/2017/02/20/from-math-to-machine.html) 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](https://github.com/learn-anything/programming-languages#readme)
* [Tour de Babel](https://sites.google.com/site/steveyegge2/tour-de-babel) - Funny de tour of programming languages.
* [Programming Language Theory](http://steshaw.org/plt/)
* [Conal Elliott - Teaching New Tricks to Old Programs (2017)](https://www.youtube.com/watch?v=vzLK_xE9Zy8)
* [Awesome static analysis](https://github.com/mre/awesome-static-analysis#readme) - 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](https://github.com/kaxap/arl#readme)
* [Rockstar](https://github.com/dylanbeattie/rockstar#readme) - Idiomatic Rockstar [FizzBuzz implementation](https://github.com/dylanbeattie/rockstar#examples) is the best thing ever.
* [Twelf](http://twelf.org/wiki/Main_Page) - Language used to specify, implement, and prove properties of deductive systems such as programming languages and logics.
* [GitHut](https://githut.info/) - Place to discover languages on GitHub.
* [Type inference (2018)](https://eli.twhegreenplace.net/2018/type-inference/)
* [Little Languages](https://maxhallinan.com/posts/2018/12/07/little-languages/) - [(Lobsters)](https://lobste.rs/s/5vvvzj/little_languages)
* [Course page Types and Semantics for Programming Languages (2018)](https://github.com/plfa/tspl)
* [Smallest possible syntactically valid files of different types](https://github.com/mathiasbynens/small)
* [History of Programming Languages course](http://www.ccs.neu.edu/home/matthias/7480-s17/) ([GitHub repo](https://github.com/nuprl/hopl-s2017))
* [The Programming Language I’m Looking For (2018)](https://hackernoon.com/the-programming-language-im-looking-for-948d93f7a396)
* [Go, Tooling, and New Languages (2016)](http://parellagram.com/posts/tools)
* [Programming paradigms for dummies: what every programmer should know (2019)](https://blog.acolyer.org/2019/01/25/programming-paradigms-for-dummies-what-every-programmer-should-know/)
* [What, if anything, is a programming paradigm? (2017)](http://www.cs.cmu.edu/~rwh/papers/paradigms/paradigm.pdf)
* [Programming Languages Zoo](https://github.com/andrejbauer/plzoo#readme) - Collection of implementations of miniature programming languages.
* [Thinking in a Language (2019)](https://maxhallinan.com/posts/2019/02/15/thinking-in-a-language/)
* [What are some niche features you'd like to see in more languages? (2019)](https://lobste.rs/s/mcwvhn/what_are_some_niche_features_you_d_like_see)


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://woodrowpearson.gitbook.io/woodrow-wiki/programming-languages.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.