On: The Beauty of Clojure

[justthistime_]

The strength of a type system is that there is one. If everyone uses his/her own self-made pet of a typesystem most of the benefits are gone as soon as you are more than a one-man-hobbyist project.

Probably explains why most Lisps consist of one-man-hobbyist projects, though.

[sklogic → justthistime_]

> The strength of a type system is that there is one.

I do not agree. There is no single type system that would fit all the possible use cases.

> Probably explains why most Lisps consist of one-man-hobbyist projects, though.

No, it does not.

[justthistime_ → sklogic]

Type systems are by-definition only a conservative approximation of all programs.

The good thing is that 99.999999999999% of all programs never need to be written, and there are plenty of type systems which deal well with the last 0.00000000001.

> No, it does not.

Ok, that leaves the failure of Lisp outside of hobbyist mom's basements a mystery.

[sklogic → justthistime_]

> Type systems are by-definition only a conservative approximation of all programs.

This is where I lost a track of your arguments.

> Ok, that leaves the failure of Lisp outside of hobbyist mom's basements a mystery.

Lisp did not fail. It's in pretty much all the mainstream languages now.

[justthistime_ → sklogic]

> This is where I lost a track of your arguments.

Then maybe you should maybe spend some time studying these topics instead of acting up on HN.

> Lisp did not fail. It's in pretty much all the mainstream languages now.

This is where I lost the last doubts about the reality and your lack of closeness with it.

[sklogic → justthistime_]

> Then maybe you should maybe spend some time studying these topics instead of acting up on HN.

Chances are, I implemented more varieties of type systems than you can name.

> This is where I lost the last doubts about the reality and your lack of closeness with it.

Scala fanboys are much more detached from the reality. The reality rejected bondage&discipline languages long ago.

[justthistime_ → sklogic]

You continue to amuse me.

[dang → justthistime_]

Please eliminate rudeness from your comments on HN. You've crossed the line into incivility several times in this thread. That's unacceptable here. https://news.ycombinator.com/newsguidelines.html

Please also don't post unsubstantive comments. That means avoiding programming language flamewars, since they're only nominally about programming and really about insults and disses.

[sklogic → justthistime_]

You did not answer, fanboy. Does Scala already allow to use macro in the same compilation unit it was defined?

[dang → sklogic]

> You did not answer, fanboy

We ban accounts that do this repeatedly. On HN, please post civilly and substantively, or not at all.