1. Common Lisp - The Untold Story

Kent Pitman talks about how he came to be involved with Common Lisp and the Common Lips standard, and the experiences and learnings he gained in the process. This description of his journey is very detailed, and will give you insights into the intricacies of human/social/economical factors involved in programming language design and standardization.

2. Influx DB

A new open-source distributed time series database with no external dependencies. This looks like it could be very useful for analyzing application history, logs, and such.

3. Dotty, open sourced

Dotty, the “Research platform for new language concepts and compiler technologies for Scala”, has been open sourced! Odersky articulates very eloquently and succinctly in his announcement their motivations behind the project. So I wouldn’t bother summarizing it here. Go take a look.

4. Haskell development on Emacs

Tim Dysinger shares details of his Haskell development environment and workflow. This should get you started with Emacs for Haskell.

5. The future of programming

This is kind of an ancient post, but while we are at it - the subject of development environment for Haskell - I thought I should mention this very relevant post. Among other things, this post from Paul Chiusano talks about the kind of potential the IDEs for awesomely-typed languages like Haskell could have. Very nice read.

6. FP Complete’s FP Haskell Center

Again while we are on the topic, have you seen FP Complete’s web-based IDE? It is relatively new, yet quite feature rich, and shows a good promise.

7. Monocle, a lens library for Scala

This is a port of Edward Kmett’s famous Control.Lens library for Haskell. There is one more port out there by Brian McKenna. I haven’t looked at these deeply to know what the differences etc are.

8. James Iry’s history of programming languages (illustrated with pictures and large fonts)

James Iry’s A Brief, Incomplete, and Mostly Wrong History of Programming Languages is one of the most humorous pieces I have ever read on the subject of programming languages. Here’s a new version of it, embellished with some cool pictures from history.

9. Type programming: Shifting from values to types

Type level programming in Scala has very interesting parallels with term level (or value level) programming. Unfortunately most existing type level programming tutorials don’t emphasize on this bit, and have a pace greater than what most people are comfortable with. This post takes a small subtopic - type level booleans, and explains the ideas involved, slowly and in detail. I am looking forward to the next post in the series.

10. Disallow shadowing

An LtU discussion on a seemingly mundane subject of shadowing, that goes all over the place, to things like “alternatives to functions”, “control flow is paradigmatic flow”. Interesting read.

11. Why Coursera loves Scala

Coursera team’s field experiences in using Scala, and how they came to love it.

12. Probable C# syntax additions

You may be wondering how/why this made to my list. If you look closely, a lot of the syntax additions proposed are already present in some form in Scala and/or F#. I would just like those two to have a smug moment of “I told you so”. B-)

13. Dart for the language enthusiast

Bob Nystorm, the lead developer of Dart and a well regarded PL guy, shows why Dart might not be so uninteresting for a language enthusiast after all. While I admire the newer languages appearing on the Alt-JS scene, I personally don’t find Dart piquing my interests enough. I feel Clojurescript and ScalaJS might be better investments of time.

14. Are there benefits from Java’s type erasure

I am not among those to reject outright the utility of persisting type information at runtime. Unlike the top voted answers in the thread. Interesting/informative posts nevertheless.

15. What is a type system for

Michael Bernstein has been reading TAPL and sharing his epiphanies along the way. This is a post where he shares his understandings of the purpose of a type system. The post reminds me of a quote from Yaron Minsky - “make illegal states unrepresentable.” You can find that talk here.

16. Scala, ugly duckling?

This post dispels some myths about Scala ecosystem and community, and concludes on a note that Scala brings an undeniable value to the scene, and that it has a bright future ahead.

17. Deconstructing FP

Gilad Bracha has a knack for ruffling feathers. While I don’t agree at all with his views on type systems, and find his container metaphor for monads ludicrous, I think he makes a lot of good points in this talk, which makes it well worth a watch.

18. What’s up with Paul Phillips?

A very intriguing thread on scala-user. It contains inquiry and introspection of Paul’s critique, updates from Scala team about their efforts to address the issues he pointed out, and people throwing in more critique and feature requests.

19. Extensible records in Shapeless

Miles Sabin has been pushing the limits of Scala type system since past few years. IIRC he wrote the first implementation of extensible records for Scala a couple of years ago. Here is what seems like an improved (and probably revamped) version thereof.

20. Template Haskell quick tutorial

Template Haskell is a curious meta-linguistic abstraction system (macros) for Haskell. This quick tutorial will give you a gist of how this system works and is used.

21. Sweet JS

Now that we are talking about macros, I remain constantly surprised that not more Javascript developers have heard of Mozilla’s Sweet JS. Try it, people! It’s good stuff.

Until next time!