Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

If it typecheks ship it! XD

Name: Anonymous 2015-04-28 1:22

http://joyful.com/blog/2015-04-20-ssh-darcs-hub-vulnerability.html

Well typed programs don't go wrong!

Name: Anonymous 2015-04-28 1:31

Public announcement on 4/20
Keep on blazing it!

Name: Anonymous 2015-04-28 2:06

>>1
you know that a program doesn't have to be well-typed to typecheck, right?

Name: Anonymous 2015-04-28 2:38

the haskell “ssh” library used by darcs hub does not check for a valid signature on the public key during authentication. This means it was possible to authenticate as any other ssh user if you knew their public key.

sasuga haskell programmers

Name: Anonymous 2015-04-28 2:45

Finally. Someone gave enough of a shit about a haskell project to audit it, and discovered a critical error that their type system cannot detect. I finally have a url link I can link to in response to any smug haskell weenie gloating about how secure their type system is.

Name: Anonymous 2015-04-28 6:18

I want a program that prints 2 + 2...
main = putStrLn . show $ 2 + 3
It type checks, so the algorithm must be right!

Name: Anonymous 2015-04-28 9:16

IF IT COMPILES ITs A NEW VERSION

Name: Anonymous 2015-04-28 13:31

>>6
Type checking only prevents retard-level square peg, round hole errors. Pretty useless and way overhyped.

Name: Anonymous 2015-04-28 19:44

>>8
Those retard-level errors constitute the majority of errors, so type-checking is immensely useful, but you can go on being an uneducated codemonkey all you want.

Name: Anonymous 2015-04-28 23:36

>>9
One could mistake you for Jumbo Whales, talking about Wikipedia vandalism.

Retard-level errors don't matter, just how inserting ``LOL DICKS'' into an article doesn't matter. The fatal errors are those where false but type-correct actions are performed (or, to keep up the analogy, where false but plausible information is inserted into an article).

``B-b-but if they had expressed verification through the type system that wouldn't have happened!'', you might say, but it doesn't matter. They didn't. It was a design failure that the type system didn't catch, couldn't catch.

And so, all Haskell weenies were fucked in the ass.

Name: Anonymous 2015-04-28 23:43

>>10
You seem to think that because someone can fail to use a tool correctly we should all stop using it.

If that's what you really think you can check my fucking dubs.

Name: Anonymous 2015-04-29 1:55

>>11
But it's the sort of tool that's there to keep you from jamming your elbow up your nose. How mature to do need to be before growing out of that behavior? Programming should be an exercise in thought, not just jamming a bunch of random crap together hoping it all works out 'cause your types happen to align.

Name: Anonymous 2015-04-29 2:15

Your compiler might type check, but does it air-gap your types for maximum threat protection?

Name: Anonymous 2015-04-29 2:16

Your compiler might type check, but does it air-gap your types for maximum threat protection?

Name: Anonymous 2015-04-29 2:29

>>13,14
/spectatorial buckeyes/

Name: Anonymous 2015-04-29 3:46

>>11
You seem to think that because someone can fail to use a tool correctly
But the tool wasn't used incorrectly in this case. The tool was used correctly, but the tool was inadequate. No one in the thread said type systems should be abandoned. Just that Haskell's doesn't come near what its supporters profecize it to be.

Name: Anonymous 2015-04-29 5:26

>>12
But it's the sort of tool that's there to keep you from jamming your elbow up your nose.
No, it's not.

>>16
But the tool wasn't used incorrectly in this case.
I can't say it was used incorrectly because I am not sure it was used at all. I can say it was not used correctly.

The "well-typed" part is your responsibility. If you're going to criticize Milner, you should read him and criticize him for what he said, not for what you think he said.

It's like that time Babbage was asked whether the machine would produce the correct result given the wrong input. The only answer to that is: "what the fuck is wrong with you?"

So. What the fuck is wrong with you?

Just that Haskell's doesn't come near what its supporters profecize it to be.

