Hacker News new | past | comments | ask | show | jobs | submit | more YouAreGreat's comments login

> All languages are typed, either with rich types, or they are unityped

Almost all languages. There is one language that can be typed without a type, the empty language.

Since the empty language contains no programs, it follows that "Untyped Programs Don't Exist".


> struggling to understand how this doesn't wind up being a proxy for racism

Here's the gist: Human bad. Capital good.


Spot on. This will be and is being used to justify a world of luxury for the 1% and a world of pain for everyone else who isn't "perfect".

I personally believe we should strive to create a better world for 100% of the population, not justify the shortfallings of the current mixed-capi-soci system.


Wherever you can publish text or media (eg, on a cooking site) speech crimes can be committed under your account.

Fancy a prison term in one of the more enlightened European jurisdictions, or Canada?


Okay, I set myself up for this by saying "absolute worst", but this strikes me as so unlikely that it's not really worth worrying about. After all, someone could make a new account using your name (+ some numbers) /right now/!


> Most Haskellers write out the types

Maybe that's partly because Haskell can easily become a bit too elegant. Between all the currying and combinators, the type helps to understand code "top down", i.e. when you don't have studied and memorized all "bottom up" component parts.


> flagging is not like "downvoting", this isn't reddit.

"Flag" on HN has devolved into an overpowered downvote button.


> our human minds have not sufficiently evolved

They're also not evolved to deal with TV news.


Hell, I don't think we're all that good with distorted print media either!


> "trigger the conservatives" to force them to attack the actions of private companies

Conservatives will come to understand that big capital is not a conservative.


I'm not personally a conservative, but I'm pretty sure conservatives are not all hardcore libertarians or objectivists. Some of the intellectual brain-trust of conservative thought is libertarian or objectivist, but a lot of the broader conservative movement is not.


Thanks for that link!

Hipp:

> ... also learned that apparently no one feels the need to help novice CoC writers feel welcomed or safe.

Apparently! Good to see he's still got a sense of humor.

Then, a very enlightening response from a Social Justice Entrepreneur:

> There are folks who you could have hired to help you write and implement a code of conduct.

Hey, it's a living!


> enough to write statically typed code in Lisp

Certainly not in the way "statically typed" is usually understood.

Containers (outside of specialized arrays) aren't parameterized, so every time you extract a value from a list or map, the "static type" is the top type. SBCL remains essentially unityped with islands of type propagation for better performance of (mostly) numeric code.


Lists aren't typed in standard Common Lisp. For these cases, using THE around the access site is required to declare the type for inference.


When I looked (decade ago), your description would have characterized their online haunts but not IRL meetings.

Maybe being online turns anything into Reddit/HN.

On the other hand, word was most members are inactive and only a small percentage turn up at IRL events at all, i.e. strong (self) selection effects.


Maybe being online turns anything into Reddit/HN.

See if you can find some old usenet discussions about "prior art".


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: