Hi Tony, I'm writing to you because your behaviour in the #scalaz channel is unacceptable. In particular, as steward of scalaz, I will not accept any insults to community members. At all. Under no circumstances. I will not accept discussion about that matter. You have clearly expressed your opinion about the code of conduct in the channel, which is why I banned you from there permanently. I can do that because I have talked to cofounders of the channel and after agreement, they transferred sole ownership to me. The only thing I haven't done so far is enacting the code on the scalaz mailing list, which I can't, because I'm not an administrator of the list. This is why I'm issuing you an ultimatum: You have the choice to voluntarily pass over the ownership of the list to me (using the mail address <larsrh90@gmail.com>) and generally cease talking about scalaz in public. Judging by your tweets, you seem to have already made peace with that idea in general. If not, be assured that I have a fallback option. Let me know what you think. I'm taking no answer in 24 hours as "please officially kick me out with a public statement". Frankly, the good you do for the community is far outweighed by the bad you do. I miss the old times where you gave detailed, constructive and helpful explanations on a topic. These seem to be long gone. Cheers
Static typing community is arrogant and treats newbies with contempt. Nothing new.
Name:
Anonymous2014-10-08 19:45
What the fuck? Why is, suddenly, everyone becoming so delicate to the point that you can't even take context into account? I know freenode is usually like this (or rather, some channels), but seriously... as the guy says "talk police", or, more likely, word police...
>>8 I fail to see how communists or socialists are involved here, though. Hell, communist parties today are far from what they were at the time... I'm a communist myself, but I don't give a flying fuck about delicate snowflakes.
political correctness actually began as an in-joke on the left: radical students on American campuses acting out an ironic replay of the Bad Old Days BS (Before the Sixties) when every revolutionary groupuscule had a party line about everything. They would address some glaring examples of sexist or racist behaviour by their fellow students in imitation of the tone of voice of the Red Guards or Cultural Revolution Commissar: 'Not very "politically correct", Comrade!'
Name:
Anonymous2014-10-08 21:00
>>10 Yeah, sorry for not being clear, I was referring to the current state of things.
Funny how socialists and "radical" leftists end becoming a tool for attacks against communist parties, kek
Herbert Kohl (1992) pointed out that a number of neoconservatives who promoted the use of the term "politically correct" in the early 1990s were actually former Communist Party members, and, as a result, familiar with the original use of the phrase.
Mind blown. American politics is quite spechul in itself...
<dibblego> same answer <dibblego> this question generalises to "use types" <dibblego> how do I know my Int is a valid age? <dibblego> well how indeed? how did you even come to that conclusion? <dibblego> well, because age returns Int <dibblego> stop doing that! <dibblego> Age returns a value between 0 and MAX_AGE <dibblego> oh, then you want a type for that <dibblego> but what about my Int! <dibblego> there was never an Int <dibblego> but I want to use it as an Int! <dibblego> so do that <dibblego> but it is clumsy and annoying to convert all the time! <dibblego> so use libraries <dibblego> which library? <dibblego> well, in this case, lenses <dibblego> or prisms or whateva <dibblego> but now I have to learn lens! <RaceCondition> at some point I still have to convert Int => Age <dibblego> yes, you do <dibblego> Nope. <dibblego> do you know how I know you dont have that point? <dibblego> because *nobody does because it does not exist* <dibblego> go on then, convert 3333 to Age * dibblego twiddles <dibblego> how do I get the (a) out of (IO a)? <dibblego> you don't <dibblego> but I need the (a)! <dibblego> so get it <dibblego> but how? <dibblego> libraries <dibblego> what do you mean libraries!? <dibblego> you know, like say, the IO monad <dibblego> but now I have to learn monads! <dibblego> yes, you do <dibblego> but I want the (a) out of (IO a)! <dibblego> no you don't! <dibblego> yes I do, don't tell me what I want! <dibblego> well, I know you don't want it, because it is *not a thing that exists* <dibblego> gah, but I want things that don't exist <dibblego> yes, I want puppies all over my face right now, doesn't exist <dibblego> IO is a terrible example of course <dibblego> how about this one <dibblego> how do I get the A out of (B => A)? <dibblego> you give it a B <dibblego> but I don't have a B! <dibblego> then you don't have an A <dibblego> but I need it! <dibblego> libraries <dibblego> (or doesn't exist) <dibblego> of course, you might have f(x) is believed to always return an Int in Age range <dibblego> but unfortunately, some assclown made f return Int <dibblego> and so, you draw a line in the sand and say, "enough! no more assclowns from here on!" <RaceCondition> if I have Age1, Age2, Age3, etc upto Age<Max>, and say, also, AgeInvalid, I'd still want exhaustion checks in my rawAge match { ... } expression so as to make sure I didn't forget the `case _ => AgeInvalid` bit <dibblego> then you fix it at that point <dibblego> that's what really happens <dibblego> that's just Option[Age] — you have exhaustion checks <dibblego> you really want a *type error* <dibblego> these are just limitations of impredicate logic <dibblego> in light of this, scala says, "you know, I may be wrong here, but you probably want to do the Invalid/None case" <RaceCondition> so what is the purpose of exhaustion checks in the first place then? <dibblego> that is an exhaustion check — a sad consolation <dibblego> to make up for the limitations of the type system in this case <RaceCondition> if I validate input then the type system can't help me <dibblego> the benefit is expressiveness on a turing machine
This isnt symptomatic of schizo or aspergers, but there's definitely something wire that got fused in his brain to make him talk on and on to himself like that. Any idea what condition it might be?
As I understand that was due to the deterioration of his mental condition and this incident was the straw that broke the camel's back. They can directly call him crazy, due to political correctness.
Name:
Anonymous2014-10-10 18:11
SJWs bullying an inconveniently crazy person out of his own project in the name of protecting the helpless. Sounds about right.
Name:
Anonymous2014-10-10 19:15
tdavis is next.
Name:
Anonymous2014-10-10 20:33
>>20 I don't believe people that don't have proof.
Name:
Anonymous2014-10-11 1:31
I don't understand what the point is of being nice to idiots is. Fuck the users. I write programs for me, because I like doing it, fuck what you like. Why are the programmers expected to tutor every retard with a passing interest. If I have a problem with Linux, I don't go ask Linus to explain it to me, I read about similar problems and the documentation. The ones actually doing the work shouldn't be bothered with support. Doing support is a code monkey job.
>>30 ..which only shows that purity is shit and even Haskellers don't care about it. 'Cuz half the core libraries of Haskell rely on it. Bytestrings, arrays, Debug.Trace - you name it.