Oh? What do they 'profecize' it to be? Do they all, or just most of them? Or just some of them? Or just that one dickhole trolling you on /prog/? Or did you learn what Haskellers think from reddit?

Name: Anonymous 2015-04-29 7:37

>>17
What's wrong with ya pal, can't take a dose of criticism? You know now what it feels like to be bashed on public forums just for your choice of language!

- Signed, a Lisp user.

Name: Anonymous 2015-04-29 11:06

>>18
You know now what it feels like to be bashed on public forums just for your choice of language!
It ith not a choithe! We were born thith way!

Name: Anonymous 2015-04-29 15:48

>>17
Are you Canadian?

Name: Anonymous 2015-04-29 15:50

>>19
even making this "joke" in 2015

Name: Anonymous 2015-04-29 16:04

>>21
Whom are you quoting?

Name: Anonymous 2015-04-29 17:26

>>22
fuck off back to jp with that stale meme

Name: Anonymous 2015-04-29 17:28

>>23
What is a ``jp''?

Name: Anonymous 2015-04-29 17:44

>>24
its where that terrible meme you keep posting came from

Name: Anonymous 2015-04-29 18:22

>>10
I repeat specifically for you: retarded errors matter because they constitute the majority of errors. They take away programmer brainpower, they blow up unexpectedly during runtime, they are a hassle in any large project (though I doubt you've ever dealt with one). By providing a fast and sure way to deal with these retarded errors, static typing frees the programmer and lets him spend more time thinking about the actual logic and design. If the programmer is a dumbass and a layman - well, the type system can't help that. But that's not really a big deal. Being in a mire of type-blindness like in dynamic crap is much, much worse.

Name: Anonymous 2015-04-29 18:32

>>18
Thing is there are more people who hate on Haskellers and on Milner without understanding him than Haskellers who praise Milner without understanding him.

I am not being bashed for my choice of Haskell because Haskell isn't my choice. Besides, the last time I heard someone bash Lisp it was for a good reason. People are done complaining about parens, even if Larry's comment about oatmeal was really funny.

>>20
Shut your whore mouth.

Name: Anonymous 2015-04-29 19:18

>>23,25
Says the /g/reentexting retard who doesn't know how to capitalize or punctuate sentences.

Name: Anonymous 2015-04-30 2:33

>>26
If the programmer is a dumbass and a layman - well, theHaskell's type system can't help that.

Name: Anonymous 2015-04-30 20:52

>>1
As always, your criticism is stupid, and the best critique of Haskell comes from a Haskeller. Meet Conor McBride:

__________________________________________________________________________________________________________________

Find the type error in the following Haskell expression:

if null xs then tail xs else xs

You can’t, of course: this program is obviously nonsense unless you’re a typechecker. The trouble is that only certain computations make sense if the null xs test is True, whilst others make sense if it is False. However, as far as the type system is concerned, the type of the then branch is the type of the else branch is the type of the entire conditional. Statically, the test is irrelevant. Which is odd, because if the test really were irrelevant, we wouldn’t do it. Of course, tail [] doesn’t go wrong – well-typed programs don’t go wrong – so we’d better pick a different word for the way they do go.

Name: Anonymous 2015-04-30 20:59

>>30
completely missing your idols joke

Name: Anonymous 2015-04-30 21:01

>>31
Whom are you quoting?

Name: Anonymous 2015-04-30 21:09

>>31
No, I didn't miss it. Are you sure you understood Conor correctly?

Name: Anonymous 2015-04-30 21:10

>>32
I guess he's quoting his stupidity alter ego.

Name: Anonymous 2015-04-30 21:47

>>33
"im right you're wrong lalalalalal"

dude...

Name: Anonymous 2015-04-30 21:49

>>33
heh.. kid, you probably don't even understand homotopy type theory

Name: Anonymous 2015-05-01 8:40

>>26
Has any Haskell user dealt with a large project? I suspect not, but type aficionados keep bringing it up.

Name: Anonymous 2015-05-01 10:48

>>35,36
Weak trolling is so sad.

>>37
Yes they have.
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -