_ezkx · HackerTrans

> presented a false promise by progressives

I think this is a poor framing for the rest of your comment, which is essentially a feminist critique of patriarchy and capitalism, and how patriarchy/capitalism is a harmful structure to men as well. Progressives are totally on board with this.

_ezkx

5 anni fadiscuss

Arguably the "new kind of Amish" are... just the Amish; they've continued to adopt new technologies when they comport with their particular values. Other intensional communities may have different values.

Love "Seinfeldians" :)

_ezkx

5 anni fadiscuss

If StrictData were simply made the new default (with exceptions for lists and some other things in the standard lib), I bet very little code would break. It certainly wouldn't change the flavor of the language. I think it's a good idea.

_ezkx

5 anni fadiscuss

That's all fine. But I don't think social science research supports the idea that rank-and-file (or self-identified, if you prefer) conservatives in the US are actually motivated by a devotion to, say, Federalism (as opposed to, say, hegemonic masculinity, white nativism, etc).

> The Buckley type is just articulating and explaining concrete social phenomena on the ground.

"Explaining", or "dressing up"? You're speaking in good faith, but personally I don't think that's the case for most of the rank-and-file, or the people who represent them.

_ezkx

6 anni fadiscuss

I think this is right, but it's still IMO basically a natural language semantics issue. For instance in haskell (which has a pretty advanced static type system), I would still probably be satisfied with:

  -- A float between 0 and 1, inclusive.
  type UnitInterval = Float
  
  foo :: UnitInterval -> SomeResultPresumably
  foo accuracy = ...

i.e. I think the essential problem in the SO question is solved, even though we have no additional type safety.

A language without type synonyms could do just as well with CPP defines

_ezkx

6 anni fadiscuss

I guess this is like "mammal" vs "mammalia".

comments