I found an old note reminding me that I wanted to compile a list of my favorite papers in the area of programming languages. So, at long last, here we go. Rather than trying to summarize each paper in a few (or more) sentences, I take the easy way out and only drop a few keywords to highlight important contributions or outstanding explanations.
continue
Rust seems like a good choice for systems programming. See this recent post for an example of the safety afforded by using Rust instead of C. Another language that deserves consideration is OCaml, where forking a process looks like this:
continue
It looks like GHC is getting closer to supporting dependent types with a patch that eliminates the distinction between types and kinds. What is a dependent type? The most accessible introduction I’ve found is an article called Approximate Dependent-Type Programming:
continue
Speaking of Lua gotchas, here’s another one. In Lua, a function with n parameters is similar to a variadic function. As an example, consider:
continue
Lua is one of my favorite programming languages. Lua is easy to learn, but not entirely without gotchas if you’re used to other languages. One gotcha is related to for-loops. What do you think the following piece of code will print?
continue
Two of my personal highlights from Code Mesh in one picture: QuickCheck and Idris. :)
continue
A few interesting and amusing quotes from the book Masterminds of Programming:
continue
So, following up on the previous post, what is the difference between concurrent programming and parallel programming?
continue
Explain the difference between “concurrency” and “parallelism”. Easy, right. Well… Depending on who you ask, the conclusion is either that parallelism implies concurrency or that parallelism has nothing to do with concurrency…
continue