> That got me through a bachelor’s degree in Computer Science, but it always left me wanting for more expressiveness in my programs.
I share this sentiment, and I think a lot of it also comes
from Rich Hickey talking about it.
As I relate to what this article expresses, I've noticed
that people who write lisp type stuff talk about programming
in a different way. In some sense there is an academic feel to it. In another sense there is a maker feel to it.
I think Dan Friedman might have said something similar about
static typing not helping too much, but saw dependent types as something interesting
I share this sentiment, and I think a lot of it also comes from Rich Hickey talking about it.
As I relate to what this article expresses, I've noticed that people who write lisp type stuff talk about programming in a different way. In some sense there is an academic feel to it. In another sense there is a maker feel to it.
I think Dan Friedman might have said something similar about static typing not helping too much, but saw dependent types as something interesting