Live data from Hacker News

Is Typed Clojure worth the trouble?

blog.juxt.pro

61–62 of 62 posts

Re: Is Typed Clojure worth the trouble?

#61
post #20
post #14

Earlier quoted context omitted.

Do you have any evidence to prove this? I've read a few papers that disagree with your opinions...

Probably based on personal experience. For me, whenever I start a project from scratch I usually start with the most dynamic environment I can find, then hack away until I have something that resembles the functionality I need, before locking it down. In the beginning of a project I don't care if something is 100% correct, I just want to see what my idea looks like, and what I actually need. I don't want to deal with…

"Some people do all of this on paper before writing a single line of code. Others plan by making types and interfaces, then proceed to implement those. I just like making prototypes."

Of these, I sound the most like you - think just a little, then sit down and start coding to get a feel for things.

Yet I find a good type system essential (or at least conspicuously missing when I write Python). There is a notion that, if one has static type checking, one has to get the types right before writing code. There's no reason that has to be the case. Get a sketch, start writing code, refine your sketch. With type inference, the sketch can even be somewhat incomplete and still help me find where my assumptions clash.

Re: Is Typed Clojure worth the trouble?

#62

Earlier quoted context omitted.

I think Kyllo was referring more to first-class/higher-order functions. I believe Java 8 added support for lambda expressions, but it's nowhere near the same thing.

I think so too and agree about the power of being consistent with first class things (functions in this case)

Java 8 does have functions as values/lambdas
Post reply on HN