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.
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.
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.
Tim Dysinger shares details of his Haskell development environment and workflow. This should get you started with Emacs for Haskell.
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.
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.
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.
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.
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.
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.
Coursera team’s field experiences in using Scala, and how they came to love it.
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-)
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.
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.
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.
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.
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.
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.
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.
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.
Until next time!
This blog post was originally posted at my Blogspot blog at this URL.